Seamless visual object-oriented behavior modeling for distributed software systems

To ease the development of distributed systems, the visual notions for the structural aspects of object-oriented analysis and design should be combined with techniques for handling concurrency and distribution. A novel approach and language for the visual design of distributed software systems is introduced and illustrated by means of an example. The language of OCoNs (Object Coordination Nets) is integrated into the structuring mechanisms of the UML (Unified Modeling Language) standard for object-oriented analysis and design. Such an object-oriented notation is crucial for handling complex software systems and can be extended with the graphical expressive power of Petri nets to also describe concurrency and coordination. The same visual language is used to specify the interfaces and contracts of software components, the resource handling within a component as well as the control flow of services.

[1]  Charles Lakos,et al.  From Coloured Petri Nets to Object Petri Nets , 1995, Application and Theory of Petri Nets.

[2]  Wil M. P. van der Aalst,et al.  Applications and Theory of Petri Nets , 1983, Informatik-Fachberichte.

[3]  Trygve Reenskaug,et al.  Working with objects - the OOram software engineering method , 1995 .

[4]  Juan Manuel Murillo,et al.  Coordinating Concurrent Objects: How to deal with the coordination aspect? , 1997 .

[5]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[6]  Janne Halme,et al.  PROD Reference Manual , 1995 .

[7]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[8]  Christoph Lindemann,et al.  Performance Modelling with Deterministic and Stochastic Petri Nets , 1998, PERV.

[9]  Christophe Sibertin-Blanc,et al.  Cooperative Nets , 1994, Application and Theory of Petri Nets.

[10]  Kang Zhang,et al.  Towards visual development of message-passing programs , 1997, Proceedings. 1997 IEEE Symposium on Visual Languages (Cat. No.97TB100180).

[11]  Vladimír Janousek,et al.  PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling , 1997, EUROCAST.

[12]  Holger Giese,et al.  Modeling Distributed Software Systems with Object Coordination Nets , 1998, PDSE.

[13]  Didier Buchs,et al.  An Object Oriented Specification Language based on Hierarchical Petri Nets , 1994 .

[14]  O. Widlund,et al.  A Domain Decomposition Method With Lagrange Multipliers For Linear Elasticity , 1999 .

[15]  Holger Giese,et al.  Ruling the Behavior of Distributed Software Components , 1997, PDPTA.

[16]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[17]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[18]  Dieter Hogrefe,et al.  SDL : formal object-oriented language for communicating systems , 1997 .

[19]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[20]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[21]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[22]  Ken Arnold,et al.  The Java Programming Language , 1996 .

[23]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[24]  David Harel,et al.  On visual formalisms , 1988, CACM.

[25]  Rebecca Wirfs-Brock,et al.  Designing object-oriented software , 1990 .

[26]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[27]  Guido Wirtz,et al.  Modularization and process replication in a visual parallel programming language , 1994, Proceedings of 1994 IEEE Symposium on Visual Languages.

[28]  Giancarlo Mauri,et al.  OBJSA Nets: a Class of High- level Nets Having Objects as Domains , 1987, European Workshop on Applications and Theory of Petri Nets.

[29]  Holger Giese,et al.  A Real Object-Oriented Visual Design Language for Distributed Software Systems , 1998 .

[30]  Oscar Nierstrasz,et al.  Regular types for active objects , 1993, OOPSLA '93.

[31]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[32]  Michelle M. Usher,et al.  A concurrent visual language based on Petri nets , 1998, Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254).

[33]  Farhad Arbab,et al.  VISIFOLD: A Visual Environment for a Coordination Language , 1996, COORDINATION.

[34]  Hartmut Ehrig.  Algebraic Specification , 1993, Current Trends in Theoretical Computer Science.