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)
(2) ADELIOR / Itrec gestion 62bis, Avenue André Morizet 92100Boulogne-BillancourtFrance firstname.lastname@example.org 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… (More)