Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. From RM-ODP to the Formal Behavior Representation
 
conference paper

From RM-ODP to the Formal Behavior Representation

Balabko, Pavel  
•
Wegmann, Alain  
2001
Tenth OOPSLA Workshop on Behavioral Semantics ¨Back to Basics¨
Tenth OOPSLA Workshop on Behavioral Semantics ¨Back to Basics¨

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.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

BalabkoW01.pdf

Access type

openaccess

Size

514.37 KB

Format

Adobe PDF

Checksum (MD5)

29099eb729a1253d9747a358d33f9ac1

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés