Formal Fact-Oriented Model Transformations for Cooperative Information Systems Semantic Conceptualisation

被引:0
作者
Lezoche, Mario [1 ]
Aubry, Alexis [1 ]
Panetto, Herve [1 ]
机构
[1] Nancy Univ, Res Ctr Automat Control CRAN, CNRS, Fac Sci & Technol, F-54506 Vandoeuvre Les Nancy, France
来源
ENTERPRISE INFORMATION SYSTEMS, ICEIS 2011 | 2012年 / 102卷
关键词
Conceptual modelling; Cooperative information systems; Formal verification; Data model conceptualisation;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:117 / 131
页数:15
相关论文
共 41 条
[1]  
[Anonymous], UML 2 0 SUP SPEC
[2]  
[Anonymous], 1990, IEEE Softw. Eng. Stand. Collect. IEEE, P610
[3]  
[Anonymous], 2003, Model Driven Architecture: Applying MDA to Enterprise Computing
[4]  
ASPRAY W, 1985, ANN HIST COMPUT, V7, P117
[5]  
Badia A, 2002, WISE 2002: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS ENGINEERING (WORKSHOPS), P170
[6]  
Barker R., 1990, CASE METHOD ENTITY R
[7]   Reasoning on UML class diagrams [J].
Berardi, D ;
Calvanese, D ;
De Giacomo, G .
ARTIFICIAL INTELLIGENCE, 2005, 168 (1-2) :70-118
[8]  
Bezivin J., 2005, P MET S ESBJ DENM NO
[9]  
Bidgoli H., 2004, INTERNET ENCYLOPEDIA, V1, P707
[10]  
Carney D., 2005, SOME CURRENT APPROAC