- Full text PDF available (3)
- This year (0)
- Last 5 years (0)
- Last 10 years (3)
Journals and Conferences
This paper aims to present and formalize the foundations of a modeling and checking framework for system requirements management. It is illustrated by the study of interoperability requirements having to be respected all along collaborative (private or public) processes.
Interoperability problems which can occur during the collaboration between several enterprises can endanger this collaboration. Consequently, it is necessary to become able to anticipate these problems. The proposed approach in this paper is based on the specification of properties, representing interoperability requirements, and their analysis on… (More)
Nowadays, one of the important subjects of research in the enterprise modelling domain is the development of a unified language, often called UEML (Unified Enterprise Modelling Language). This paper is focused on one of the more illustrating points about UEML: the comparison of the constructs of the enterprise modelleling language. In previous work we have… (More)