Andrey Naumenko, Alain Wegmann  Home/Search
Context Related
| lcawww.epfl.ch/Publicati...TR01_040.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lcawww.epfl.ch/...pe=All&Keyword= (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents an approach for formalizing the Reference Model for Open Distributed Processing (RM-ODP), an ISO and ITU standard for the modeling of distributed system. The goals of this formalization are to clarify the RM-ODP modeling framework thus making it more accessible to modelers such as system architects, designers and implementers and to open the way for the formal verification of RM-ODP models (either within an ODP viewpoint or across multiple ODP viewpoints). RM-ODP... (Update)
Context of citations to this paper: More
...which explains the clear difference in their corresponding applications within a model. Additional details on this categorization can be found in [4]. Here let us present a UML diagram explaining the structure of the introduced categorization (see Figure 1) Basic Modeling...
Cited by: More
EPFL-IC/2002/011 A metamodel for the Unified Modeling.. - Analysis And Solution (Correct)
A Metamodel for the Unified Modeling Language - Naumenko, Wegmann (2002) (Correct)
Similar documents (at the sentence level):
48.9%: Triune Continuum Paradigm: a paradigm for General System.. - Naumenko (2002) (Correct)
6.2%: Proposal for a formal foundation of RM-ODP concepts - Naumenko, Wegmann.. (2001) (Correct)
Active bibliography (related documents): More All
0.8: Writing ODP Enterprise Specifications in Maude - Duran, Vallecillo (2001) (Correct)
0.8: Specifying the ODP Information Viewpoint using Maude - Duran, Vallecillo (2001) (Correct)
0.5: Writing ODP Enterprise Specifications in Maude A Case Study - Duran, Vallecillo (2001) (Correct)
Similar documents based on text: More All
0.6: Two Approaches in System Modeling and Their Illustrations.. - Naumenko, Wegmann (2003) (Correct)
0.5: Role is an <X>: a Foundation for the Concept of Role - Genilloud, Wegmann (2000) (Correct)
0.4: From RM-ODP to the formal behavior representation - Balabko, Wegmann (2001) (Correct)
Related documents from co-citation: More All
2: Open Distributed Processing -- Reference Model (context) - IEC - 1995
2: RM-ODP part 2: Foundations in Alloy (context) - Naumenko, Wegmann - 2001
2: Logic, semantics, metamathematics (context) - Tarski
BibTeX entry: (Update)
Naumenko, A., Wegmann, A.: "A Formal Foundation of the RM-ODP Conceptual Framework " EPFL-DSC technical report No. DSC/2001/040, EPFL, Switzerland, July 2001. http://citeseer.ist.psu.edu/naumenko01formal.html More
@misc{ naumenko01formal,
author = "A. Naumenko and A. Wegmann",
title = "A Formal Foundation of the RM-ODP Conceptual Framework",
text = "Naumenko, A., Wegmann, A.: A Formal Foundation of the RM-ODP Conceptual
Framework EPFL-DSC technical report No. DSC/2001/040, EPFL, Switzerland,
July 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/naumenko01formal.html" }
Citations (may not include all citations):161 Fundamentals of algebraic specification (context) - Ehrig, Mahr - 1985
136 Inconsistency Handling in Multiperspective Specifications - Finkelstein, Gabbay et al. - 1994
123 LOTOS -- A Formal Description Technique Based on the Tempora.. (context) - IEC - 1989
57 Open Distributed Processing and Multimedia (context) - Blair, Stefani - 1998
39 Mathematical logic as based on the theory of types (context) - Russell - 1908
39 Open Distributed Processing - Reference Model (context) - ITU, IEC et al.
31 An Introduction to LOTOS: Learning by Examples (context) - Logrippo, Faci et al. - 1992
29 CCITT Specification and Description Language (SDL (context) - Recommendation - 1993
26 The Z Notation, A Reference Manual (context) - Spivey - 1992
20 Viewpoint consistency in ODP (context) - Boiten, Bowman et al. - 2000
19 Computational models for open distributed systems (context) - Najm, Stefani - 1997
14 Knowledge Representation: Logical, Philosophical, and Comput.. (context) - Sowa - 2000
11 Cross-viewpoint consistency in Open Distributed Processing - Bowman, Derrick et al. - 1996
11 Computer Standards and Interfaces (context) - Bowman, Derrick et al. - 1995
9 A Formal Semantics for the ODP Computational Model (context) - Najm, Stefani - 1995
8 Proposal for a formal foundation of RM-ODP concepts - Naumenko, Wegmann et al. - 2001
7 The Cambridge Dictionary of Philosophy (context) - Audi, editor - 1999
7 ODP Enterprise Viewpoint Specification (context) - Steen, Derrick - 2000
6 Specifying ODP Computational Objects in Z - Sinnott, Turner - 1996
5 Applying Formal Methods to Standard Development: The Open Di.. - Sinnott, Turner - 1995
5 Transformations and Consistent Semantics for ODP Viewpoints (context) - Bernardeschi, Dustzadeh et al.
5 Logic, Logic and Logic (context) - Boolos - 1999
4 Conceptual Modeling of Complex Systems Using an RM-ODP Based.. - Wegmann, Naumenko - 2001
4 Can a flat notation be used to specify an OO system: using Z.. (context) - Johnson, Kilov - 1996
4 Architecting with RM-ODP (context) - Putman - 2001
3 Writing ODP Enterprise Specifications in Maude - Durn, Vallecillo - 2001
3 The specification and conformance of ODP systems (context) - Linington, Derrick et al. - 1996
3 RM-ODP part 2: Foundations in Alloy (context) - Naumenko, Wegmann - 2001
2 Viewpoint consistency in ODP, a general interpretation - Bowman, Boiten et al. - 1996
2 An Approach to an RM-ODP Toolkit in Z (context) - Johnson, Kilov - 1997
1 Systems Thinking, Systems Practice: Includes a 30-Year Retro.. (context) - Checkland - 1999
1 From RM-ODP to the formal behavior representation - Balabko - 2001
1 Z Base Standard version 1.0 (context) - Brien, Nicholls - 1992
http://sdg.lcs.mit.edu/alloy/docs/alloy-guide.html
Documents on the same site (http://lcawww.epfl.ch/ICApublic/asp/publication_list.asp?Author=All&Type=All&Keyword=): More
Toward Self-Organized Mobile Ad Hoc Networks: The Terminodes.. - Hubaux, al. (2001) (Correct)
MDA and RM-ODP: two approaches in modern ontological engineering - Naumenko, Wegmann (Correct)
Reduce Connection Awareness - Gauthier, Giordano, Le Boudec (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC