Home   >   CSC-OpenAccess Library   >    Manuscript Information
Full Text Available

(376.1KB)
This is an Open Access publication published under CSC-OpenAccess Policy.
Publications from CSC-OpenAccess Library are being accessed from over 74 countries worldwide.
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
MORE INFORMATION
KEYWORDS
RM-ODP, Computational Language, UML/OCL, Behavior Semantics, computational specifications, B-Method
ABSTRACT
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 
13 PDFCAST 
14 PdfSR 
1 ISO/IEC, Basic Reference Model of Open Distributed Processing-Part1: Overview and Guide to Use, ISO/IEC CD 10746-1, 1994
2 ISO/IEC, RM-ODP-Part2: Descriptive Model, ISO/IEC DIS 10746-2, 1994.
3 ISO/IEC, RM-ODP-Part3: Prescriptive Model, ISO/IEC DIS 10746-3, 1994.
4 ISO/IEC, RM-ODP-Part4: Architectural Semantics, ISO/IEC DIS 10746-4, July 1994.
5 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).
6 Abhishek Dixit and al. Applying UML and Z to Extended Basic Interoperability Data Model, International Journal of computer science and security (IJCSS), June 2007.
7 B. Rumpe, A Note on Semantics with an Emphasis on UML, Second ECOOP Workshop on Precise Behavioral Semantics, LNCS 1543, Springer, 167-188 (1998).
8 A. Evans et al., Making UML precise, Object Oriented Programming, Systems languages and Applications, (OOPSLA'98), Vancouver, Canada, ACM Press (1998)
9 A. Evans et al. The UML as a Formal Modeling Notation, UML, LNCS 1618, Springer, 349- 274 (1999)
10 J. Warmer and A. Kleppe, the Object Constraint Language: Precise Modeling with UML, Addison Wesley, (1998).
11 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
12 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.
13 D.A. Schmidt, Denotational semantics: A Methodology for Language Development, Allyn and Bacon, Massachusetts, (1986)
14 G. Myers, The art of Software Testing, , John Wiley &Sons, (1979)
15 Binder, R. Testing Object Oriented Systems. Models. Patterns, and Tools, Addison- Wesley, (1999)
16 A. Cockburn, Agile Software Development. Addison-Wesley, (2002).
17 B. Rumpe, Agile Modeling with UML, LNCS vol. 2941, Springer, 297-309 (2004).
18 Beck K. Column on Test-First Approach. IEEE Software, Vol. 18, No. 5, 87-89 (2001)
19 L. Briand, A UML-based Approach to System testing, LNCS Vol. 2185. Springer, 194-208 (2001).
20 B. Rumpe, Model-Based Testing of Object-Oriented Systems; LNCS Vol.. 2852, Springer; 380-402 (2003).
21 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).
22 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)
23 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.
24 Broy, M., Formal treatment of concurrency and time, in Software Engineer's Reference Book,J. McDermid, Editor, Oxford: Butterworth-Heinemann pp 23, (1991).
25 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
26 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).
27 Henri Poincar, The value of science, Moscow Science, 1983
28 Harel, D. and E. Gery, Executable object modeling with statecharts, IEEE Computer.30(7) pp. 31-42 (1997)
29 Jean-Raymond Abrial: A System Development Process with Event-B and the Rodin Platform. ICFEM (2007) 1-3.
30 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.
Mr. Jalal Laassiri
- Morocco
laassiri.jalal@gmail.com
Saïd El Hajji
- Morocco
Mr. Mohamed Bouhdadi
- Morocco