Event B for ODP Enterprise Behavioral Concepts Specification

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 and specified. We treat in this paper the need of formal notation and specification for behavioural concepts in the enterprise language. Using the Unified Modelling Language (UML)/OCL (Object Constraints Language) 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 (sequentiality, non determinism and concurrency constraints), and policies (permission, obligation, prohibition). We also give a mapping of the considered concepts to Event-B. This will permit the verification of such specifications. Each viewpoint language defines concepts and rules for specifying ODP systems from the corresponding viewpoint. However, RM-ODP is a meta-norm (5) in the sense that it defines a standard for the definition of other ODP standards. The ODP standards include modelling languages, specification languages and verification. In this paper we treat the need of formal notation of ODP viewpoint languages. The languages Z, SDL, LOTOS, and Esterel are used in RM-ODP architectural semantics part (4) for the specification of ODP concepts. However, no formal method is likely to be suitable for specifying every aspect of

[1]  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.

[2]  Angelo Artale,et al.  A Descriptive Model , 1997 .

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

[4]  Bernhard Rumpe,et al.  Behavioral Specifications of Businesses and Systems , 1999, Behavioral Specifications of Businesses and Systems.

[5]  Jos Warmer,et al.  The object constraint language , 1998 .

[6]  Alain Wegmann,et al.  From RM-ODP to the Formal Behavior Representation , 2003, OOPSLA 2003.

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

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

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

[10]  Bernhard Rumpe,et al.  Agile Modeling with the UML , 2002, RISSEF.

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

[12]  A. Szent-Görgyi.  [Value of science]. , 1970, Tanpakushitsu kakusan koso. Protein, nucleic acid, enzyme.

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

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

[15]  Jean-Raymond Abrial.  A System Development Process with Event-B and the Rodin Platform , 2007, ICFEM.

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

[17]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

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

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

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

[21]  Wolfgang Thomas,et al.  Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics , 1990 .

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

[23]  K Lano,et al.  Making Uml Precise , 1998 .

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

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

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

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

[28]  Martin Gogolla.  Unified Modeling Language , 2009, Encyclopedia of Database Systems.