From RM-ODP to the formal behavior representation

@inproceedings{Balabko2001FromRT,
  title={From RM-ODP to the formal behavior representation},
  author={Pavel Balabko and Alain Wegmann},
  year={2001}
}
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… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 10 references

A Viewpoint on Formal Foundation of RM-ODP Conceptual Framework

  • A Naumenko
  • Technical report No. DSC/2001/040,
  • 2001
Highly Influential
5 Excerpts

Formal treatment of concurrency and time, in Software Engineer's

  • M. Broy
  • Reference Book, J. McDermid, Editor
  • 1991
Highly Influential
5 Excerpts

Using UML Software Engineering with Objects and Components (Updated Edition)

  • P. Stevens, R. Pooley
  • Object Technology Series
  • 2000

An Informal Introduction to Formal Methods

  • C. M. Holloway, P. S. Miner, R. W. Butler
  • NASA Langley Research Center
  • 1995

Similar Papers

Loading similar papers…