Prof. Dr. Robert Buchmann
Babes-Bolyai University, Romania

Dr. Ana Maria Ghiran
Babes-Bolyai University, Romania

Hybrid Knowledge Bases: the Interplay between Domain-specific Models and Knowledge Graphs

The interplay between Knowledge Graphs and Domain-specific Modelling Languages was traditionally concerned with the challenge of “ontological commitment” – i.e., checking the ontological qualities of a language in order to enforce coherence and consistency in model contents. An alternative approach to coupling the two knowledge representation approaches will be promoted by this lecture, motivated by pragmatic requirements of externalizing and combining both human-readable and machine-readable representations, thus giving a novel interpretation to the seminal SECI knowledge conversion cycle. Agile modelling languages are treated here as schemas for knowledge that is amenable to linking, reasoning and publishing with the help of semantic technology – i.e., RDF graph databases, OWL axioms, SPARQL queries and endpoints. The presentation highlights benefits of combining the Agile Modelling Method Engineering Framework with the Resource Description Framework in order to build novel knowledge acquisition methods. The lecture will present results derived from applying and refining this idea in the ComVantage FP7 EU project and the EnterKnow PED Romanian research project, taking it to the point where it may inspire a novel “model-aware” software engineering method.

Prof. Dr. Carlos Cares
University of La Frontera, Chile

Agent-oriented Cyber-physical Systems Modelling

The low cost of IoT devices such as sensors and micro-controllers has enabled Industry 4.0. This mainstream contains not only industrial applications but also other ones perceived as revolutions, which has been summarized as smart-everything, internet-of-everything and, of course, the smart city revolution. Cyber-physical systems (CPS) are the integration of distributed hardware controlled by distributed software with the aim of controlling physical processes. Therefore they should have both software-hardware devices for perceiving real world variables and software-hardware devices for acting in the real world. In this NEMO-2019′ lecture, the current state of modelling techniques for CPS and how agent-oriented modelling languages provide most of the required features for CPS modelling will be presented. In the practice part of the lecture, a set of different agent-oriented patterns are shown and the professor will guide the design of your own CPS by using these patterns.

Prof. Dr. Sergio Cavalieri
University of Bergamo, Italy

Service Engineering models for the design and development of Product-Service Systems

The design and development of a Product–Service System (PSS) raises new issues since the service component introduces further requirements than traditional product engineering. Compared to physical products, services are generally under-designed and inefficiently developed. Approaches such as New Service Development, Service Design and Service Engineering have emerged during the years to support the design and development of service either as a system itself or as a constituting element of a PSS. In particular, Service Engineering investigates service design and development with a systematic perspective and with a seamless integration of product and service contents. Purpose of the lecture is to provide a holistic conceptualization and an up-to-date analysis of the current state of the art on Service Engineering models with a specific focus on their adoption in the PSS context. A critical analysis is also performed with the aim to define a research agenda and the most prominent key actions that could give directions for future research.

Prof. Dr. Christos Douligeris
University of Piraeus, Greece

Security Assessment Using SAPnet in the Internet of Things (IoT) Ecosystem

In the Internet of Things (IoT) era, the computing devices, the machines and even the objects are given the ability of exchanging data by containing or carrying sensors, actuators and network interfaces. Since, this capability is often present without supervision, it is very likely that increased security risks per device or object will appear. Therefore, a security assessment that aims at mitigating the risks is of high importance and ideally starts at the designing phase to minimize the impact of vulnerabilities. In the designing phase, this assessment can be applied on the corresponding implementation model. In this lecture, first a short introduction to the ADOxx meta-modeling SAPnet platform will be given. SAPnet includes the ontology toolkit for the Stochastic Petri net (SPN) modeling of the actors’ states and transitions. Additionaly, it is enriched with tools for an assessment procedure used to estimate the security level of a model based on the actor’s (i.e. devices, machines, objects) characteristics. Then, the lecture will walk through the assessment procedure and demonstrate how this procedure is assisted by the platform. Finally, an example implementation of an Intelligent Transportation System (ITS) life-cycle on SAPnet will be presented.

Prof. Dr. Ulrich Frank
Duisburg-Essen University, Germany

Multi-Perspective Enterprise Modelling as a Foundation of IT-Business Alignment

