Conceptual Modeling of Complex Systems Using an RM-ODP Based Ontology

The development of business and information systems requires a significant amount of modeling. The current modeling languages and tools have difficulties supporting the modeling of systems spanning through multiple organizational levels. The use of inadequate modeling abstractions is one of the important causes for these difficulties. This paper proposes an ontology that defines the concepts needed for object-oriented modeling and gives a graphical example. The ontology is based on RM-ODP and relies on Constructivism and System Theory. The proposed ontology allows the definition of development methods, modeling languages and tools that are applicable to complex systems. This can lead to significant productivity improvements in the business and software development communities

Enterprise modeling using the foundation concepts of the RM-ODP ISO/ITU standard

Enterprise architecture (EA) projects require analyzing and designing across the whole enterprise and its environment. Enterprise architects, therefore, frequently develop enterprise models that span from the markets in which the organization operates down to the implementation of the IT systems that support its operations. In this paper, we present SEAM for EA: a method for defining an enterprise model in which all the systems are systematically represented with the same modeling ontology. We base our modeling ontology on the foundation modeling concepts defined in Part 2 of ISO/ITU Standard "Reference Model of Open Distributed Processing” (RM-ODP). This work has two contributions to enterprise architecture: the SEAM for EA method itself and the use of Part 2 of the RM-ODP standard as a modeling ontolog

Service-oriented design of environmental information systems

Service-orientation has an increasing impact upon the design process and the architecture of environmental information systems. This thesis specifies the SERVUS design methodology for geospatial applications based upon standards of the Open Geospatial Consortium. SERVUS guides the system architect to rephrase use case requirements as a network of semantically-annotated requested resources and to iteratively match them with offered resources that mirror the capabilities of existing services

From RM-ODP to the Formal Behavior Representation

In this work we consider the behavioral aspects of system modeling. In order to specify the behavior of a system, many different notations can be used. Quite often different terms in these notations are related with to same element in a system implementation. In order to relate these terms and guarantee the consistency between different notations some standard can be used. In this work we show how the Reference Model for Open Distributed Processing (RM-ODP) can be used for the purpose of the mapping of terms from different behavioral notations. In particular, we show the correspondence between terms in UML activity diagrams, UML state diagrams and Finite State Automata by means of relating them with RM-ODP terms. This allows us to consider RM-ODP as a possible meta-model for behavior specifications written in UML, which help to insure the consistency of UML models

Formal Foundations of General System Modeling

We present an approach to the definition of an object-oriented modeling paradigm done in the scope of general system modeling. The paradigm includes a formally defined metamodel and its supporting philosophical and natural science foundations. The metamodel exhibits its internal consistency, supported by Russell's theory of types, and its consistency in interpretation of subjects of modeling, supported by Tarski's declarative semantics. We show a concrete example of the metamodel application, realized with the aid of concepts defined by RM-ODP (an ISO/ITU standard defining conceptual framework for modeling of distributed systems). This application was formalized in a computer-interpretable form, which allows for a computer-based verification of RM-ODP models. With the theoretical foundations of our metamodel, we deduce its defined structure and declarative semantics from the fundamentals of philosophy and natural science