D. Buchs, P. Racloz, M. Buffo, J. Flumet, and E. Urland. Deriving parallel programs using sands tools. Transputer Communications, 3(1):23-- 32, January 1996.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....a formal approach called CO OPN 2 which can be used for the development of large distributed systems. This approach is flexible enough to be adapted to modeling of many different kinds of applications including the development of distributed algorithms , the development of parallel algorithms [4], etc. The transit node has been used to describe completely and informally particular aspects of the CO OPN 2 language. CO OPN 2 supports modularity and the expression of various kinds of concurrency. In this paper we have shown how CO OPN 2 can handle concurrency issues and classification ....

....we have shown the possible ways of refining specifications, starting from an abstract description and progressively introducing concrete aspects. The validation of each step of the refinement process was possible through the use of prototyping or proving tools available in the SANDS environment [4]. Future studies will be conducted along three lines: Tools to support the new features of the CO OPN 2 language for the already developed environment SANDS will be developed; A distribution model of CO OPN 2 objects will be defined for heterogeneous systems with its operational semantics; ....

D. Buchs, P. Racloz, M. Buffo, J. Flumet, and E. Urland. Deriving parallel programs using sands tools. Transputer Communications, 3(1):23-- 32, January 1996.

....CO OPN 2 which can be used for the development of large distributed systems. This approach is flexible enough to be adapted to modeling of many different kinds of applications including the development of distributed algorithms[Buchs, Mourlin, Safavi 1993] the development of parallel algorithms [Buchs, Racloz et al. 1996], etc. as well as to the semantics of concurrent language by modeling of the actor languages [Buchs, Guelfi 1993] The transit node has been used to describe completely and informally particular aspects of the CO OPN 2 language. The development of distributed systems requires languages which ....

....construction of specifications, ffl we give a formal model of specification refinement. Nevertheless, important research topics around CO OPN 2 have not been presented here such as verification issues that can be found in [Barbey, Buchs, P eraire 1996] and validation issues that are presented in [Buchs, Hulaas 1996]. With the progressive development of the Transit node, we have shown the possible ways of refining specifications, starting from an abstract description and progressively introducing concrete aspects. The validation of each step of the refinement process was possible through the use of ....

[Article contains additional citation context not shown here]

D. Buchs, P. Racloz, M. Buffo, J. Flumet, and E. Urland. Deriving Parallel Programs Using SANDS Tools. Transputer Communications, 3(1):23--32, January 1996.

....programming languages such as polymorphism and dynamic binding. Our work is done within the frame of the CO OPN 1. 5 (Concurrent Object Oriented Petri Nets) specification language [6] 7] and the associated development tool called SANDS (Structured Algebraic Nets Development System) 8][9]. CO OPN is directed towards specification of complex distributed systems. The specification language is based on hierarchical algebraic Petri nets [21] where the Petri nets are used to model operational and concurrent aspects. The object notion of CO OPN serves as a structuring means, and ....

D. Buchs, P. Racloz, M. Buffo, J. Flumet and E. Urland, "Deriving Parallel Programs Using SANDS Tools", Transputer Communication Journal, vol. 3, no. 1, 1996, pp. 23-32.

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