Formal semantics of enterprise models

The paper provides a summary of the discussions held in a working group during ICEIMT Workshop 4 (Enterprise Integration Principles and Fundamentals). The topic of the working group was Formal Semantics of Enterprise Models . In the paper, we suggest that enterprise integration is currently hindered by shortcomings of enterprise modelling languages (section 1), that a better language should be defined and that its semantics should be defined in terms of a formal theory (section 2). The paper concludes with two proposals for research and standardisation projects (section 3)