( )Engineering Information Abstracts Part II142

dynamically adjust to changing resource availability. With adynamic resource location service as part of the infrastructure,mobile applications are able to re-bind to service providers asthey move within the mobile environment and as availableservices change. As part of the ISOrTEC and ITU-T stan-dardization of the Reference Model for Open Distributed

Ž .Processing RM-ODP , a Trading function has been identi-fied. It is an important infrastructure service that allowsclients to locate services using service types and associatedparameters as selection criteria. In order to engineer reliableOpen Object-based Distributed systems, it is important toperform modelling and analysis as part of the design process.This paper introduces the reader to the concept of ServiceTrading and indicates how it may be utilized by applications ina mobile environment. In addition, Coloured Petri Nets areshown to be useful for the modelling and verification of

Ž .distributed mobile applications. Author abstract 15 Refs. InEnglish EI Order Number: EIP98024091747Keywords: Mobile telecommunication systems; Telecommuni-cation services; Object oriented programming; Distributedcomputer systems; Computer simulation; Petri nets

Title: BASE STATION CONTROLLER TESTBED FOR THEFUTURE PUBLIC LAND MOBILE TELECOMMUNICA-TION SYSTEMS

( )Author s : Son, Dong Cheul; Lee, Dong Myung; Cho, KyungRokCorporate Source: Electronics and Telecommunications Re-search Inst, Taejon, South KoreaConference Title: Proceedings of the 1997 1st InternationalConference on Information, Communications and Signal Pro-

Ž .cessing, ICICS. Part 1 of 3 Conference Location: Singapore,Singapore Conference Date: 19970909-19970912Source: Trends in Information Systems Engineering and Wire-less Multimedia Communications Proceedings of the Interna-tional Conference on Information, Communications and Sig-nal Processing, ICICS v 1 1997. IEEE, Piscataway, NJ, USA. p35-38 CODEN: 002795Publication Year: 1997

Ž .Abstract: The Testbed Controller TC is a testbed system ofthe BSC to verify the common air interface of FPLMTS. Thispaper presents design considerations, hardware architectures,software structures, and signaling aspects. It also proposes anetwork model based on the OSI reference model and the

Ž .network model of Q.FIF. Author abstract 4 Refs. In EnglishEI Order Number: EIP98024091669Keywords: Mobile telecommunication systems; Computer

Ž .software; Computer hardware; Interfaces computer

Title: DESIGN AND IMPLEMENTATION OF AN MMS EN-VIRONMENT ON ISODE

( )Author s : Cheah, Raymond Seng-Sim; Lee, Bu-Sung; Lim,Raymond LongCorporate Source: Nanyang Technological Univ, Singapore,SingaporeSource: Computer Communications v 20 n 15 Dec 15 1997. p1354-1364 CODEN: COCOD7 ISSN: 0140-3664

Publication Year: 1997Ž .Abstract: Manufacturing message specification MMS is an

ISO OSI application layer standard designed to support mes-saging communication to and from programmable manufac-turing devices in computer-integrated manufacturing environ-ment. This paper describes a non-proprietary MMS overTCPrIP solution known as an MMS Environment. The MMSEnvironment consists of an MMS communication systems, a

Ž .set of MMS-Interface MMS-I application program interfacesand an MMS Gateway for integrating non-MMS-compatiblemanufacturing devices into the standard MMS communicationenvironment. The capability and resources of the real deviceswere modeled as Virtual Manufacturing Devices. The MMSEnvironment is developed on ISO Development EnvironmentŽ .ISODE , a non-proprietary implementation of OSI upperlayers over TCPrIP. This paper will also describe the imple-mentation of the MMS Gateway and the modeling of a

Ž .Programmable Logic Controller. Author abstract 17 Refs. InEnglish EI Order Number: EIP98024083696Keywords: Computer integrated manufacturing; Data commu-

Ž .nication systems; Interfaces computer ; Network protocols;Ž .Gateways computer networks ; Computer simulation; Virtual

reality; Programmable logic controllers; Standards

Title: ALTERNATING-TIME TEMPORAL LOGIC( )Author s : Alur, Rajeev; Henzinger, Thomas A.; Kupferman,

OrnaCorporate Source: Univ of Pennsylvania, Philadelphia, PA,USAConference Title: Proceedings of the 1997 38th IEEE AnnualSymposium on Foundations of Computer Science ConferenceLocation: Miami Beach, FL, USA Conference Date:19971020-19971022Source: Annual Symposium on Foundations of Computer Sci-ence - Proceedings 1997. IEEE Comp Soc, Los Alamitos, CA,USA,97CB36150. p 100-109 CODEN: ASFPDV ISSN: 0272-5428Publication Year: 1997Abstract: Alternating-time temporal logic offers selectivequantification over those paths that are possible outcomes ofgames, such as the game in which the system and the environ-ment alternate moves. Alternating-time logics are naturalspecification languages for open systems. For example, bypreceding the temporal operator ’eventually’ with a selectivepath quantifier, it can be specified that in the game betweenthe system and the environment, the system has a strategy toreach a certain state. Also, the problems of receptiveness,realizability, and controllability can be formulated as model-checking problems for alternating-time formulas. Refs. InEnglish EI Order Number: EIP98024080400Keywords: Formal logic; Computer hardware description lan-guages; Game theory; Mathematical operators; Algorithms

Title: TYPE MANAGEMENT: A KEY TO SOFTWARE REUSEIN OPEN DISTRIBUTED SYSTEMS

