Didier Buchs and Nicolas Guelfi. A concurrent object oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432-454, Aahrus, Denmark, June 1991.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....several well known formalisms related to mobility or to communication in distributed systems, in order to derive a specification language well suited to express messenger systems and their properties. The formalisms we will use are among others: the CO OPN2 [2] formalism, an extension of CO OPN [3], which uses high level algebraic Petri Nets, where tokens are not simple algebraic terms but whole Petri Nets, realizing in that way the mobility of processes; the r calculus [6] derived from ccs and enabling to model mobile processes; the Actors [1] model, which is very similar to messenger as ....

Didier Buchs and Nicolas Guelfi. A concurrent object oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432-454, Aahrus, Denmark, June 1991.

....several well known formalisms related to mobility or to communication in distributed systems, in order to derive a specification language well suited to express messenger systems and their properties. The formalisms we will use are among others: the co opn2 [2] formalism, an extension of co opn [3], which uses high level algebraic Petri Nets, where tokens are not simple algebraic terms but whole Petri Nets, realizing in that way the mobility of processes; the calculus [6] derived from ccs and enabling to model mobile processes; the Actors [1] model, which is very similar to messenger as ....

Didier Buchs and Nicolas Guelfi. A concurrent object oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432--454, Aahrus, Denmark, June 1991.

....structure. Based on these definitions for colored nets, we then define in a similar way algebraic nets and synchronized algebraic nets. Our definition of synchronized algebraic nets is a variant of the synchronization expressions of the CO OPN formalism through the use of the with operator [BG91]. Our definitions of the syntax of colored nets and algebraic nets are those of [CD90] We then extend these definitions to obtain the syntax of synchronized, colored and algebraic, nets, and express the semantics of all these nets in term of transition systems. The long term goal of our work is ....

....of Synchronized Algebraic Nets . 27 4 Conclusion 32 1 Chapter 1 Introduction Our long term goal is an attempt to give categorical properties to the synchronization operator between algebraic nets called: Sync in this work, with in CO OPN [BG91], defined by Processes in Guelfi s thesis [Gue94] The synchronization operator is used between two algebraic nets in order to abstract the behavior of one of the net with respect to the other one. The visible behavior is that of the net requiring the synchronization. Some hidden behavior is also ....

[Article contains additional citation context not shown here]

Didier Buchs and Nicolas Guelfi. A concurrent object oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432--454, Aahrus, Denmark, June 1991.

....system initialization. Part 9 is the last but complex development step which introduces timed transit nodes integrated with other types of transit nodes in a global network. An instantiation of such complex heterogeneous distributed system is given in part 10. 2 CO OPN 2 Principles CO OPN 2 [BG91] Concurrent Object Oriented Petri Nets) is a specification language designed for the specification and the modeling of large concurrent systems. The two underlying formalisms of CO OPN 2 are the algebraic specifications and the Petri nets which are combined in a way that is similar to algebraic ....

Didier Buchs and Nicolas Guelfi. A concurrent object-oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432--454, Aahrus, Denmark, June 1991.

....for the linking of events together in order to build hierarchies of abstractions. Since heterogeneous distributed systems aspects are fundamental in groupware, the paper focuses on these and interested readers will find more complete information on COOPN 2 in [5] 13] and in the precursor article [7]. In the final part we present briefly the other features of the COOPN 2 environment such as the prototyping techniques and the testing techniques which should be used when software engineering techniques are to be considered within the groupware system development process. 2. Groupware ....

D. Buchs and N. Guelfi. A concurrent object-oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432--454, Aahrus, Denmark, June 1991.

....as well as how the object orientation paradigm is interpreted. A further problem is that large system development cannot be taken into account with respect to algebraic nets because, in such a model, the system is considered to be a flat collection of states and events. In the formalism CO OPN [BG91, BG92a] we introduce objects as separate encapsulated set of states which are accessible by means of methods as well as a mechanism for synchronizing methods. This mechanism allows for expressing hierarchy of abstraction through synchronizations which use simultaneous, sequential and alternative ....

....into account with the loops of the software life cycle, with no regard for property preservation. The vertical derivation requires more extensive technical machinery in order to guarantee that the derivation will preserve the intended behavior of the specification. Within our theoretical framework [BG91, Gue94, BB94c], we deal with property preservation by means of a the definition of a preorder ; between the specifications based on bi simulation principles. Spec 1 ; Spec 2 is equivalent to Spec 2 j Spec1 bi similar to Spec 1 where Spec 2 j Spec1 means that the observation of Spec 2 is limited to the element ....

[Article contains additional citation context not shown here]

Didier Buchs and Nicolas Guelfi. A concurrent object oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432--454, Aahrus, Denmark, June 1991.

