Formal fact-oriented model transformations for cooperative information systems semantic conceptualisation

Lecture Notes in Business Information Processing

Volumn 102 LNBIP, Issue , 2012, Pages 117-131

  Lezoche, Mario ^a   Aubry, Alexis ^a   Panetto, Hervé ^a  

^a CENTRE DE RECHERCHE EN AUTOMATIQUE DE NANCY   (France)

Author keywords

Conceptual modelling; Cooperative information systems; Data model conceptualisation; Formal verification

Indexed keywords

ENTERPRISE RESOURCE PLANNING; INDUSTRY; INTEROPERABILITY; MODELS; SEMANTICS;

CO-OPERATIVE INFORMATION SYSTEM; CONCEPTUAL MODEL; CONCEPTUAL MODELLING; COOPERATIVE INFORMATION SYSTEMS; DISTRIBUTED NETWORKS; ENTERPRISE IS; ENTERPRISE PERFORMANCE; ENTERPRISE RESOURCES; EXPERT KNOWLEDGE; FORMAL VERIFICATIONS; MODEL TRANSFORMATION; MODERN ARCHITECTURES; SHARE KNOWLEDGE; TRANSFORMATION RULES; WORK ORDER;

INFORMATION SYSTEMS;

EID: 84861683797     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-29958-2_8     Document Type: Conference Paper

References (41)

