- Email: [email protected]
Service trading in mobile environments
Engineering Information Abstracts (Part II) concerned. The main focus of CSNI was to show that Open Systems Protocols ŽOpen Systems Interconnection ŽOSI. and Internet Protocol ŽIP.. can be used to support information transfer over typical military type bearers ŽSHF SATCOM, UHF SATCOM, UHF LOS, Long Haul HF and HF ELOS.. Commercial Off The Shelf ŽCOTS. products were used wherever possible. The developments described show that Open Systems Protocols can be carried over Military SATCOM bearers using specially developed software in conjunction with COTS hardware products Žand Government Furnished Equipment for link encryption.. The SHF SATCOM subnetworks provided the CSNI program with two reliable, high capacity data links Ža data rate of 41.5 and 53.8 kbps respectively. ŽEdited author abstract . 6 Refs. In English EI Order Number: EIP98044154116 Keywords: Network protocols; Data communication systems; Military satellites; Military communications; Telecommunication networks Title: THE DEVELOPMENT OF ALGEBRAIC FOUNDATION OF ALGORITHMIC AND PERSPECTIVE INFORMATION TECHNOLOGIES Author(s): Tsejtlin, G.E.; Yusim, G.V. Corporate Source: Mezhdunarodnyj Solomonov Univ, Kiev, Ukraine Source: Avtomatika n 6 Nov-Dec 1997. p 89-95 CODEN: AVTMA8 Publication Year: 1997 Abstract: The article reviews the results on formation of the algebraic base of algorithmic and its applications, relating to the formalized means of representations of knowledge on optimization methods, promising information technologies, design on adaptive CAD and open systems, computer training and other nontrivial problems of computer science. 7 Refs. In Russian EI Order Number: EIP98044147606 Keywords: Mathematical techniques; Algorithms; Algebra; Theory; Applications; Information technology; Optimization; Computer aided design Title: NEW PARADIGM FOR NETWORK INTELLIGENCE: FROM BUNDLED TO OPEN AND PROGRAMMABLE SYSTEMS Author(s): Grossi, Luigi; Lo Russo, Graziano; Minerva, Roberto; Roccuzzo, Marco Corporate Source: CSELT Source: CSELT Technical Reports v 25 n 5 Oct 1997. p 999-1018 CODEN: CTRPEJ ISSN: 0393-2648 Publication Year: 1997 Abstract: Telecom Italia and CSELT carried out a feasibility study to assess whether it is meaningful to develop an Intelligence Platform based on the application of up-to-date information technology and products. The study was intended to evaluate the technical feasibility in the medium term of an open platform for the integrated execution and management of networked services supporting high level capabilities of mastering of services. The Intelligence Platform has to be defined in such a way that it can support different classes of services and different arrangements of network resources. Its applicability is related to the programmability and mastering
141
of narrowband as well as broadband services, on fixed and mobile networks. 11 Refs. In English EI Order Number: EIP98034138424 Keywords: Intelligent networks; Telecommunication services; Broadband networks; Interfaces Žcomputer.; Resource allocation; Information technology; Computer systems programming Title: RT-CRM: REAL-TIME CHANNEL-BASED REFLECTIVE MEMORY Author(s): Shen, Chia; Mizunuma, Ichiro Corporate Source: MERL - Mitsubishi Electric Research Lab, Cambridge, MA, USA Conference Title: Proceedings of the 1997 3rd IEEE Real-Time Technology and Applications Symposium Conference Location: Montreal, Can Conference Date: 19970609-19970611 Source: Real-Time Technology and Applications - Proceedings 1997. IEEE, Los Alamitos, CA, USA,97TB100136. p 239-251 CODEN: PRASF5 ISSN: 1080-1812 Publication Year: 1997 Abstract: In this paper, we propose and present Real-Time Channel-based Reflective Memory ŽRT-CRM. - a useful programming model and middleware communication service for constructing distributed real-time industrial monitoring and control applications on commercially available open systems. RT-CRM provides remote real-time data reflection abstraction using a simple writer-push model. This writer-push approach enables us to easily decouple the QoS characteristics of the writers from that of the readers. This decoupling is crucial in supporting different kinds of remote data transfer and access needs that one often finds in distributed industrial systems. We will describe the design of RT-CRM, along with a set of easy-to-use API to access the RT-CRM service. We have implemented RT-CRM as part of a larger real-time middleware project, MidART. We address many of the important implementation issues including buffer management and QoS support. We demonstrate the feasibility of RT-CRM through a discussion of our application programming support and preliminary performance data. ŽAuthor abstract . 14 Refs. In English EI Order Number: EIP97083765130 Keywords: Data storage equipment; Real time systems; Industrial applications; Telecommunication services; Monitoring; Control systems; Mathematical models; Computer architecture; Data transfer; Computer programming Title: SERVICE TRADING IN MOBILE ENVIRONMENTS Author(s): Tokmakoff, Andrew; Billington, Jonathan Corporate Source: Univ of South Australia, The Levels, Aust Conference Title: Proceedings of the 1997 1st International Conference on Information, Communications and Signal Processing, ICICS. Part 1 Žof 3. Conference Location: Singapore, Singapore Conference Date: 19970909-19970912 Source: Trends in Information Systems Engineering and Wireless Multimedia Communications Proceedings of the International Conference on Information, Communications and Signal Processing, ICICS v 1 1997. IEEE, Piscataway, NJ, USA. p 417-421 CODEN: 002795 Publication Year: 1997 Abstract: One of the most important considerations for applications operating in a mobile environment is the ability to
142
Engineering Information Abstracts (Part II)
dynamically adjust to changing resource availability. With a dynamic resource location service as part of the infrastructure, mobile applications are able to re-bind to service providers as they move within the mobile environment and as available services change. As part of the ISOrTEC and ITU-T standardization of the Reference Model for Open Distributed Processing ŽRM-ODP., a Trading function has been identified. It is an important infrastructure service that allows clients to locate services using service types and associated parameters as selection criteria. In order to engineer reliable Open Object-based Distributed systems, it is important to perform modelling and analysis as part of the design process. This paper introduces the reader to the concept of Service Trading and indicates how it may be utilized by applications in a mobile environment. In addition, Coloured Petri Nets are shown to be useful for the modelling and verification of distributed mobile applications. ŽAuthor abstract . 15 Refs. In English EI Order Number: EIP98024091747 Keywords: Mobile telecommunication systems; Telecommunication services; Object oriented programming; Distributed computer systems; Computer simulation; Petri nets Title: BASE STATION CONTROLLER TESTBED FOR THE FUTURE PUBLIC LAND MOBILE TELECOMMUNICATION SYSTEMS Author(s): Son, Dong Cheul; Lee, Dong Myung; Cho, Kyung Rok Corporate Source: Electronics and Telecommunications Research Inst, Taejon, South Korea Conference Title: Proceedings of the 1997 1st International Conference on Information, Communications and Signal Processing, ICICS. Part 1 Žof 3. Conference Location: Singapore, Singapore Conference Date: 19970909-19970912 Source: Trends in Information Systems Engineering and Wireless Multimedia Communications Proceedings of the International Conference on Information, Communications and Signal Processing, ICICS v 1 1997. IEEE, Piscataway, NJ, USA. p 35-38 CODEN: 002795 Publication Year: 1997 Abstract: The Testbed Controller ŽTC. is a testbed system of the BSC to verify the common air interface of FPLMTS. This paper presents design considerations, hardware architectures, software structures, and signaling aspects. It also proposes a network model based on the OSI reference model and the network model of Q.FIF. ŽAuthor abstract . 4 Refs. In English EI Order Number: EIP98024091669 Keywords: Mobile telecommunication systems; Computer software; Computer hardware; Interfaces Žcomputer. Title: DESIGN AND IMPLEMENTATION OF AN MMS ENVIRONMENT ON ISODE Author(s): Cheah, Raymond Seng-Sim; Lee, Bu-Sung; Lim, Raymond Long Corporate Source: Nanyang Technological Univ, Singapore, Singapore Source: Computer Communications v 20 n 15 Dec 15 1997. p 1354-1364 CODEN: COCOD7 ISSN: 0140-3664
Publication Year: 1997 Abstract: Manufacturing message specification ŽMMS. is an ISO OSI application layer standard designed to support messaging communication to and from programmable manufacturing devices in computer-integrated manufacturing environment. This paper describes a non-proprietary MMS over TCPrIP solution known as an MMS Environment. The MMS Environment consists of an MMS communication systems, a set of MMS-Interface ŽMMS-I. application program interfaces and an MMS Gateway for integrating non-MMS-compatible manufacturing devices into the standard MMS communication environment. The capability and resources of the real devices were modeled as Virtual Manufacturing Devices. The MMS Environment is developed on ISO Development Environment ŽISODE., a non-proprietary implementation of OSI upper layers over TCPrIP. This paper will also describe the implementation of the MMS Gateway and the modeling of a Programmable Logic Controller. ŽAuthor abstract . 17 Refs. In English EI Order Number: EIP98024083696 Keywords: Computer integrated manufacturing; Data communication 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, Orna Corporate Source: Univ of Pennsylvania, Philadelphia, PA, USA Conference Title: Proceedings of the 1997 38th IEEE Annual Symposium on Foundations of Computer Science Conference Location: Miami Beach, FL, USA Conference Date: 19971020-19971022 Source: Annual Symposium on Foundations of Computer Science - Proceedings 1997. IEEE Comp Soc, Los Alamitos, CA, USA,97CB36150. p 100-109 CODEN: ASFPDV ISSN: 02725428 Publication Year: 1997 Abstract: Alternating-time temporal logic offers selective quantification over those paths that are possible outcomes of games, such as the game in which the system and the environment alternate moves. Alternating-time logics are natural specification languages for open systems. For example, by preceding the temporal operator ’eventually’ with a selective path quantifier, it can be specified that in the game between the system and the environment, the system has a strategy to reach a certain state. Also, the problems of receptiveness, realizability, and controllability can be formulated as modelchecking problems for alternating-time formulas. Refs. In English EI Order Number: EIP98024080400 Keywords: Formal logic; Computer hardware description languages; Game theory; Mathematical operators; Algorithms Title: TYPE MANAGEMENT: A KEY TO SOFTWARE REUSE IN OPEN DISTRIBUTED SYSTEMS Author(s): Christiansen, B.O.; Munke, M.; Muller-Jones, K.; Lamersdorf, W.
141
of narrowband as well as broadband services, on fixed and mobile networks. 11 Refs. In English EI Order Number: EIP98034138424 Keywords: Intelligent networks; Telecommunication services; Broadband networks; Interfaces Žcomputer.; Resource allocation; Information technology; Computer systems programming Title: RT-CRM: REAL-TIME CHANNEL-BASED REFLECTIVE MEMORY Author(s): Shen, Chia; Mizunuma, Ichiro Corporate Source: MERL - Mitsubishi Electric Research Lab, Cambridge, MA, USA Conference Title: Proceedings of the 1997 3rd IEEE Real-Time Technology and Applications Symposium Conference Location: Montreal, Can Conference Date: 19970609-19970611 Source: Real-Time Technology and Applications - Proceedings 1997. IEEE, Los Alamitos, CA, USA,97TB100136. p 239-251 CODEN: PRASF5 ISSN: 1080-1812 Publication Year: 1997 Abstract: In this paper, we propose and present Real-Time Channel-based Reflective Memory ŽRT-CRM. - a useful programming model and middleware communication service for constructing distributed real-time industrial monitoring and control applications on commercially available open systems. RT-CRM provides remote real-time data reflection abstraction using a simple writer-push model. This writer-push approach enables us to easily decouple the QoS characteristics of the writers from that of the readers. This decoupling is crucial in supporting different kinds of remote data transfer and access needs that one often finds in distributed industrial systems. We will describe the design of RT-CRM, along with a set of easy-to-use API to access the RT-CRM service. We have implemented RT-CRM as part of a larger real-time middleware project, MidART. We address many of the important implementation issues including buffer management and QoS support. We demonstrate the feasibility of RT-CRM through a discussion of our application programming support and preliminary performance data. ŽAuthor abstract . 14 Refs. In English EI Order Number: EIP97083765130 Keywords: Data storage equipment; Real time systems; Industrial applications; Telecommunication services; Monitoring; Control systems; Mathematical models; Computer architecture; Data transfer; Computer programming Title: SERVICE TRADING IN MOBILE ENVIRONMENTS Author(s): Tokmakoff, Andrew; Billington, Jonathan Corporate Source: Univ of South Australia, The Levels, Aust Conference Title: Proceedings of the 1997 1st International Conference on Information, Communications and Signal Processing, ICICS. Part 1 Žof 3. Conference Location: Singapore, Singapore Conference Date: 19970909-19970912 Source: Trends in Information Systems Engineering and Wireless Multimedia Communications Proceedings of the International Conference on Information, Communications and Signal Processing, ICICS v 1 1997. IEEE, Piscataway, NJ, USA. p 417-421 CODEN: 002795 Publication Year: 1997 Abstract: One of the most important considerations for applications operating in a mobile environment is the ability to
142
Engineering Information Abstracts (Part II)
dynamically adjust to changing resource availability. With a dynamic resource location service as part of the infrastructure, mobile applications are able to re-bind to service providers as they move within the mobile environment and as available services change. As part of the ISOrTEC and ITU-T standardization of the Reference Model for Open Distributed Processing ŽRM-ODP., a Trading function has been identified. It is an important infrastructure service that allows clients to locate services using service types and associated parameters as selection criteria. In order to engineer reliable Open Object-based Distributed systems, it is important to perform modelling and analysis as part of the design process. This paper introduces the reader to the concept of Service Trading and indicates how it may be utilized by applications in a mobile environment. In addition, Coloured Petri Nets are shown to be useful for the modelling and verification of distributed mobile applications. ŽAuthor abstract . 15 Refs. In English EI Order Number: EIP98024091747 Keywords: Mobile telecommunication systems; Telecommunication services; Object oriented programming; Distributed computer systems; Computer simulation; Petri nets Title: BASE STATION CONTROLLER TESTBED FOR THE FUTURE PUBLIC LAND MOBILE TELECOMMUNICATION SYSTEMS Author(s): Son, Dong Cheul; Lee, Dong Myung; Cho, Kyung Rok Corporate Source: Electronics and Telecommunications Research Inst, Taejon, South Korea Conference Title: Proceedings of the 1997 1st International Conference on Information, Communications and Signal Processing, ICICS. Part 1 Žof 3. Conference Location: Singapore, Singapore Conference Date: 19970909-19970912 Source: Trends in Information Systems Engineering and Wireless Multimedia Communications Proceedings of the International Conference on Information, Communications and Signal Processing, ICICS v 1 1997. IEEE, Piscataway, NJ, USA. p 35-38 CODEN: 002795 Publication Year: 1997 Abstract: The Testbed Controller ŽTC. is a testbed system of the BSC to verify the common air interface of FPLMTS. This paper presents design considerations, hardware architectures, software structures, and signaling aspects. It also proposes a network model based on the OSI reference model and the network model of Q.FIF. ŽAuthor abstract . 4 Refs. In English EI Order Number: EIP98024091669 Keywords: Mobile telecommunication systems; Computer software; Computer hardware; Interfaces Žcomputer. Title: DESIGN AND IMPLEMENTATION OF AN MMS ENVIRONMENT ON ISODE Author(s): Cheah, Raymond Seng-Sim; Lee, Bu-Sung; Lim, Raymond Long Corporate Source: Nanyang Technological Univ, Singapore, Singapore Source: Computer Communications v 20 n 15 Dec 15 1997. p 1354-1364 CODEN: COCOD7 ISSN: 0140-3664
Publication Year: 1997 Abstract: Manufacturing message specification ŽMMS. is an ISO OSI application layer standard designed to support messaging communication to and from programmable manufacturing devices in computer-integrated manufacturing environment. This paper describes a non-proprietary MMS over TCPrIP solution known as an MMS Environment. The MMS Environment consists of an MMS communication systems, a set of MMS-Interface ŽMMS-I. application program interfaces and an MMS Gateway for integrating non-MMS-compatible manufacturing devices into the standard MMS communication environment. The capability and resources of the real devices were modeled as Virtual Manufacturing Devices. The MMS Environment is developed on ISO Development Environment ŽISODE., a non-proprietary implementation of OSI upper layers over TCPrIP. This paper will also describe the implementation of the MMS Gateway and the modeling of a Programmable Logic Controller. ŽAuthor abstract . 17 Refs. In English EI Order Number: EIP98024083696 Keywords: Computer integrated manufacturing; Data communication 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, Orna Corporate Source: Univ of Pennsylvania, Philadelphia, PA, USA Conference Title: Proceedings of the 1997 38th IEEE Annual Symposium on Foundations of Computer Science Conference Location: Miami Beach, FL, USA Conference Date: 19971020-19971022 Source: Annual Symposium on Foundations of Computer Science - Proceedings 1997. IEEE Comp Soc, Los Alamitos, CA, USA,97CB36150. p 100-109 CODEN: ASFPDV ISSN: 02725428 Publication Year: 1997 Abstract: Alternating-time temporal logic offers selective quantification over those paths that are possible outcomes of games, such as the game in which the system and the environment alternate moves. Alternating-time logics are natural specification languages for open systems. For example, by preceding the temporal operator ’eventually’ with a selective path quantifier, it can be specified that in the game between the system and the environment, the system has a strategy to reach a certain state. Also, the problems of receptiveness, realizability, and controllability can be formulated as modelchecking problems for alternating-time formulas. Refs. In English EI Order Number: EIP98024080400 Keywords: Formal logic; Computer hardware description languages; Game theory; Mathematical operators; Algorithms Title: TYPE MANAGEMENT: A KEY TO SOFTWARE REUSE IN OPEN DISTRIBUTED SYSTEMS Author(s): Christiansen, B.O.; Munke, M.; Muller-Jones, K.; Lamersdorf, W.