Formal Fact-Oriented model transformations for Cooperative Information Systems semantic conceptualisation

Mario Lezoche (1) , Alexis Aubry (1) , Hervé Panetto (1)

1 CRAN - Centre de Recherche en Automatique de Nancy

Information in enterprise is, now more than ever, a fundamental resource. In order to increase enterprise performance, economics paradigms focus on how to better manage it. Information Systems (IS) are systems whose activities are devoted to capture and to store data, to process them and produce knowledge, used by any stakeholders within an enterprise or among different networked enterprises. The modern architecture of information systems is based on distributed networks. An important challenge, to reach higher performance, is to represent and share knowledge managed by those ISs. One of the main issues in making such heterogeneous Cooperative Information Systems (CIS) working together is to remove semantics interoperability barriers. This paper firstly analyses interoperability issues between CISs and then proposes a systematic approach for data models conceptualisation for knowledge explicitation, based on initial conceptual model cleaning rules, expert knowledge injection rules and finally fact-oriented transformation rules. A case study is proposed, related to a work order process in an Enterprise Resource Planning application, Sage X3.

Mots clés: Conceptual modelling; cooperative information systems; formal verification; data model conceptualisation

Domaines: Ingénierie assistée par ordinateur

Mario Lezoche, Alexis Aubry, Hervé Panetto. Formal Fact-Oriented model transformations for Cooperative Information Systems semantic conceptualisation. Enterprise Information Systems. Lecture Notes in Business Information Processing, 2012, LNBIP 102, pp.117-131. ⟨10.1007/978-3-642-29958-2_8⟩. ⟨hal-00660047⟩