....framework captures the subtyping notion between the objects which are identified by order sorted values. Language semantics is defined through distributed transition systems over the models of algebraic specification. 1 Introduction During the last few years we have developed, both theoretically [BG91] and for modelling of concurrent languages [BG93] a formal object based specification language built on algebraic specifications and Petri nets called CO OPN (Concurrent Object Oriented Petri Nets) CO OPN has been developed in order to offer a formal specification language for the design of ....

Didier Buchs and Nicolas Guelfi. A concurrent object oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432--454, Aahrus, Denmark, June 1991.

....to select object interaction policies. 1 Introduction In recent years several formalisms based on P Tnets with structuring capabilities have been developed, and many of these have adopted the objectorientation paradigm. Among these is included the CO OPN (Concurrent Object Oriented Petri Net) [BG91] which has been developed in the few years for the specification and design of large concurrent systems. Several examples developed with the SANDS tools (Structured Algebraic Net Development System) BFR93] have indicated complex modeling must deal with structuring. Recently, a new version of ....

.... Rei91] LOOPN [Lak94] the Cooperative Nets (CN) SB94] the POT and POP s approaches [ELR90] OBJ SA [BCM88] CLOWN [BC93] the O O AHL approach [Rib94] the process logic approach (with LOTOS) the temporal logic approach [FM90] and our approach (structured algebraic nets) called CO OPN [BG91]. 4 CO OPN 2 Language As has been previously mentioned, the CO OPN 2 formalism is based upon two separate frameworks, the order sorted algebras for the data structures and the algebraic nets for the operational and concurrent aspects. These two formalisms are inadequate when large problems are ....

Didier Buchs and Nicolas Guelfi. A concurrent object oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432--454, Aahrus, Denmark, June 1991.

....of objects are usually not considered in this second approach. CO OPN 2 Language In order to take advantage of both the approaches we have developed a concurrent object oriented specification language called CO OPN 2 (Concurrent Object Oriented Petri Nets) BB94, BB95] the successor of CO OPN [BG91] in which some object oriented notions were poorly implemented. The CO OPN 2 language is based upon two formalisms: order sorted algebras [GM89] and algebraic nets [Rei91] The former formalism is used to describe the data structure aspects, while the latter stands for the behavioral and ....

Didier Buchs and Nicolas Guelfi. A concurrent object oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432--454, Aahrus, Denmark, June 1991.

....Ecublens Switzerland email: Didier.Buchs, Jarle.Hulaas, Pascal.Racloz di.epfl.ch phone: 41 (21) 693.27.37 fax: 41 (21) 693.50. 79 Abstract This paper describes the techniques and tools developed to support the construction of CO OPN specifications (Concurrent Object Oriented Petri Nets) [7] and the kind of semantics that are needed for each part of the environment. CO OPN is a specification language which permits an abstract description of aspects of concurrent operations and data structures of computer programs. The concurrent and operational part of the formalism is described by ....

....semantics. Keywords: Object orientation, distributed systems, formal methods, Petri nets, algebraic specifications, evolutive prototyping. 1 Introduction At present, one of the major difficulties faced in software engineering is the production of correct distributed products. The CO OPN project [7] (Concurrent Object Oriented Petri Nets) was undertaken in order to propose a formal specification language for the design of large distributed systems. The latter was created by means of a modular specification language in combination with Petri Nets. The underlying formalism, called hierarchical ....

[Article contains additional citation context not shown here]

D. Buchs and N. Guelfi. A concurrent object-oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432--454, Aarhus, Denmark, June 1991.

....for the specific cooperative editor model we wish to define, and we organize the system in a centralized way. It must be noted that the purpose of the Cooperative Distributed Editor modeling is to elaborate an initial abstract solution which respects the requirements. 3 CO OPN 2 principles CO OPN [BG91] (Concurrent Object Oriented Petri Nets) is a specification language designed for the specification and the modeling of large concurrent systems. The two underlying formalisms of CO OPN are the algebraic specifications and the Petri nets which are combined in a way that is similar to the ....

Didier Buchs and Nicolas Guelfi. A concurrent object-oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432--454, Aahrus, Denmark, June 1991.

....12 f vrier 1996 2 1. Introduction The CO OPN (Concurent Object Oriented Petri Nets) is a specification formalism for describing concurrent aspects, through the use of modular algebraic specification and structured algebraic nets. This structure follows the object oriented paradigms [3,4]. The designers of the CO OPN formalism believe that specification languages are based on a formal theory which gives a precise semantics. They must fully capture the problem to be described in an abstract way. It has to be able to formalize the implementation process and the proof techniques. ....

....of the places P of the objects, each place state is a value of the multisets built over the algebras of the place sorts. 12 f vrier 1996 7 FIGURE 7. A place and its contents This place p is a multiset of nat with the value 0, the value 1 two times and the value 3. This multiset is written [0,1,1,3]. The function t indicates this sort, t: P S. Axioms The behavior of the object is described in the axioms. An axiom ax= t,Cond,In, Out,SE corresponds to the flow relation of the object transition t extended with the notion of synchronization SE defined in the following paragraph. Oriented ....

