Robert Pergl and Martin Podloucký last week visited the Department of Management Information Systems, Faculty of Applied Economics, University of Antwerp. With the department represented by prof. John Verelst we found a number of very synergistic with the CCM issues, especially enterprise engineering and software engineering based on conceptual approach.
On the department are working on a big breakthrough in software engineering over the past several decades, perhaps: applying the theory of normalized Systems (NS) on the sustainable development of large information systems. Although sustainability is a traditional theme, approach, what we saw in Antwerp it is unique in that it is exact and provable. From this approach arise exact criteria to judge whether a particular software system is sustainable or not and in what order to increase the number of necessary changes in the system over time.
The theory is practically applied in a spin-off company NSX, which has developed a code generator based on ANN theory. Information systems developed using this technology are already being used successfully in large Belgian firms and government sectors.
Finally, the visit was formulated topics for cooperation between Antwerp and CCM in the field of education, science and research and cooperation on code generators. The research and application topics will be addressed in the form of student theses, doctoral and postdoctoral topics. Watch page for more details.
Robert Pergl will present the paper “Instance-Level Modelling and Simulation Revisited” at EOMAS. The paper was elaborated in cooperation with the NEMO research group. Robert will be also present at CAISE.
Instance-level modelling is a sort of conceptual modelling that deals with concrete objects instead of general classes and types. Instance-level modelling approach offers a rather innovative way for communication with domain experts extremely useful for them, as they can see their real data in the context of the given model. Various approaches were presented in the paper “Instance-Level modelling and Simulation Using Lambda-Calculus and Object-Oriented Environments” at EOMAS 2011. The present paper is a sequel and it presents additional approaches we find useful in practice: Fact-oriented modelling, OntoUML in combination with OCL and the Alloy analyzer and Eclipse-based framework DresdenOCL. We present key features of the various approaches and demonstrate them on a running example, we follow up with a discussion comparing these approaches. Notice that OntoUML combined with the Alloy analyzer is an original research achievement built on the research of OntoUML.
Czech Technical University became a member of the CIAO! network. “Cooperation & Interoperability – Architecture & Ontology” (CIAO) is an initiative whose mission is to stimulate the development of the emerging discipline of enterprise engineering, as well as its practical application in improving the societal performance of enterprises. Its members are universities, research institutes, and companies. Their mutual effort is devoted to research, acquiring research funds, disseminating scientific results, and developing practically useful methods, techniques, and tools.
Robert Pergl became the representative of CTU in the CIAO! network.