( )Author s : Christiansen, B.O.; Munke, M.; Muller-Jones, K.;Lamersdorf, W.

( )Engineering Information Abstracts Part II 143

Corporate Source: Univ of California, Santa Barbara, CA,USAConference Title: Proceedings of the 1997 1st InternationalEnterprise Distributed Object Computing Conference Loca-tion: Gold Coast, Aust Conference Date: 19971024-19971026Source: Proceedings of the International Enterprise Dis-tributed Object Computing Workshop, EDOC 1997. IEEE,Piscataway, NJ, USA,97TB100130. p 78-89 CODEN: 002753Publication Year: 1997Abstract: Reuse of software components available in opendistributed systems is a promising approach for efficient devel-opment of complex distributed applications. In open dis-tributed systems, type mechanisms are used both to findappropriate external software components and also to guaran-tee that their respective interfaces match. Furthermore, a typemanager allows application developers to interactively browseexisting functionality and enables the automatic mediation ofcompatible software components at run-time. This paper pre-sents a uniform view for handling the functionality offered bysoftware components regardless of context-specific aspectsand a framework that allows for the automatic deduction ofdifferent flavors of compatibility relations. Finally, we describeour current type management prototype implementation.Ž .Author abstract 53 Refs. In English EI Order Number:EIP98024054029Keywords: Software engineering; Distributed computer sys-

Ž .tems; Interfaces computer ; Interactive computer systems;Ž .Response time computer systems

Title: TELE-EDUCATION PROCESS MODELLING SUP-PORTED BY THE ODP ENTERPRISE VIEWPOINT LAN-GUAGE

( )Author s : Volman, Cees; Jones, Val; van Sinderen, Marten;Widya, Ing; Michiels, EddieCorporate Source: Univ of Twente, Enschede, NethConference Title: Proceedings of the 1997 1st InternationalEnterprise Distributed Object Computing Conference Loca-tion: Gold Coast, Aust Conference Date: 19971024-19971026Source: Proceedings of the International Enterprise Dis-tributed Object Computing Workshop, EDOC 1997. IEEE,Piscataway, NJ, USA,97TB100130. p 2-12 CODEN: 002753Publication Year: 1997Abstract: This paper reports on applying the ODP enterpriseviewpoint in the domain of tele-education. The work is con-ducted as part of a research activity that aims at designing atele-education system to support planning, execution and eval-uation of dynamic distributed educational processes. We ex-plore the ODP enterprise viewpoint as a basis for communica-tion and co-operation between educational scientists and ODPsystems designers involved in the design process. Our applica-tion of the enterprise viewpoint involves four main steps. First,an educational language is proposed to describe educationalprocesses in generic terms. Second, a set of appropriate enter-prise language concepts is selected. Third, a relationship isestablished between the educational language and enterpriselanguage concepts. Fourth, an educational process is modelledin terms of an entity-oriented model and a behaviour-oriented

model. It is hoped that the experience gained in this exercisewill provide useful feedback to both the educational and ODP

Ž .communities. Author abstract 18 Refs. In English EI OrderNumber: EIP98024054021Keywords: Distributed computer systems; Education; Com-puter simulation; Computer programming languages; Userinterfaces; Data communication systems; Object oriented pro-gramming

Title: VISING OBJECT-ORIENTED TECHNIQUES FOR IN-TEGRATED NETWORK MANAGEMENT MODELING

( )Author s : Gutierrez, J.A.Corporate Source: The Univ of Auckland, Auckland, NewZealandConference Title: Proceedings of the 1997 IEEE Global Tele-

Ž .communications Conference. Part 1 of 3 Conference Loca-tion: Phoenix, AZ, USA Conference Date: 19971103-19971108Source: Conference Record r IEEE Global Telecommunica-tions Conference v 1 1997. IEEE, Piscataway, NJ,USA,97CB36125. p 207-211 CODEN: CRIEETPublication Year: 1997Abstract: This paper explains the main concepts associatedwith the definition of an Integrated Network Management

Ž .Environment INME using object-oriented network models,Žand it proposes an extension to die OSI Open Systems

.Interconnection Reference Model by using three differentmodels that are specified in an integrated way. The extendedmodel incorporates the ’de facto’ standards used for Internetnetwork management. A basic knowledge of the Internet andOSI-based network management systems is assumed. 8 Refs.In English EI Order Number: EIP98024050383Keywords: Telecommunication; Telecommunication networks;Computer networks; Management; Mathematical models

Title: PROCEEDINGS OF THE 1997 18TH IEEE REAL-TIMESYSTEMS SYMPOSIUM

( ) Ž .Author s : Anon Ed.Conference Title: Proceedings of the 1997 18th IEEE Real-Time Systems Symposium Conference Location: San Fran-cisco, CA, USA Conference Date: 19971202-19971205Source: Proceedings - Real-Time Systems Symposium 1997.IEEE, Piscataway, NJ, USA,97CB36172. 339p CODEN:PRSYEAPublication Year: 1997Abstract: The papers submitted to the 18th IEEE Real-Time

Ž .System Symposium RTSS’97 are presented. The issues con-sidered include: model checking; scheduling theory; faulttolerance; industrial presentations and demonstrations; syn-chronization and data sharing; runtime system implementa-tion; cache-related and hardware scheduler; specification anddesign of real-time systems; real-time networks; QoS and opensystems. In English EI Order Number: EIP98024050533Keywords: Real time systems; Online systems; Computer net-works; Computer simulation; Computer software; Asyn-chronous transfer mode; Management; Design; Synchroniza-tion; Scheduling