A Semantics of Behavioural Concepts for Open Virtual Enterprises

The Reference Model for Open Distributed Processing (RM-ODP) defines a framework for the development of Open Distributed Processing (ODP) systems in terms of five viewpoints. Each viewpoint language defines concepts and rules for specifying ODP systems from the corresponding viewpoint. However, the ODP viewpoint languages are abstract and do not show how these should be represented. We treat in this paper the need for formal notation for behavioural concepts in the enterprise language. Using the Unified Modeling Language and Object Constraints Language UML/OCL, we define a formal semantics for a fragment of ODP behaviour concepts defined in the RM-ODP foundations part and in the enterprise language. We mainly focus on time, action, behaviour constraints, and policies. These concepts are suitable for describing and constraining the behaviour of the ODP enterprise viewpoint specifications.

[1]  David A. Schmidt,et al.  Denotationaisemantics: a methodology for language development , 1986 .

[2]  Henri Poincaré,et al.  The Value of Science , 1905 .

[3]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[4]  John A. McDermid,et al.  Software Engineer's Reference Book , 1993 .

[5]  Bernhard Rumpe,et al.  Model-Based Testing of Object-Oriented Systems , 2002, FMCO.

[6]  Alistair Cockburn,et al.  Agile Software Development , 2001 .

[7]  Kent L. Beck,et al.  Aim, Fire , 2001, IEEE Softw..

[8]  Ivar Jacobson,et al.  Unified Modeling Language , 2020, Definitions.

[9]  Mohamed Bouhdadi,et al.  Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises , 2007, ICCSA.

[10]  Manfred Broy,et al.  23 – Formal treatment of concurrency and time , 1991 .

[11]  David Harel,et al.  Executable object modeling with statecharts , 1997, Computer.

[12]  Alain Wegmann,et al.  Conceptual modeling of complex systems using an RM-ODP based ontology , 2001, Proceedings Fifth IEEE International Enterprise Distributed Object Computing Conference.

[13]  Bouabid El Ouahidi,et al.  AN INFORMATIONAL OBJECT MODEL FOR ODP APPLICATIONS , 2000 .

[14]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[15]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[16]  Bernhard Rumpe,et al.  Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications) , 1998, ECOOP Workshops.

[17]  Stuart Kent,et al.  A Meta-Model Semantics for Structural Constraints In UML , 1999, Behavioral Specifications of Businesses and Systems.

[18]  Robert V. Binder,et al.  Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .

[19]  Claude Caci,et al.  Testing object-oriented systems , 2000, SOEN.

[20]  Lionel C. Briand,et al.  A UML-Based Approach to System Testing , 2001, UML.

[21]  Bouabid El Ouahidi,et al.  An UML-Based Meta-Language for the QOS-Aware Enterprise Specification of Open Distributed Systems , 2002, PRO-VE.

[22]  Bernhard Rumpe,et al.  Meta-Modelling Semantics of UML , 2014, Behavioral Specifications of Businesses and Systems.