Enterprise modelling and verification approach for characterizing and checking organizational interoperability

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2007, Pages 839-846

  Vallespir, Bruno ^a   Chapurlat, Vincent ^b  

^a UNIVERSITÉ DE BORDEAUX   (France)

^b ECOLE DES MINES D ALÈS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AND VERIFICATIONS; COLLABORATION PROJECTS; ENTERPRISE MODELS; SET OF RULES;

INTEROPERABILITY; SEMICONDUCTOR QUANTUM DOTS; SYSTEMS ANALYSIS;

FACTORY AUTOMATION;

EID: 47849091266     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EFTA.2007.4416867     Document Type: Conference Paper

References (16)

1. ATHENA. - Annex I - Description of work. -ATHENA European Integrated Project (IST - #507849), sixth framework programme, (2003).
2. IEEE. - IEEE standard computer dictionary: a compilation of IEEE standard computer glossaries. -(1990).
3. Blanc, S. - Contribution à la caractérisation et à l'évaluation de l'interopérabilité pour les entreprises collaboratives. - PhD dissertation, University Bordeaux 1, 20 December (2006) [in french].
4. Blanc, S., Ducq, Y., Vallespir, B. - A graph based approach for interoperability evaluation. - in, proceedings of I-ESA'07, Funchal, Madeira, Portugal, 27-30 March 2007, Enterprise Interoperability II, Springer, London (2007).
5. Vernadat F. - Enterprise Modeling and Integration: Principles and Applications, Chapman & Hall, London, (1996).
6. th conférence francophone de Modélisation et Simulation, Organisation et conduite d'activités dans l'industrie et les services, MOSIM, Toulouse, France, 23-25 avril (2003) [in french].
7. Petit M. - Enterprise Modelling - State of the Art. - UEML Thematic Network IST - 2001 - 34229, University of Namur, Belgium (2002).
8. Braesch C., Haurat, A., Beving, J.M. -L'entreprise-système. - in La modélisation systémique en entreprise, Hermès, Paris (1995) [in french].
9. Vallespir, B., Chen, D., Ducq, Y. - Enterpise Modelling for Interoperability. - in proceedings of 16th IFAC World Congress, Prague, Czech Republic, 3-8 July (2005).
10. Chapurlat, V., Larnac, M., Lamine, E., Magnier, J. - Definition, of a formal analysis framework for existing enterprise modelling approaches. - in proceedings of the Annual conference of ICIMS-NOE, Life cycle approaches to production systems: management, control, supervision, ASI, Louvain, Belgium, 22-24 September (1999).
11. Berio, G. - Deliverable 3.1 Requirement analysis: initial core constructs and architecture. - UEML Thematic Network IST - 2001 - 34229, University of Torino, Italy (2003).
12. Gondran, M., Minoux, M. - Graphes et algorithmes. - Collection de la Direction des Etudes et Recherches d'électricité de France, Eyrolles, Paris (1995) [in french].
13. V.Chapurlat, B.Kamsu Foguem, F.Prunet, Enterprise model verification and validation: an approach, Annual Review in Control, IFAC Journal, Pergamon Press, 185-197, (2004).
14. J. Bézivin, O. Gerbé, Towards a Precise Definition of the OMG/MDA Framework, ASE'01, November (2001).
15. The Model-Driven Architecture, Guide Version 1.0.1, OMG Document: omg/2003-06-01.
16. Cogitant (2005) CoGITaNT Version-5.1 -Reference Manual, (see http://cogitant.sourceforge.net).