|
| Verifying ODP Computational Behavioral Specification by using B-Method
|
|
Full
text: |
 PDF(376.1KB) |
|
|
Source |
International Journal of Computer Science and Security (IJCSS) |
|
Table of Contents |
|
|
Download
Complete Issue PDF(3.86MB) |
|
Volume: 4 Issue: 1 |
| |
Pages: 1-148 |
|
Publication
Date: March 2010 |
|
ISSN
(Online): 1985-1553 |
|
|
|
|
|
Pages |
31 - 39 |
|
Author(s) |
|
|
|
Published
Date |
26-03-2010 |
|
Publisher |
CSC
Journals, Kuala Lumpur,
Malaysia |
|
ADDITIONAL
INFORMATION |
| Keywords Abstract References Cited by Related Articles Collaborative
Colleague |
| |
|
| |
KEYWORDS: RM-ODP, Computational Language, UML/OCL, Behavior Semantics, computational specifications, B-Method |
|
|
| |
|
|
| This Manuscript is indexed in the following databases/websites:- |
|
| 1. Directory of Open Access Journals (DOAJ) |
| 2. ScientificCommons |
| 3. Docstoc |
| 4. PDFCAST |
| 5. Scribd |
| 6. WorldCat |
| 7. Google Scholar |
| 8. CiteSeerX |
| 9. Bielefeld Academic Search Engine (BASE) |
| 10. ResearchGATE |
| 11. Socol@r |
| 12. iSEEK |
| 13. Academic Journals Database |
| 14. Libsearch |
| 15. slideshare |
| |
|
| |
|
|
| 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. |
| |
|
| |
|
| |
| 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.
|
|
|
| |
|
| |
|
| |
| 1 |
J. Laassiri, “Spécification et Vérification des Systèmes Informatiques Distribuées Conformément au Modèle de Référence du Traitement Réparti Ouvert (RM-ODP)”, Thèse De Doctorat, Université Mohammed V – Agdal Faculté Des Sciences Rabat, 24 juin 2010.
|
|
|
| |
|
| |
|
| |
| 1 |
jalal.laassiri
|
| 2 |
Scientific & Academic Publishing Co.
|
| 3 |
yasni
|
| |
|
| |
|
| |
|
| Jalal Laassiri : Colleagues
|
|
| Saïd El Hajji : Colleagues
|
|
| Mohamed Bouhdadi : Colleagues
|
|
