In this webinar, Mark Mulder will zoom in on his thesis ‘Enabling the automatic verification and exchange of DEMO models’ and the current state of the subject.
Abstract of the thesis:
The Design and Engineering Methodology for Organisations (DEMO) is a core method within the discipline of Enterprise Engineering (EE). It enables the creation of so-called essential models of enterprises. Such models are enterprise models that aim to focus on the organisational essence of an enterprise by leaving out (as much as possible) details of the socio-technical implementation. The organisational essence is then expressed primarily in terms of the actor roles involved, and the business transactions between these roles. The DEMO method has a firm theoretical foundation. At the same time, there is increasing uptake of DEMO in practice. This also results in a need for enterprise-grade tool support for the use of the method. In this thesis, we report on a study concerning the selection, configuration, and extension, of an enterprise-grade tool to support the use of DEMO in practice with the need for the automatic verification and exchange of DEMO models. The configuration of the selected tool framework to support DEMO modelling, provided general insights regarding the development of enterprise-grade tool support for (model-driven) methods such as DEMO, while also providing feedback on the consistency and completeness of the DEMO Specification Language (DEMOSL); the specification language that accompanies the DEMO method.