Home   >   CSC-OpenAccess Library   >    Manuscript Information
Verifying ODP Computational Behavioral Specification by using B-Method
Jalal Laassiri, Saïd El Hajji, Mohamed Bouhdadi
Pages - 31 - 39     |    Revised - 25-02-2010     |    Published - 26-03-2010
Volume - 4   Issue - 1    |    Publication Date - March 2010  Table of Contents
RM-ODP, Computational Language, UML/OCL, Behavior Semantics, computational specifications, B-Method
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 behavior al concepts in the Computational language. Using the Unified Modeling Language (UML)/OCL (Object Constraints Language) we define a formal semantics for a fragment of ODP behavior concepts defined in the RM-ODP foundations part and in the Computational language. We mainly focus on time, action, behavior 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. Finally we explore the benefits provided by the new extension mechanisms of B-Method for verifying the ODP computational specifications.
CITED BY (1)  
1 J. Laassiri, Spcification et Vrification des Systmes Informatiques Distribues Conformment au Modle de Rfrence du Traitement Rparti Ouvert (RM-ODP), Thse De Doctorat, Universit Mohammed V Agdal Facult Des Sciences Rabat, 24 juin 2010.
1 Google Scholar 
2 Academic Journals Database 
3 ScientificCommons 
4 CiteSeerX 
5 iSEEK 
6 Socol@r  
7 ResearchGATE 
8 Libsearch 
9 Bielefeld Academic Search Engine (BASE) 
10 Scribd 
11 WorldCat 
12 SlideShare 
14 PdfSR 
A. Cockburn, Agile Software Development. Addison-Wesley, (2002).
A. Evans et al. The UML as a Formal Modeling Notation, UML, LNCS 1618, Springer, 349- 274 (1999)
A. Evans et al., Making UML precise, Object Oriented Programming, Systems languages and Applications, (OOPSLA'98), Vancouver, Canada, ACM Press (1998)
A.R.M Nordin and al. Managing Software Change Request Process: Temporal Data Approach,. International Journal of Computer Science and Security, (IJCSS) Volume (3):January 01, 2009.
Abhishek Dixit and al. Applying UML and Z to Extended Basic Interoperability Data Model, International Journal of computer science and security (IJCSS), June 2007.
B. Rumpe, Executable Modeling UML. A Vision or a Nightmare?, In: Issues and Trends of Information technology management in Contemporary Associations, Seattle, Idea Group, London, 697-701 (2002).
B. Rumpe, Agile Modeling with UML, LNCS vol. 2941, Springer, 297-309 (2004).
B. Rumpe, Model-Based Testing of Object-Oriented Systems; LNCS Vol.. 2852, Springer; 380-402 (2003).
B. Rumpe, A Note on Semantics with an Emphasis on UML, Second ECOOP Workshop on Precise Behavioral Semantics, LNCS 1543, Springer, 167-188 (1998).
Beck K. Column on Test-First Approach. IEEE Software, Vol. 18, No. 5, 87-89 (2001)
Binder, R. Testing Object Oriented Systems. Models. Patterns, and Tools, Addison- Wesley, (1999)
Broy, M., Formal treatment of concurrency and time, in Software Engineer's Reference Book,J. McDermid, Editor, Oxford: Butterworth-Heinemann pp 23, (1991).
D.A. Schmidt, Denotational semantics: A Methodology for Language Development, Allyn and Bacon, Massachusetts, (1986)
E. Evans and al., Meta-Modeling Semantics of UML, In H. Kilov, B. Rumpe, and I. Simmonds, eds, Behavioral specifications for businesses and systems, Kluwer , (1999). ch. 4.
G. Myers, The art of Software Testing, , John Wiley &Sons, (1979)
Harel, D. and E. Gery, Executable object modeling with statecharts, IEEE Computer.30(7) pp. 31-42 (1997)
Henri Poincar, The value of science, Moscow Science, 1983
ISO/IEC, Basic Reference Model of Open Distributed Processing-Part1: Overview and Guide to Use, ISO/IEC CD 10746-1, 1994
ISO/IEC, RM-ODP-Part2: Descriptive Model, ISO/IEC DIS 10746-2, 1994.
ISO/IEC, RM-ODP-Part3: Prescriptive Model, ISO/IEC DIS 10746-3, 1994.
ISO/IEC, RM-ODP-Part4: Architectural Semantics, ISO/IEC DIS 10746-4, July 1994.
J. Warmer and A. Kleppe, the Object Constraint Language: Precise Modeling with UML, Addison Wesley, (1998).
Jean-Raymond Abrial: A System Development Process with Event-B and the Rodin Platform. ICFEM (2007) 1-3.
L. Briand, A UML-based Approach to System testing, LNCS Vol. 2185. Springer, 194-208 (2001).
Lamport, L. and N.A. Lynch, Distributed Computing: Models and Methods, in Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. 1990, Elsevier and MIT Press.
M. Bouhdadi et al., A UML-Based Meta-language for the QoS-aware Enterprise Specification of Open Distributed Systems IFIP Series, Vol 85, Springer, 255-264 (2002).
M. Bouhdadi, Y. Balouki, E. Chabbar. Meta-Modeling Syntax and Semantics of Structural Concepts for Open Networked Enterprises, ICCSA 2007, Kuala Lumpor, 26-29 August, LNCS 4707, Springer, 45-54 (2007)
P. Balabko, A. Wegmann, From RM-ODP to the formal behavior representation Proceedings of Tenth OOPSLA Workshop on Behavioral Semantics Back to Basics, Tampa, Florida, USA , pp. 11-23 (2001).
S. Kent, and al. A meta-model semantics for structural constraints in UML,, In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral specifications for businesses and systems, Kluwer , (1999). chapter 9
Wegmann, A. and al. Conceptual Modeling of Complex Systems Using RMODP Based Ontology . in 5th IEEE International Enterprise Distributed Object Computing Conference - EDOC ( 2001). September 4-7 USA. IEEE Computer Society pp. 200-211
Mr. Jalal Laassiri
- Morocco
Saïd El Hajji
- Morocco
Mr. Mohamed Bouhdadi
- Morocco