Ada 95: Information technology - Programming languages - Ada. Language and Standard Libraries. ISO/IEC 8652:1995(E), Intermetrics, Inc., 1995.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....be further signalled from the action Unload Table to the action Table Press Robot action, including T SENSOR (non critical table sensor failure) and A1 SENSOR (one arm 1 s sensor failure) in the hope that the outermost action may be able to handle them. 5 Implementation and Experimentation In Ada 95 [Ada 1995] we have recently accomplished a prototype implementation of the resolution mechanism and the related CA action supporting system (with the standard features 20 of the Distributed Annex) in order to identify and tackle implementation and performancerelated issues. We have chosen Ada 95 (the ....

"Ada. Language and Standard libraries" ISO/IEC 8652:1995(E), Intermetrics Inc., 1995.

....serves as a structuring means, and naturally capture the concurrent aspects of a modelling. In this paper, we consider the way we can build incremental prototypes for concurrent systems based on object oriented language for CO OPN. We made this experience with the object oriented part of the Ada 95 language [Ada 95] with PVM routines) but the principles can be transposed to any modern object oriented programming language. We use a minimal set of mechanisms in order to be largely languageindependent and to make the prototyping process as intuitive as possible. See for instance [Weg 87] for ....

....structuring means, and naturally capture the concurrent aspects of a modelling. In this paper, we consider the way we can build incremental prototypes for concurrent systems based on object oriented language for CO OPN. We made this experience with the object oriented part of the Ada 95 language [Ada 95] with PVM routines) but the principles can be transposed to any modern object oriented programming language. We use a minimal set of mechanisms in order to be largely languageindependent and to make the prototyping process as intuitive as possible. See for instance [Weg 87] for an explanation of ....

Ada Reference Manual, Language and Standard Libraries, ISO/IEC 8652:1995 5

....table sensor failure) and A1 SENSOR (arm 1 s sensor failure) in the hope that the outermost action may be able to handle them. 5 Implementation and Experimentation We have recently accomplished a prototype implementation of the resolution mechanism and the related CA action supporting system in Ada 95 [Ada 1995] (with the standard features of the Distributed Annex) in order to identify and tackle implementation and performance related issues. We chose Ada 95 (the GNAT Ada 95 compiler, public release 3.04, on SunOS 5.4) because it is one of the few standard OO languages that have features for distributed ....

"Ada. Language and Standard libraries" ISO/IEC 8652:1995(E), Intermetrics Inc., 1995.

....etc. We have experimented with centralised (singlecomputer and distributed) CA action schemes in Ada and Java and have also implemented a decentralised (and distributed) manager for CA actions using Ada. There are several reasons why we chose these two particular languages for our experiments. Ada95 [Ada 1995] is the only standard object oriented language that has features for real time, distributed programming. Moreover, it provides very elaborate support for exception handling and, in particular, for data and process oriented concurrent programming, which simplifies the programming of a CA action ....

"Ada. Language and Standard libraries" ISO/IEC 8652:1995(E), Technical Report, Intermetrics Inc., 1995.

....conversation manager as a class seems to be one worthy purpose for future research (particularly in concurrent object oriented languages) With this class, a conversation manager object can be created for each particular conversation. Another very reasonable direction of research concerns Ada9X [1]. This language has very important features which can simplify the implementation of the conversation scheme and, besides, thanks to the upward compatibility with Ada, all proposals discussed can be used in it directly. Among the new features worth mentioning are those allowing to facilitate the ....

Ada programming language. Language and standard libraries. Draft. Version 4.0, ANSI/ISO/IEC, IR-MA-1363-3, 1993.

....programming languages, compared to previous approaches [11] allows for more flexibility in the incremental prototyping process, and gives better guarantees that the final prototype conforms to the formal specification. We made this experience with the object oriented part of the Ada95 language [1] but the principles can be transposed to any modern object oriented programming language. The Ada95 language was chosen for its commitment to strict software engineering principles: Strong and static typing, generic modules and information hiding are the securities our prototyping methodology ....

Ada Reference Manual, Language and Standard Libraries, ISO/IEC 8652:1995.

....must be programmed with lower level primitives that are available. For some years now we have been exploring the use of the Ada programming language as a vehicle for implementing reliable concurrent systems [32] The Ada 95 programming language de nes a number of expressive concurrency features [1]. Used together they represent a powerful toolkit for building higher level protocols design abstractions that have wide application. For example, 32] recently showed how Ada 95 can be used to implement Atomic Actions. And, as such an abstraction is not directly available in any current ....

.... fun Start n (s: Test) Node list val Start n = fn : Test Node list = PredAllNodes (fn n = cf( tsk=task(1) flg=true , Mark.Control Start n 1 n) cf( tsk=task(2) flg=true , Mark.Control Start n 1 n) 1) Stater n(s) val it = [1] : Node list The SearchNodes function is used to test for speci c occurrences for the Success n node (node 29) to be activated. It veri es that there are only two possible occurrences that can lead to this ....

Ada 95: Information technology - Programming languages - Ada. Language and Standard Libraries. ISO/IEC 8652:1995(E), Intermetrics, Inc., 1995.

....that are available. For some years now we have been exploring the use of the Ada programming language as a vehicle for implementing reliable 1 CS TR 706, Dept. of CS, Newcastle University 2 concurrent systems [26] The Ada 95 programming language de nes a number of expressive concurrency features [1]. Used together they represent a powerful toolkit for building higher level protocols design abstractions that have wide application. e.g. 26] showed how Ada 95 can be used to implement Atomic Actions. As such an abstraction is not directly available in any current programming language, this ....

Ada 95: Information technology - Programming languages - Ada. Language and Standard Libraries. ISO/IEC 8652:1995(E), Intermetrics, Inc., 1995.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC