Update: In the meantime, the catalog on State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development, to which I contributed as primary author, is openly available here. The Framework to Relate / Combine Modeling Languages and Techniques to which I also contributed (though not as primary author) can be accessed openlyhere.
Original Post (written directly after the STSM):
After the MPM4CPS workshop in Paris, the members of the Working Group 1 (Foundations) realised that there was still some significant effort required to complete the deliverables. In particular, we aimed to create an ontology that relates modelling languages, tools and formalisms that are commonly used. Based on this ontology, it should then be able extract a catalogue of the contents, which will then serve as an initial reference for newcomers to the domain and knowledge base for modelling experts. My colleague Dominique Blouin asked me if I was interested in coming to Paris, taking the lead on the review of the existing ontology information and completing it where necessary.
Obviously I agreed.
After my arrival at Telecom ParisTech, I started to review the existing information that was provided in the catalogue. The initial review showed, that most of the existing descriptions of catalogue items were very short text excerpts, taken from Wikipedia or the language/tool developer webpages. After the discussion with Dominique, we decided that it is essential for the deliverable to write descriptions for the existing items, while at the same time adding references to other resources. We removed items that were too generic (e.g. general purpose programming languages), too specific (niche solutions, without general applicability) or for other reasons not fitting. During the week, Moussa Amrani, another MPM4CPS member, joined us at Telecom ParisTech for his STSM, and we combined our efforts to work towards an understandable formalisation of modelling paradigms and their relation to the MPM4CPS framework. We synchronised with the people from the MPM4CPS Meeting at Telecom ParisTech in September to include their feedback and further understand their concerns. We also had a group call with participants of the meeting in Potsdam to clarify some of their results. Based on this information we worked towards creating a merge of the available information and streamlining our approaches. We further explored the existing ontology’s classification structure and identified missing concepts.
The work on the catalogue led to description and revision of the items within. It serves as a basis for the ontology and as a deliverable for the working group 1. The catalogue can be used by newcomers in the domains as a source for looking up information regarding individual concepts. Due to its ontological basis, it is also possible to explore the ontology (given an appropriate tool). The goal of making the ontology explorable led to the proposal of new classifications, object properties and relations, that can be used to more efficiently capture the knowledge that is shared in our domain.
The collaboration on the topic of the paradigm definition and the formalisation of multi-paradigm modelling led to the draft of a formalisation that will be presented to the MPM4CPS members at the meeting in Pisa.
Thirdly, the updated ontology serves as a basis for further exploration and as a foundation for a comprehensive collection of merging modelling and cyber-physical systems concepts.