Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm

Computer Standards and Interfaces

Volumn 29, Issue 1, 2007, Pages 39-53

  Naumenko, Andrey ^a   Wegmann, Alain ^b  

^a Triune Continuum Enterprise   (Switzerland)

^b EPFL   (Switzerland)

Author keywords

Object oriented frameworks; RM ODP; Semantics; Triune Continuum Paradigm

Indexed keywords

COMPUTER SIMULATION; PROBLEM SOLVING; SEMANTICS;

INTERNATIONAL STANDARDS; OBJECT ORIENTED MODELING; TRIUNE CONTINUUM;

STANDARDS;

EID: 33751159164     PISSN: 09205489     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.csi.2005.10.001     Document Type: Article

References (45)

1. Balabko P., and Wegmann A. From RM-ODP to the formal behavior representation. In: Kilov H., and Baclawski K. (Eds). Practical Foundations of Business and System Specifications (September 2003), Kluwer Academic Publishers 41-66
2. Bernardeschi C., Dustzadeh J., Fantechi A., Najm E., Nimour A., and Olsen F. Transformations and Consistent Semantics for ODP Viewpoints. In: Bowman H., and Derrick J. (Eds). Proceedings of Second IFIP conference on Formal Methods for Open Object-based Distributed Systems-FMOODS'97 (July 1997), Chapman and Hall
3. Blair G.S., and Stefani J.-B. Open Distributed Processing and Multimedia (1998), Addison Wesley Longman Ltd.
4. Boiten E.A., Bowman H., Derrick J., Linington P.F., and Steen M.W.A. Viewpoint consistency in ODP. Computer Networks 34 3 (August 2000) 503-537
5. Bowman H., Boiten E.A., Derrick J., and Steen M.W.A. Viewpoint consistency in ODP, a general interpretation. In: Najm E., and Stefani J.-B. (Eds). Proceedings of the First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems (March 1996), Chapman and Hall 189-204
6. Bowman H., Derrick J., Linington P., and Steen M. Cross-viewpoint consistency in open distributed processing. IEE Software Engineering Journal 11 1 (January 1996)
7. Bowman H., Derrick J., Linington P., and Steen M. FDTs for ODP. Computer Standards and Interfaces 17 (September 1995) 457-479
8. Brien S.M., and Nicholls J.E. Z Base Standard version 1.0, Technical Monograph PRG-107 (November 1992), Programming Research Group, Oxford University
9. Durán F., and Vallecillo A. Writing ODP Enterprise Specifications in Maude. In: Cordeiro J., and Kilov H. (Eds). Proceedings of ICEIS 2001, Workshop On Open Distributed Processing-WOODPECKER`2001 (July 2001), Setúbal, Portugal
10. Ehrig H., and Mahr B. Fundamentals of algebraic specification. EATCS Monographs on Theoretical Computer Science vol. 6 (1985), Springer-Verlag
11. Frege G. The Russell Paradox. In: Frege G. (Ed). The Basic Laws of Arithmetic (1964), University of California Press, Berkeley 127-143
12. Finkelstein A., Gabbay D., Hunter A., Kramer J., and Nuseibeh B. Inconsistency handling in multiperspective specifications. IEEE Transactions on Software Engineering 20 8 (August 1994) 569-578
13. ISO 9074. Estelle, a Formal Description Technique Based on an Extended State Transition Model (1997)
14. ISO/IEC 880. LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behavior (1989)
15. ISO, ITU-T, {left double angle bracket}ISO/IEC 10746-1, 2, 3, 4 | ITU-T Recommendation X.901, X.902, X.903, X.904. "Open Distributed Processing-Reference Model"{right double angle bracket}, 1995-98.http://isotc.iso.ch/livelink/livelink/fetch/2000/2489/Ittf_Home/ PubliclyAvailableStandards.htm.
16. ISO, ITU-T, {left double angle bracket}ISO/IEC 19793 | ITU-T Recommendation X.906. "UML for ODP"{right double angle bracket}, draft 2003-2005.
17. ITU-T. Recommendation Z.100, "CCITT Specification and Description Language (SDL)" (1993)
18. Jackson D. A Comparison of Object Modelling Notations: Alloy, UML and Z. MIT Lab for Computer Science (August 1999)
19. Jackson D. Alloy: A Lightweight Object Modelling Notation. ACM Transactions on Software Engineering and Methodology 11 2 (2002) 256-290
20. Johnson D., and Kilov H. An Approach to an RM-ODP Toolkit in Zeta. Proceedings of the 1st Workshop on Component-Based Systems, in conjunction with European Software Engineering Conference (ESEC) and ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Zurich, Switzerland (1997)
21. Johnson D.R., and Kilov H. Can a flat notation be used to specify an OO system: using Z to describe RM-ODP constructs. In: Najm E., and Stephani J.-B. (Eds). Proceedings of FMOODS96: IFIP WG 6.1 Conference on Formal Methods in Object-oriented Distributed Systems (March 1996), Chapman and Hall, Paris 407-418
22. Kilov H. Business Models (2002), Prentice Hall
23. Lê L.S., and Wegmann A. Definition of an Object-Oriented Modeling Language for Enterprise Architecture. Proceedings of HICSS-38, Hawaii USA (January 2005)
24. Linington P.F., Derrick J., and Bowman H. The specification and conformance of ODP systems. Proceedings of 9th International Workshop on Testing of Communicating Systems, IFIP TC6/WG6.1 (September 1996), Chapman and Hall, Darmstadt 93-114
25. Logrippo L., Faci M., and Haj-Hussein M. An introduction to lotos: learning by examples. Computer Networks and ISDN Systems 23 (1992) 325-342
26. Najm E., and Stefani J.-B. A formal semantics for the ODP computational model. Computer Networks and ISDN Systems 27 (1995) 1305-1329
27. Najm E., and Stefani J.-B. Computational models for open distributed systems. In: Bowman H., and Derrick J. (Eds). Proc. of FMOODS'97 (1997), Chapman and Hall, Canterbury
28. Naumenko A. A report on the Triune Continuum Paradigm and on its foundational theory of Triune Continuum. In: Castro J., and Teniente E. (Eds). PHISE'05, the 1st International Workshop on Philosophical Foundations of Information Systems Engineering. Proceedings of the CAiSE'05 Workshops vol. 2 (June 2005), FEUP edições, Porto, Portugal 439-450
29. Naumenko A. Basics of the Triune Continuum Paradigm. In: Khosrow-Pour M. (Ed). Encyclopedia of Information Science and Technology (January 2005), Idea Group Inc.
30. A. Naumenko. Triune Continuum Paradigm: a paradigm for General System Modeling and its applications for UML and RM-ODP, PhD Thesis number 2581, Swiss Federal Institute of Technology-Lausanne (EPFL), June 2002.
31. Naumenko A., and Wegmann A. A Metamodel for the Unified Modeling Language. In: Jézéquel J.-M., Hussmann H., and Cook S. (Eds). Proceedings of UML 2002, the 5th International Conference on the Unified Modeling Language, "UML" 2002-The Unified Modeling Language: Model Engineering, Concepts, and Tools, LNCS 2460 (September 2002), Springer-Verlag, Dresden 2-17
32. Naumenko A., Wegmann A., and Atkinson C. The Role of Tarski's Declarative Semantics in the Design of Modeling Languages. Technical report vol. IC/2003/43 (April 2003), Swiss Federal Institute of Technology, Lausanne EPFL
33. Naumenko A., Wegmann A., Genilloud G., and Frank F. Proposal for a formal foundation of RM-ODP concepts. In: Cordeiro J., and Kilov H. (Eds). Proceedings of ICEIS 2001, Workshop On Open Distributed Processing-WOODPECKER'2001, Setúbal, Portugal (July 2001)
34. OMG. Profile for Relationships, Version 1.0 (February 2004). http://www.omg.org/cgi-bin/doc?formal/2004-02-07
35. OMG. Unified Modeling Language Specification, Version 1.5 (March 2003). http://www.omg.org/uml
36. Putman J.R. Architecting with RM-ODP (2001), Prentice Hall
37. Russell B. Mathematical logic as based on the theory of types. American Journal of Mathematics 30 (1908) 222-262
38. Sinnott R.O., and Turner K.J. Applying Formal Methods to Standard Development: The Open Distributed Processing Experience. Computer Standards and Interfaces 17 (1995) 615-630
39. Sinnott R.O., and Turner K.J. Specifying ODP Computational Objects in Z. Proceedings of 1st International Workshop on Formal Methods for Open Object-Based Distributed Systems, Paris, France, March (1996) 375-390
40. Spivey J.M. The Z Notation, A Reference Manual. International Series in Computer Science. 2nd edition (1992), Prentice-Hall International
41. Steen M.W., and Derrick J. ODP Enterprise Viewpoint Specification. Computer Standards and Interfaces 22 3 (August 2000) 165-189
42. Tarski A. Logic, Semantics, Meta-mathematics (1956), Oxford University Press
43. Wegmann A. On the Systemic Enterprise Architecture Methodology (SEAM). Proceedings of ICEIS 2003 (April 2003), Anger, France
44. Wegmann A., and Naumenko A. Conceptual Modeling of Complex Systems Using an RM-ODP Based Ontology. Proceedings of the 5th IEEE International Enterprise Distributed Object Computing Conference-EDOC 2001, Seattle, USA (September 2001)
45. Yaglom I.M. Mathematical structures and mathematical modeling (1986), Gordon and Breach Science Publishers