While it is undisputed that today’s enterprises depend crucially on IT, many companies still struggle with exploiting the potential of IT to a full extent. On the one hand, that requires adapting IT infrastructures of ever increasing complexity to changing needs of the business, on the other hand, it recommends rethinking organizational structures and business processes to create new opportunities for the efficient use of IT. In the long run, the digital transformation may even require to reinvent the entire business model, which will usually imply a major restructuring of a company and its IT. IT-Business alignment can be mastered only, if a professional perspective on the business is combined with elaborate knowledge of the IT. The field of enterprise modelling is addressing this demand by integrating models of the business, such as goal models or business process models, with models of the IT, such as models of the IT infrastructure, object models etc. In his talk, Ulrich Frank, will give an overview of “Multi-Perspective Enterprise Modelling” (MEMO) to demonstrate how enterprise models support various kinds of business and IT related analyses that support both, IT managers and line managers and that thereby serve as a pivotal instrument to foster IT business alignment. For this purpose, he will give an overview of the domain-specific modelling languages that are part of MEMO, the language architecture and the language specification. The presentation will be supplemented by a tutorial on the use of MEMO4ADO, a tool that facilitates the construction of integrated enterprise models using the MEMO languages.

Prof. Dr. Jaap Gordijn
Vrije Universiteit Amsterdam, The Netherlands

How to model your eco-system?

An eco-system comprises a network enterprises and their customers, offering each other valuable services and/or products. How do we develop such eco-systems in a model-based way. We discuss an approach, called e3value that designs and describe eco-systems with models of increasing complexity. The method will be explained by means of a series of case studies.

Prof. Dr. Florian Johannsen
University of Bremen, Germany

Supporting Business Process Improvement through a Modeling Tool

Business Process Improvement (BPI) ranks among the topics of highest priority in modern organizations. However, considering the rapidly changing customer requirements in times of high market transparency and the increasing collaboration between organizations, the conduction of BPI projects has become very challenging. Implicit process knowledge from diverse process participants needs to be elicited and transformed into improvement opportunities. In this context, the results achieved need to be properly documented, communicated and processed throughout a company. The purpose of the lecture is to present a conceptual solution (called “BPI roadmap”), which is a means for systematically performing BPI initiatives based on a set of easy-to-use and proven BPI techniques. In the in the tool “RUPERT” (Regensburg University Process Excellence and Reengineering Toolkit), the BPI techniques are realized in form of corresponding model types. The lecture gives insights into the development of the “BPI roadmap” and “RUPERT” and demonstrates the tool’s functionality by referring to a use case stemming from a cooperation project.

Prof. Dr. Dimitris Karagiannis
University of Vienna, Austria

AMME: How Metamodelling can support Digitalization
Agile Modelling Method Engineering