BUCHS D., GUELFI N.: "A Concurrent Object Oriented Petri Nets Approach for system specification", 12th International Conference on Application and Theory of Petri Nets, Aahrus Denmark, june 1991,(M. Silva eds.),pp. 432-454.

....Part 9 describes the last, nevertheless complex, development step which introduces timed transit nodes integrated with other types of transit nodes in a global network. An instantiation of such a complex heterogeneous distributed system is given in part 10. 2 CO OPN 2 Principles CO OPN 2 [Buchs, Guelfi 1991] (Concurrent Object Oriented Petri Nets) is a specification language designed for the specification and the modeling of large concurrent systems. The two underlying formalisms of CO OPN 2 are the algebraic specifications and the Petri nets which are combined in a way that is similar to algebraic ....

Didier Buchs and Nicolas Guelfi. A Concurrent Object-Oriented Petri Nets Approach for system specification. In M. Silva, Editor, 12th International Conference on Application and Theory of Petri Nets, pages 432--454, Aahrus, Denmark, June 1991.

....a methodology we call object oriented mixed prototyping (OOMP) which is based on the facilities of object oriented 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 ....

.... will concentrate on inter object communication and concurrency control, as the intra object behaviour, which is described by Petri nets, is less innovative in its implementation (the data structures are explained in [16] Synchrony in wide area networks CO OPN is a strong synchronous language [6], like Esterel [3] and Statecharts [17] This means that every operation, or change of state, be it internal or external, is viewed as being instantaneous 1 . In the case of languages like Esterel, this property was designed as a means of mastering and reasoning about reactive real time systems. ....

D. Buchs, N. Guelfi. CO-OPN, "A Concurrent Object Oriented Petri Net Approach". 12th Int. Conf. on Application and Theory of Petri Nets, 1991, pp. 432-454.

....for the specific cooperative editor model we wish to define, and we organize the system in a centralized way. It must be noted that the purpose of the Cooperative Distributed Editor modeling is to elaborate an initial abstract solution which respects the requirements. 3 CO OPN 2 Principles CO OPN [BG91] (Concurrent Object Oriented Petri Nets) is a specification language designed for the specification and the modeling of large concurrent systems. The two underlying formalisms of CO OPN are the algebraic specifications and the Petri nets which are combined in a way that is similar to the ....

Didier Buchs and Nicolas Guelfi. A concurrent object-oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432--454, Aahrus, Denmark, June 1991.

....language, the use of such a language is beneficial to ensure the consistency and the completeness of the specification. In this section, we will briefly present a concurrent object oriented specification language, called CO OPN 2. Interested readers will find more complete information in [4] and [5]. CO OPN 2 (Concurrent Object Oriented Petri Nets) is a formalism developed for the specification and design of large object oriented concurrent systems. Such a system consists of a possibly large amount of entities, that communicate with each other by sending messages, or, in our ....

.... and algebraic terms) Q E Q: transition relationship (noted: q e q ) I Q: a non empty initial state These models are built for CO OPN 2 using inference rules which are not given here due to the lack of space, interested readers should find the detailed descriptions in [4] and [5]. We will see (cf. full agreement theorem) that a labelled transition system must be image finite, this will be a hypothesis of the testing procedure: A state q Q is image finite, if q Q q e q is finite for each e E. G is image finite, if all the reachable states of G are ....

Didier Buchs and Nicolas Guelfi. A concurrent object-oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432--454, Aahrus, Denmark, June 1991.

No context found.

Buchs D., Guelfi N. "A Concurrent Object Oriented Petri Nets Approach for system specification", 12th International Conference on Application and Theory of Petri Nets, Aahrus Denmark, june 1991,(M. Silva eds. ),pp. 432-454 .

No context found.

Buchs D., Guelfi N. "A Concurrent Object Oriented Petri Nets Approach for system specification", 12th International Conference on Application and Theory of Petri Nets, Aahrus Denmark, june 1991,(M. Silva eds. ),pp. 432-454 .

No context found.

Buchs, D. & Guelfi, N., "A Concurrent Object Oriented Petri Nets Approach for System Specification", 12th Int. Conf. on Application and Theory of Petri Nets, Aahrus, Denmark, pp, 432-454, 1991.

No context found.

Buchs, D. and Guelfi, N. 1991. "A Concurrent ObjectOriented Petri Net Approach for System Specification." In 12th International Conference on Theory and Application of Petri Nets (Aarhus, Denmark, June 1991), M. Silva, editor.

No context found.

Buchs, D. & Guelfi, N., "A Concurrent Object Oriented Petri Nets Approach for System Specification", 12th Int. Conf. on Application and Theory of Petri Nets, Aahrus, Denmark, pp, 432-454, 1991.

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