1. Aspray, W.F.: The Scientific Conceptualization of Information: A Survey. Annals of the History of Computing 7, 117-140 (1985)
2. Badia, A.: Conceptual Modeling for Semistructured Data. In: Proceedings of the 3rd International Conference on Web Information Systems Engineering Workshops (WISE 2002 Workshops), Singapore, pp. 170-177 (2002)
3. Barker, R.: CASE* Method: Entity Relationship Modelling. Addison-Wesley, Wokingham (1990)
4. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence 168(1-2), 70-118 (2005)
5. Bézivin, J., Kurtev, I.: Model-based Technology Integration with the Technical Space Concept. In: Proceedings of the Metainformatics Symposium, Esbjerg, Denmark, November 8-11. Springer (2005)
6. Bidgol, H.: The Internet Encyclopedia, vol. 1, p. 707. John Wiley & Sons, Inc. (2004)
7. Carney, D., Fisher, D., Morris, E., Place P.: Some current Approaches to Interoperability. Technical note CMU/SEI-2005-TN-033 (2005)
8. Chen, D., Dassisti, M., Elvesaeter, B., Panetto, H., et al.: DI.2: Enterprise Interoperability Framework and knowledge corpus, Interoperability Research for Networked Enterprises Applications and Software Network of Excellence, IST 508-011 (2006)
9. Chiang Roger, H.L., Barron, T.M., Storey Veda, C.: Reverse engineering of relational databases: Extraction of an EER model from a relational database. Data & Knowledge Engineering 12(2), 107-142 (1994)
10. Czejdo, B., Elmasri, R., Rusinkiewicz, M., Embley, D.W.: A graphical data manipulation language for an extended entity-relationship model. IEEE Computer, 26-37 (March 1990)
11. Engelbart, D.C.: Augmenting human intellect: a conceptual framework. Stanford Research Institute, Menlo Park (1962)
12. Euzenat, J.: Towards a principled approach to semantic interoperability. In: CEUR Proceedings of the IJCAI 2001 Workshop on Ontologies and Information Sharing, Seattle, USA, August 4-5, vol. 47, pp. 19-25 (2001) ISSN 1613-0073
13. Fonkam, M.M., Gray, W.A.: An Approach to Eliciting the Semantics of Relational Databases. In: Loucopoulos, P. (ed.) CAiSE 1992. LNCS, vol. 593, pp. 463-480. Springer, Heidelberg (1992) ISBN 3-540-55481-5
14. Frankel, D.S.: Model Driven Architecture: Applying MDA to Enterprise Computing. John Wiley & Sons (2003)
15. Guarino, N.: Formal Ontology in Information Systems (Ed.). IOS Press (1998)
16. Halpin, T.A.: A Fact-Oriented Approach to Schema Transformation. In: Thalheim, B., Gerhardt, H.-D., Demetrovics, J. (eds.) MFDBS 1991. LNCS, vol. 495. Springer, Heidelberg (1991)
17. Halpin, T.: In: Bernus, P., Mertins, K., Schmidt, G. (eds.) Handbook on Architectures of Information Systems, ch. 4. Springer, Berlin (1998)
18. Henrard, L., Hainaut, J.-L.: Data Dependency Elicitation in Database Reverse Engineering Software Maintenance and Reengineering. In: Fifth European Conference on Software Maintenance and Reengineering, p. 11 (2001)
19. Hohenstein, U., Engels, G.: Formal semantics of an entity-relationship- based query language. In: Kangassalo, H. (ed.) Proc. 9th ER Conf. on Entity-Relationship Approach: The Core of Conceptual Modelling. Elsevier Science Pub., Amsterdam (1991)
20. IEEE: Standard Computer Dictionary. A Compilation of IEEE Standard Computer Glossaries, NY. 610-1990 (1990). ISBN: 1559370793
21. International Organization for Standardization. ISO 14528: Industrial Automation Systems - Concepts and rules for Enterprise Models, TC 184/SC5/WG1, Geneva, Switzerland (1999)
22. International Organization for Standardization. ISO 16100: Manufacturing Software Capability Profiling for interoperability. In Part 1: Framework, TC 184/SC5/WG4, Geneva, Switzerland (2002)
23. LaOngsri, S.: Semantic Extensions and a Novel Approach to Conceptual Modelling, Ph.D. Thesis, School of Computer Science, Engineering and Mathematics, The Flinders University of South Australia (2009)
24. Lezoche, M., Panetto, H., Aubry, A.: Conceptualisation approach for Cooperative Information Systems interoperability. In: 13th International Conference on Enterprise Information Systems ICEIS, Beijing, P.R. China, pp. 101-110 (2011), doi:10.5220/0003508401010110
25. Mani, M.: EReX: A Conceptual Model for XML. In: Bellahsène, Z., Milo, T., Rys, M., Suciu, D., Unland, R. (eds.) XSym 2004. LNCS, vol. 3186, pp. 128-142. Springer, Heidelberg (2004)
26. Manola, F., Miller, E.: RDF Primer. World Wide Web Consortium, Recommendation REC-rdf-primer-20040210 (2004)
27. De Bo, J., Spyns, P., Meersman, R.: Creating a "DOGMAtic" Multilingual Ontology Infrastructure to Support a Semantic Portal. In: Meersman, R. (ed.) OTM-WS 2003. LNCS, vol. 2889, pp. 253-266. Springer, Heidelberg (2003)
28. Nijssen, G.M., Halpin, T.A.: Conceptual Schema and Relational Database Design. Prentice Hall, Sydney (1989)
29. Obrst, L.: Ontologies for semantically interoperable systems. In: Proceedings of the 12th International Conference on Information and Knowledge Management, New Orleans, USA (2003)
30. OMG. Object Management Group. Architecture-Driven Modernization specification (2003), http://adm.omg.org
31. OMG. Object Management Group. UML 2.0 Superstructure Specification (2004), http://uml.omg.org
32. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object Oriented Modeling and Design. Prentice Hall, New York (1991)
33. Russel, S., Norvig, P.: Artificial Intelligence. A Modern Approach. Prentice-Hall, Inc. (1995)
34. Seeley, R.S.: Manufacturing execution systems in Med. Device Diagn. Ind. 19(11), 64-68 (1997)
35. Sheth, A.: Changing Focus on Interoperability in Information Systems: From System, Syntax, Structure to Semantics. In: Goodchild, M., Egenhofer, M., Fegeas, R., Kottman, C. (eds.) Interoperating Geographic Information Systems, pp. 5-30. Kluwer (1998)
36. Smith, M.K., Welty, C., McGuinness, D.L.: OWL Web Ontology Language Guide. World Wide Web Consortium, Recommendation REC-owl-guide-20040210 (2004)
37. Tolk, A., Diallo, S.Y., Turnitsa, C.D.: Applying the Levels of Conceptual Interoperability Modelling Support of Integrability, Interoperability, and Composability for System-of-Systems Engineering. Journal of Systemics, Cybernetics and Informatics 5(5), 65-74 (2007)
38. Tursi, A., Panetto, H., Morel, G., Dassisti, M.: Ontological approach for Products-Centric Information System Interoperability in Networked Manufacturing Enterprises. IFAC Annual Reviews in Control 33(2), 238-245 (2009) ISSN: 1367-5788
39. Vyvyan, E.: Lexical Concepts, Cognitive Models and Meaning-Construction. Cognitive Linguistics 17(4), 491-534 (2006)
40. Yahia, E., Lezoche, M., Aubry, A., Panetto, H.: Semantics enactment in Enterprise Information Systems. In: 18th IFAC World Congress, Milan, Italy. IFAC PapersOnline (2011)
41. Yahia E.: Contribution à l'Evaluation de l'Interopé rabilité Sémantique entre Systèmes d'Information d'Entreprises: Application aux Systèmes d'Information de Pilotage de la Production. PhD Thesis, Université Henri Poincaré, Nancy I (2011) (in French)