As the paradigm of enterprise modelling originally envisioned, a hybridization of modelling approaches is needed in order to cover the multiple facets of a business view, its context and requirements for different types of resources – including IT services and infrastructure. The “modelling method framework” [Karagiannis/Kühn, 2002] establishes key building blocks – i.e. the modelling language, the modelling procedure and mechanisms/ algorithms – to enable the required hybrid modelling and to increase the value of models beyond their traditional functions. As the importance of Next Generation Enterprise Modelling in the age of the Internet of Things, Industry 4.0, Industrial 3-D printing etc. increases, new modelling capabilities, semantically enriched design concepts and adapted operational functionality must satisfy evolving needs, in order to successfully manage not only the transformation in the digital enterprise stage, but also the adaptation and extension of existing services. In this context, the foundations of a „conceptual-model“-awareness approach for next generation enterprise information systems will be presented. This novel approach makes use of semantic networks to extend model-awareness towards arbitrary types of models that are developed for specialized communities aiming for domain-specificity (or even case-specificity) in their modelling language, therefore favoring productivity at the expense of reusability across domains. The technological space for capturing and bridging knowledge through model semantics is primarily based on diagrammatic models. Two categories of models are employed in this context: (1) Models of Concepts for describing a common understanding of a domain through its concepts and relations; (2) Models that use Concepts are typically domain-specific models based on some already established understanding of the domain. The hereby introduced life cycle of Agile Modeling Method Engineering – AMME [PCI2015] aims to apply the principle of agility established in Software Engineering (e.g., evolutionary development, flexible response to change) to the practice of Modelling Method Engineering. The main assumption is that a modelling method may evolve iteratively based on changing modelling requirements and feedback loops. Within the context of AMME, a full methodological approach is established by the OMiLAB (http://www.omilab.org), with a life cycle encompassing five phases: (1) create, (2) design, (3) formalize, (4), develop and (5) deploy/validate. The approach is supported, in its fast prototyping stage, by the metamodeling domain-specific language MM-DSL and the meta-modelling platform ADOxx (http://www.adoxx.org).

Prof. Dr. Evangelia Kavakli
University of the Aegean, Greece

Capability Oriented Requirements Engineering

The NEMO 2019 lecture concerns an approach to the application of conceptual modelling known as the Capability Oriented Requirements Engineering (CORE) approach. The conceptual modelling framework applied in CORE employs a set of complimentary and intertwined modelling paradigms based on enterprise capabilities, goals, actors, and information objects. The lecture will define the foundational concepts of CORE as well as the way of working from capturing textual descriptions from stakeholders, progressing to formally defining models of early requirements, based on the CORE meta-model, and in a stepwise refinement define functional and non-functional requirements of desired systems. The theory will be supplemented by examples from a real application of CORE on a Cyber Physical Production System.

Prof. Dr. Marite Kirikova
Riga Technical University, Latvia

Enterprise Modeling for Continuous Requirements Engineering

In the era of global economy and frequent changes, the information systems development also faces the need for continuous realignment with the business processes and systems. Continuous development, continuous delivery, and continuous engineering have become common notions in contemporary systems development language. In this context, right requirements still are the key of project success; however the methods for their engineering must adhere to challenges and possibilities of enterprise digitalization levels. One of the opportunities that are provided by enterprise modeling tools is the possibility to utilize enterprise models in requirements engineering. FREEDOM framework is one of the means for structured and purposeful usage of As-Is and To-Be enterprise models for requirements engineering in different project types and enterprises.

Prof. Dr. Moon Kun Lee
Chonbuk National University, Korea

Process Algebra to Model Probabilistic Behavior of Smart IoT

In general, process algebra can be the most suitable formal method to specify IoT systems due to the equivalent notion of processes as things. However there are some limitations to predict smart IoT systems with the properties of distribution, mobility and real-time. For example, Timed pi-Calculus has capability of specifying time property, but is lack of direct specifying both execution time of action and mobility of process at the same time. And d-Calculus has capability of specifying mobility of process itself, but is lack of specifying various time properties of both action and process, such as, ready time, timeout, execution time, deadline, as well as priority and repetition. In order to overcome the limitations, this lecture presents a process algebra, called, dTp-Calculus, extended from d-Calculus, by providing with capability of specifying probabilistic transitions with the set of time properties, as well as priority and repetition. Further the method is implemented as a tool, called SAVE, on the ADOxx meta-modeling platform. It can be considered one of the most practical and innovative approaches to model probabilistic behavior of smart IoT systems.

Em. Prof. Dr. Heinrich Mayr
Alpen-Adria University Klagenfurt, Austria

Mr. Martin Paczona
Alpen-Adria University Klagenfurt, Austria

The Power of Model-Centering

Models are the basic human tools for managing complexity and understanding. As such, they play a key role in all scientific and engineering disciplines as well as in everyday life. Many modeling paradigms have evolved over time in different disciplines, resulting in a wide variety of modeling languages, methods and tools that have come and gone. This is particularly true for informatics, which is a modeling discipline in itself: for long it has systematized the field of modeling, for example by introducing model hierarchies, by ontological foundations, by developing universal modeling languages such as UML, or by specifying domain-specific modeling methods (DSSMs) for areas of application where universal approaches fail.
In the context of digital transformation, modeling plays a central role in ensuring the functionality, security and quality of complex digital ecosystems. We approach this in the lecture from a rigorously model-centered perspective, which sees a digital ecosystem as a construct of networked model handlers in the sense of model producers and model consumers, whereby these handlers in turn are instances of models.
We will illustrate the paradigm of model-centric architecture with the results of projects we have carried out in the areas of assistive systems, mechatronic systems and Quality Aware Software Engineering.
In addition, Martin Paczona will give students in a working group in-depth and practical insight. Among other things, they will learn and apply the principles of a DSMM for the design and development of electric vehicle test benches.

Prof. Dr. Jolita Ralyte
University of Geneva, Switzerland

Digital Transformation: Better Guided than Chaotic

Digital transformation is not just the adoption of new information technologies and computerization of human activities. It embraces much broader strategic ambitions and involves fundamental changes in the structure, activities and even culture of the organization, with the primary goal of innovating and creating value. The approach for guiding digital transformation is necessarily exploratory, agile, and participatory, involving all stockholders as responsible co-creators. It has to deal with the challenges raised by the gap between the living world (the organization and its activities) and the artificial world (information technologies). It should provide a support for assessing the impact and the risk of the change in the organization implied by the digitalization and evolution of its information systems. Last but not least, we expect this approach to be situation-driven, easily adaptable to different organizational settings. In this course we will analyze the challenges of digital transformation, define the requirements for methods supporting it, and discuss contributions in the field.

Dr. Ben Roelens
Open University, The Netherlands

Value Modelling: from current practice to future applications

Value models are used to represent the organizational structure in terms of what an enterprise must do (i.e. processes) and needs (i.e. capabilities and resources) to create value and deliver it to the various stakeholders. As such, the notion of value enables the alignment of the strategy with the detailed process design in an organization. This lecture gives an overview of the current value modelling methods and the context in which they are used. This entails methods as e3-value, Value Network Analysis, and the Value Delivery Modeling Language. It is also discussed how the application of ontology patterns can further increase the semantic quality of value modelling methods. Finally, a future vision on the Value Modelling field is presented, which includes a more flexible development and use of new modelling methods in private and public organizations.

Prof. Dr. Bernhard Thalheim
Christian-Albrechts-Universität zu Kiel, Germany

Systematic development of web information systems

The course presents essential elements for development of data-intensive websites. It is based on a language for front-end specification of web information systems, called storyboarding. It covers syntactics, semantics and pragmatics of WIS, introduces sophisticated concepts for conceptual modelling, provides integrated foundations for all these concepts and integrates all these concept into the co-design method for systematic WIS development. Website specification is also supported as an ADOxx add-on. This language has been applied in three-score website projects for large e-business, infotainment, community, e-governemnt, edutainment (often called e-learning), and identity websites. The course describes the research of the Cottbus and Kiel teams over more than two decades on an end-to-end methodology for the design and development of WIS.

Prof. Dr. Takahira Yamaguchi
Keio University, Japan

A User-Centric Platform PRINTEPS to Develop Intelligent Robot Applications

We are developing PRactical INTEligent aPplicationS (PRINTEPS), which is a user-centric platform to develop intelligent robot applications by combining five types of intelligent software modules such as knowledge-based reasoning, speech dialog, image sensing, motion management and machine learning. PRINTEPS supports end users to design and develop intelligent robot applications easily. This lecture introduces the architecture and applications of PRINTEPS for robot cafe and teaching assistant robot.

Domain Storytelling: A Modelling Approach for Business Processes

Understanding and describing requirements is probably the greatest challenge in a software development project. Only well-known and well-understood requirements can be successfully implemented. Even if we select a standard software to support our customers, the right requirements are significant. Requirements engineering is a learning and communication process for us. A precondition for this is feedback – whether in direct dialogue or by informative requirements documents. The domain experts need to validate the requirements documentation so that it is possible to detect mistakes and misunderstandings. With Domain Storytelling we use the principles of learning a new human language. Let experts tell their domain stories. While listening, we record the domain stories using a pictographic language. The domain experts can see immediately whether we have understood their story correctly. After very few stories, we will be able to talk about people, tasks, tools, work items, and events in a domain. Domain Storytelling is an example-based approach for modelling selected business processes and their IT support. The models are easy to understand for people in different departments, business organizations and their specialists alike. The method aims at common understanding and communication about the processes which are modelled. Characteristics of Domain Storytelling are: (a) cooperative business processes are modelled as “cooperation pictures” based on selected scenarios, (b) simple pictograms make models easy to comprehend, (c) processes are structured along the lines of “who makes what with whom”. The initial lecture will present the conceptual basis of Domain Storytelling, putting business process modelling into the context of application-oriented software development. It will characterize software development as a learning and communication process with a strong need for feedback among all parties concerned. The basic principles and concepts of Domain Storytelling will be explained. The tutorial will provide hands-on experience.