Home      Log In      Contacts      FAQs      INSTICC Portal
 

Keynote Lectures

Multi-Paradigm Modelling of Cyber-Physical Systems
Hans Vangheluwe, University of Antwerp, Belgium and McGill University, Canada

Multi-Level Modelling: Motivation, Prospects and Solution
Ulrich Frank, University of Duisburg-Essen, Germany

The Very Model of a Modern Meta-modeler
Ed Seidewitz, Model Driven Solutions, United States

 

Multi-Paradigm Modelling of Cyber-Physical Systems

Hans Vangheluwe
University of Antwerp, Belgium and McGill University
Canada
 

Brief Bio
Hans Vangheluwe is a Professor in the Antwerp Systems and Software Modelling (AnSyMo) group within the Department of Mathematics and Computer Science at the University of Antwerp in Belgium, where he is a founding member of the NEXOR Consortium on Cyber-Physical Systems (CPS). He is an Adjunct Professor in the School of Computer Science at McGill University, Montreal, Canada.
AnSyMo is a Core Research Lab of Flanders Make, the strategic research centre for the Flemish manufacturing industry.
He heads the Modelling, Simulation and Design Lab (MSDL), distributed over the University of Antwerp and McGill.
In a variety of projects, often with industrial partners, he develops and applies the model-based theory and techniques of Multi-Paradigm Modelling (MPM) in application domains as diverse as bio-actived sludge waste-water treatment plant design and optimization and safe automotive software.
He is the chair of the EU COST Action IC1404 "Multi-Paradigm Modelling for Cyber-Physical Systems" (MPM4CPS).


Abstract
The networking of multi-physics (mechanical, electrical, hydraulic, biochemical, ...) with computational systems (control systems, signal processing, logical inferencing, planning, ...) processes, interacting with often uncertain environments, with human actors, in a socio-economic context, leads to so-called Cyber-Physical Systems (CPS).
The CPS that are engineered today are reaching a hitherto unseen level of complexity.

To date, no unifying theory nor systematic design methods, techniques and tools exist for such systems.
Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions.

Multi-paradigm Modelling (MPM) proposes to model every part and aspect of such complex systems explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s).
This includes the explicit modelling of the often complex engineering workflows.

Modular modelling language engineering, including model transformation, and the study of modelling language semantics, are used to realize MPM. MPM is seen as an effective answer to the challenges of designing CPS.

This presentation introduces a vision of complex CPS, in particular in the context of Industry 4.0.
The causes of complexity of such systems and some of the challenges of their collaborative development are introduced, as well as possible multi-paradigm modelling solutions such as (in-)consistency management and co-simulation.



 

 

Multi-Level Modelling: Motivation, Prospects and Solution

Ulrich Frank
University of Duisburg-Essen
Germany
 

Brief Bio

Ulrich Frank holds the chair of Information Systems and Enterprise Modelling at the Institute of Computer Science and Business Information Systems at the University of Duisburg-Essen. His main research topic is enterprise modelling, i.e. the development and evaluation of modelling languages, methods and corresponding tools. In recent years, he focused especially on multi-level domain-specific modelling languages and corresponding tools. Further areas of research include method engineering, models at run time, methods for IT management and research methods. Together with Tony Clark from Sheffield University, he conducts the project “Language Engineering for Multi-level Modeling” (LE4MM). The project aims at further developing an integrated meta-modeling and meta-programming environment and, based on that, at the development of new self-referential enterprise systems that integrate enterprise software with conceptual models of themselves and the context they operate in at run time.

Ulrich Frank is on the editorial board of the journals “Enterprise Modelling and Information Systems Architectures”, “Business & Information Systems Engineering”, “Software and Systems Modeling”, “Information Systems and E-Business Management”, and the “Journal of Information System Modeling and Design”. He worked as a research fellow at the IBM Almaden Research Center in San Jose and had assignments as visiting researcher/professor at universities in various countries. Ulrich Frank served as the spokesman of the German Business Informatics Community within the German Informatics Society. He is the German representative of the IFIP Technical Committee TC8 and a review board member of the Deutsche Forschungsgemeinschaft (German National Science Foundation).


Abstract
Multi-level modelling is a new modelling paradigm. It enables additional abstraction and thus contributes to reuse, integration and flexibility. Supplementing multi-level modelling languages with multi-level programming languages allows for self-referential application systems that are suited to empower users and to better integrate software with the environment it operates in. This presentation will outline the reasons that led to the development of the new paradigm and will give an overview of essential concepts. The multi-level modelling language FMMLx and a corresponding meta-programming and -modelling environment will be used to demonstrate the benefits not only of multi-level modelling, but also of a common representation of models and code. Finally, the obstacles will be discussed that impede the widespread use of multi-level languages.



 

 

The Very Model of a Modern Meta-modeler

Ed Seidewitz
Model Driven Solutions
United States
 

Brief Bio
Ed Seidewitz is Chief Technology Officer at Model Driven Solutions, Inc., a long-time provider of enterprise and systems architecture services using model-based methods. 
Mr. Seidewitz has extensive background in state of the art information system technologies and leading expertise in the Unified Modeling Language (UML). He is also experienced in agile system architecture and development in both the commercial and government sectors. His skills include business process analysis, system architecture and full implementation of enterprise-class information systems, deployed in the data center or in the cloud. He has 30 years of professional experience with the modeling, architecture and development of systems spanning diverse domains including aerospace, finance, acquisition and health care. In 2009, his 2003 paper "What Models Mean" was named an IEEE Software magazine 25th Anniversary Top Pick.

Mr. Seidewitz has been active with the Object Management Group (OMG) for 20 years, including involvement in every UML Revision Task Force and with the Service Oriented Architecture Modeling Language (SoaML) and System Engineering Modeling Language (SysML) specifications. He was primary author of the Foundational Subset for Executable UML Models (fUML) and Action Language for Foundational UML (Alf) specifications and maintains open source reference implementations for both. He is currently chair of the OMG Model Interchange Special Interest Group and of Revision Task Forces for fUML, Alf, Precise Semantics of UML Composite Structures and Precise Semantics of State Machines. He is also co-leader of the SysML v2 Submission Team.


Abstract
Philosophers have been talking about metaphysics since Aristotle. Logicians have used metalanguages for 80 years. And, in the last 50 years, computer scientists have produced metaobjects, metaclasses and metamodels. “Going meta” is now even part of the popular culture. What is this all about?

It is about the incredibly powerful human ability to reflect on what we are doing. Bringing this capability to our modeling languages, we can create languages able to express their own definitions. But, with real semantic formalization, we also open up the possibility of creating tools that can reflect on the very models they are being used to create. What might this mean for the next generation of modeling languages and tools?

In this talk we will go meta, reflect on reflection and try to figure it out.



footer