From RM-ODP to the formal behavior representation

P Balabko, A Wegmann - Practical Foundations of Business System …, 2003 - Springer
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 …

[PDF][PDF] " RM-ODP part 2: Foundations" in Alloy

A Naumenko, A Wegmann - 2001 - infoscience.epfl.ch
Lecture Notes in Computer Science: Page 1 EPFL-DSC/2001/041 “RM-ODP part 2:
Foundations” in Alloy Andrey Naumenko, Alain Wegmann Institute for computer …

Situation-based modeling framework for enterprise architecture

P Balabko - 2005 - infoscience.epfl.ch
This thesis presents the Situation-Based Modeling Framework for Enterprise Architecture.
This framework improves system modeling by making models more systemic and, therefore …

[PDF][PDF] MDA and RM-ODP: two approaches in modern ontological engineering

A Naumenko, A Wegmann - 2001 - infoscience.epfl.ch
Constantly growing number of new system architectures and meta-data standards increases
the difficulty of interoperability problems. Fortunately, the fundamental principles that are …

[PDF][PDF] A Denotational Semantics of Concepts in ODP Information Language

J Laassiri, Y Balouki, H Belhaj, S El Hajji… - Proceedings of the …, 2009 - iaeng.org
Distributed systems can be very large and complex and the many different considerations
which influence their design can result in a substantial body of specification, which needs a …

Specifying Data Bases Management Systems by Using RM-ODP Engineering Language

J Laassiri, S Elhajji, M Bouhdadi, G Orhanou… - arXiv preprint arXiv …, 2011 - arxiv.org
Distributed systems can be very large and complex. The various considerations that
influence their design can result in a substantial specification, which requires a structured …

[PDF][PDF] Formal Specification and Verification of Concepts in Information Language in ODP Systems

J Laassiri, S El Hajji, M Bouhdadi - Journal of E-Technology Volume, 2010 - academia.edu
Distributed systems can be very large and complex and the many different considerations
which influence their design can result in a substantial body of specification, which needs a …

[PDF][PDF] A Formal Semantics of Concepts in Information Language in ODP Systems

J Laassiri, S El Hajji, M Bouhdadi - Journal of E-Technology, 2010 - academia.edu
Distributed systems can be very large and complex and the many different considerations
which influence their design can result in a substantial body of specification, which needs a …

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)

J Laassiri - 2010 - toubkal.imist.ma
La conception et le design des systèmes distribués ont besoin d'un Framework structuré afin
qu'ils puissent être gérés et contrôlés avec succès. L'objectif du Modèle de référence du …

Spécification et transformation de langages de points de vue des systèmes répartis ouverts

Y Balouki - 2010 - toubkal.imist.ma
Dans un système réparti ouvert, les applications sont capables d'interagir même lorsqu'elles
ont été développées dans des environnements différents. Cette capacité ne peut être …