NEMO Summer School 2014

1st Edition in the NEMO Summer School Series
July 6th - July 19th, 2014
Alpen-Adria-Universität, Klagenfurt

Click here to open the NEMO 2014 gallery
pdfdocDownload NEMO 2014 PROGRAMME

Prof. Dr. George Bohoris
University of Piraeus, Greece

Dr. Evanthia Vorria
University of Piraeus, Greece

Next Generation Modelling Enterprises … a Business Perspective

To identify some of the cultural difficulties between IT & business perspectives on the subject of Enterprise Modelling, to highlight some of current trends & difficulties, to offer a "hands on" business process mapping opportunity, incorporating some of the common, business related process attributes.

pdfdocDownload Material

Prof. Dr. Luis Camarinha-Matos
Universidade Nova de Lisboa, Portugal

Modelling Collaborative Enterprise Networks

Participation in networks has nowadays become very important for any enterprise or organization striving to achieve a differentiated competitive advantage. Collaboration is a key issue to rapidly answer market demands, through sharing competencies and resources. In fact, collaborative networks manifest in a large variety of forms, including virtual organizations, virtual enterprises, dynamic supply chains, professional virtual communities, collaborative business ecosystems, etc. A large body of empiric knowledge related to collaborative networks is already available, but these organizational forms are complex entities whose proper understanding, design, implementation, and management require the integration of different modelling perspectives. In this context, ARCON is introduced as a comprehensive modelling framework that copes with the endogenous (structural, componential, functional, and behavioural dimensions) and exogenous interactions (market, support, societal, and constituency dimensions) perspectives, as well as the life-cycle of the network and the modelling intent.

pdfdocDownload Material

Prof. Dr. Jürgen Ebert
University Koblenz-Landau, Germany

From Model-Based to Model-Integrating Software

A strong focus of Software Engineering research in modelling is on software for models (e.g., modeling tools) as well as on models for software (e.g., in tool construction or reverse engineering). This talk gives a personal overview of models in Software Engineering, which started with early visual notations via a plethora of modelling languages and editors and lead to unifying approaches like UML (on the language side) and generic metaCASE software (on the tool side). In this era, foundational work on model representations, meta-modelling, constraint descriptions, and semantics as well as on classification of modelling languages into a few modelling paradigms provided a deeper understanding of the world of modelling in general. Adding the ability for code generation and model transformation, the process of software development was automated further by several environments, some of which even provide additional services like model evolution, model querying, model execution, or model comparison. Integrating these capabilities into a crossplatform and crosslanguage infrastructure may now lead to software components which contain code and models as equal-level and cooperating parts at runtime, making software evolution easier to handle and leveraging, e.g., the development of adaptive software or dynamic product lines.

pdfdocDownload Material

Prof. Dr. Hans-Georg Fill
University of Vienna, Austria

Business Process Management and Ontologies as an Application Domain for Meta-Modelling

In this lecture it will be shown how concepts of meta modelling can be applied in two core areas of modern information systems. For this purpose the lecture will start with a brief introduction into the theoretical foundations of meta modelling and the corresponding realization of modelling methods on the ADOxx meta modelling platform. Subsequently, the application areas of business process management and ontologies will be introduced. Thereby it will be particularly focused on the challenges and opportunities of adapting existing modelling concepts in these areas to the personal needs of users, organizations, as well as technical processing functionalities in the form of algorithms. As a solution to these challenges the introduced meta modelling concepts will be applied. Furthermore, it will be discussed how this approach permits to design and implement innovative software applications that bring together the technical opportunities of semantic technologies and established business process management methodologies. The concepts and applications will be illustrated using case studies from research and industry projects. In particular it will be reverted to concepts and implementations from the SeMFIS research project conducted at Stanford University that is hosted at www.omilab.org.

pdfdocDownload Material

Prof. Dr. Ulrich Frank
Universität Duisburg-Essen, Germany

A Method for Designing Domain-Specific Modelling Languages

In recent years, the development of domain-specific modelling languages (DSML) has gained remarkable attention. This is for good reasons: A DSML incorporates concepts that represent domain-level knowledge. Hence, systems analysts are not forced to reconstruct these concepts from scratch. At the same time, DSML contribute to model integrity, because they include already constraints that would otherwise to be added manually. Even though there has been a considerable amount of research on developing and using domain-specific modelling languages, there is still lack of comprehensive methods to guide the design of these languages.
In this course the participants will learn to use a method for designing DSML. It includes heuristics to analyse requirements and meta-modelling guidelines that support frequent design decisions. The use of the method will be illustrated by the development of an example DSML.

pdfdocDownload Material

Prof. Dr. Wilfried Grossmann
University of Vienna, Austria

Process Modelling and Business Intelligence

Process Modelling and Business Intelligence are two important areas in business informatics, which are treated often rather separated from each other. Looking at the literature and the activities in the two areas shows that process modelling takes a look at the business from a more production oriented view, whereas business intelligence activities emphasise more the role of the customer in the business process. In this lecture we want to show how one can take a unified view onto these two approaches and how such a view supports business activities. For demonstration we use as business case a marketing campaign and show how one can use business analytics for detailed specification of the business process and how this specification influences formulation of the business goals. The proposed method combines ideas of business process modelling with data mining formats and shows how different analytical techniques can be integrated using the ADOxx platform. Main emphasis is on methods for data provisioning and data understanding which extend traditional approaches by quality computations.

pdfdocDownload Material

Dr. Giancarlo Guizzardi
University of Trento/UFES, Italy

Ontological Foundations for Conceptual Modelling

The main objective of this course is to introduce researchers to the theory and practice of a new emerging discipline named Ontology-Driven Conceptual Modeling. In this discipline, theories coming from areas such as Formal Ontology in philosophy, but also Cognitive Science, Philosophical Logics and Linguistics are employed to derive engineering tools (e.g., modeling languages, methodologies, design patterns and anti-patterns, model compilers and simulators) for improving the theory and practice of Conceptual Modeling, in general, and Domain Ontology Engineering, in particular. In this course, the expressiveness and relevance of these theories and derived tools are demonstrated through their application to solve some classical and recurrent modeling problems concerning the well-founded representation of: classification and taxonomic structures, part-whole relations, intrinsic and relational properties, formal and material associations, association specialization, attribute conceptual spaces, roles and events.

pdfdocDownload Material

Prof. Dr. Yoshinori Hara
Kyoto University, Japan

Dr. Hisashi Masuda
Japan Advanced Institute of Science and Technology, Japan

Japanese Creative Services

We define Japanese creative services and discuss how they have been sustained successfully. The¬re are many “Shinise” (shops of long standing) service companies in Japan that are quite unique compared to the companies located in any other geographical region. They typically have anec¬dotal values based on nature and seasons, various types of culture, histories, and/or lifestyles. They also have the mind-set of “Omotenashi,” Japanese hospitality, and a framework to evaluate and in¬herit their service competence. We will examine these capabilities with some concrete examples. We then explain the mechanisms of the sustainabi¬lity and scalability of Japanese Creative Services. A statistical analysis comparing the Shinise compa¬nies in the Osaka region with those in the Kyoto region is reported. An exclusive inheritance me¬chanism designed towards a designated successor and the separation of the authority from technology inheritance can play an important role for the or¬ganizations to provide creative services. In order to enhance the values of the Japanese creative servi¬ces, a systematic analysis from the viewpoint of ser¬vice science and innovation will be essentially im¬portant. We believe that this kind of approach will contribute to creating new values within the field of service science and for value-added global services.

pdfdocDownload Material

Dr. Manfred Jeusfeld
Skövde University, Sweden

Multi-level (Meta)-Modelling

Conceptual models refer to objects, classes, meta classes, and so forth. Models at the higher abstraction levels constrain the lower-level models. We investigate the mechanism proposed for exploiting multi-level models, in particular deep instantiation and rules whose variables range over objects and classes at the same time. In both cases, knowledge about objects is encoded at a level beyond the class level, hence applies to any class instantiated from the “rich” meta class level. We demonstrate as example the definition of traceability of model elements across multiple modelling languages. We also review deep instantiation and provide a customizable implementation.

pdfdocDownload Material

Prof. Dr. Dimitris Karagiannis
University of Vienna, Austria

Dr. Robert Buchmann
Babes-Bolyai University, Romania

Next Generation Modelling Enterprises: From Foundations to Application

The presentation will introduce the vision of Next Generation Enterprise Modelling, based on metamodelling foundations and principles, as well as on emerging paradigms such as Linked Enterprise Data. The foundations, as well as the building blocks and the value of modelling methods, will be discussed both in a general case and in the concrete, scenario-oriented application case given by the ComVantage FP7 research project (http://comvantage.eu). Technological, conceptual and formal foundations will be established as enablers for Next Generation Enterprise Modelling. As 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 resource requirements (including IT support requirements). The concept of “modelling method” establishes key building blocks to enable the required hybrid modelling and to increase the value of models beyond the functions traditionally employed within the paradigm of model-driven software engineering. Outcomes of the ComVantage reject project will serve as an application case. The project investigates new possibilities for enterprise collaboration, raised by mobile technology and the Linked Data paradigm, hence it provides relevant enterprise scenarios. To fulfil such scenarios, a modelling method was introduced, that enables a holistic approach to modelling business processes within their business context and execution environment. A modelling prototype implementation was developed within the framework of OMILab (http://www.omilab.org/web/comvantage/home). Exemplary situations will be described in order to highlight and reflect on specific design decisions.

Prof. Dr. Marite Kirikova
Riga Technical University, Latvia

VSM and Enterprise Architecture: Patterns-based Requirements Acquisition

The approach utilizes the power of systems theory models and enterprise architecture. The meta-structure of Beer's Viable Systems Model (VSM) is taken as the basis for requirements identification and analysis for an information system. The enterprise is considered as a system of systems. The information system is regarded as one of enterprise subsystems which have to mirror the variety of parameters handled by a super-system. Each information flow is represented via specific enterprise architecture pattern in the enterprise model. The use of pattern helps to ensure the consistency of requirements. The use of VSM helps to care that all types of information flows relevant for viability of the enterprise are detected and represented in the enterprise model.

pdfdocDownload Material

Prof. Dr. Moonkun Lee
Chonbuk National University, Korea

Process Modelling for Distributed Mobile Systems

Generally formal methods can be classified into three categories: logic, automata and process algebra. Among them, process algebra can be considered most suitable for modelling distributed mobile systems, due to the notion of concurrency, distribution, movement, interaction and control of processes, as well as temporality. The most wellknown process algebras in this category are CCS, π-Calculus, Mobile Ambient, ACSR, etc. In the lecture, the basic criteria for concurrency, distribution, movement, interaction and control will be discussed and analysed in the modelling perspective. The discussion and analysis will include the basic laws and propositions to describe the basic properties of the systems and their behaviours, especially based on strong and weak equivalences. The efficiency and correctness of the modelling will be demonstrated with railroad-crossing systems examples. Besides, some limitations and possible extensions of the algebras will be discussed, such as, visibility of nondeterminitic concurrency, synchronousness, temporality, etc. At the end, the main issues in my research topic on the algebras will be introduced with a new algebra called, δ-Calculus.

pdfdocDownload Material (a)

pdfdocDownload Material (b)

Prof. Dr. Pericles Loucopoulos
University of Manchester, UK

Requirements Engineering: Modelling Enterprise Capabilities

In today’s dynamic business environment, emergent application software is regarded as a key component in the service industry. The effective and efficient development of such software systems can have a major impact on the economic value of digital companies. One important factor in achieving this is to ensure that the design and evolution of the software system can comply with the design and evolution of the enterprise. To this end, focus on the development lifecycle model has shifted towards dynamic configuration using approaches such as agile methods, method-driven development and software-oriented architectures. These efforts are complemented by a response to adaptation at operational level by exploiting context-awareness. However, there still exists a gap between enterprise requirements and software solutions. This talk will focus on a relatively recent development in the field based on the notion of ‘business capability’. The notion of ‘capability’ has been traditionally used in non-technical domains such as in socio-economic analyses, organizational studies, and strategic management. In information system engineering capability has been examined in the context of information system agility, service-orientation, software process improvement, and business-IT alignment. This talk will outline the field, introduce a development framework, including meta-models and process phases, provide examples from a use-case and define a number of challenges for researchers and practitioners alike.

pdfdocDownload Material

Prof. Dr. Heinrich C. Mayr
Alpen-Adria Universität Klagenfurt

Modelling for Ambiance Assistance

Ambient assistance is a continuously growing field in ICT: Based on smart sensors, life video analysis techniques as well as speech recognition and text-to-speech applications various kinds of human centered assistance become feasible and affordable. The range of applications is broad and covers everyday situations in private and business environments as well as support for people with special needs. Consequently, Ambient Assistance is a challenging and promising field for computer scientists, software engineers and information technicians in both, research and application, with lots of questions to answer and technical solutions to find. Since dealing with the support of humans, it is an interdisciplinary field affecting Psychology (activity theory, mental behavior etc.), Neurology, Medicine, Law (privacy, data security), Philosophy (ethics), Domotics (home automation systems) and others more. Models play a key role in ambient assistance systems as they act as the integral means for data and knowledge acquisition, representation, evaluation and exchange for the various system components. We will start our lecture with a short overview of already existing best practice examples and then work out the key notions and concepts that form the basis of modelling endeavors in that field. Based here-on, we will discuss the objectives, concepts and elements of the “Human Cognitive Modelling Language” HCM-L, which was developed in the “Human Behavior Monitoring and Support” project HBMS. Deeper insight will be gained in the afternoon Parallel Working-Groups that are headed by members of the Application Engineering Research Group: Dr. Fadi Al-Machot, Assoc.Prof.Dr. Christian Kop, Dr. Judith Michael, Assoc.Prof.Dr. Vladimir Shekhovtsov, and Dr. Claudia Steinberger.

Prof. Dr. Andreas Oberweis
Karlsruhe Institute of Technology, Germany

Dr. Agnes Koschmider
Karlsruhe Institute of Technology, Germany

Business Processes for Business Communities

Several languages have been suggested for modeling business processes. Practice shows, however, that a powerful modeling language alone is not enough. Users require guidance and assistance in the preparation of models, that is, during application of the language. In this course the students will learn the Horus Method. This method defines various stages of modeling and is a recipe-like guideline that has been proven in practice. In practical exercises to this lecture students will collaborate in a Web 2.0-based social network, to define business objectives, strategies and business processes together and will elaborate a common understanding of an organization.

pdfdocDownload Material

Prof. Dr. Oscar Pastor
Universidad Politecnica de Valencia

From Requirements to Code: A Full Model-Driven Development Perspective

A crucial success factor in information systems development is the alignment of the system with business goals, business semantics and business processes. Developers should be freed from programming concerns and be able to concentrate on these alignment problems. Model-driven system development (MDD) not only provides a structured and systematic approach to systems development, but also offers developers the possibility of using model transformation technologies to derive models of a lower abstraction level that can be further refined, and even generate software code automatically. From the experience got with the advanced MDD platform provided by Integranova, this presentation will show how to successfully integrate business process modelling (BPM), requirements engineering (RE) and object-oriented conceptual modelling with the objective of leveraging MDD capabilities. The current state of the art on modelling methods and code generation tools will be discussed to explore different ways to match an information system with business requirements. Concrete principles, concepts and common practices of MDD will be presented with a special focus on model-driven requirements engineering, meaning by it how business process models and requirements models can be embedded in a complete MDD process. As a practical application, a specific method and notations are explained, but the ultimate goal is that assistants are able to apply this knowledge to their own contexts, to either industrial practice or academic research.

pdfdocDownload Material

Prof. Dr. Dimitris Plexousakis
University of Crete and FORTH-ICS, Greece

Dr. Theodore Patkos
FORTH-ICS, Greece

Modelling Knowledge Action and Time: Action Theories and Their Application in Dynamic Uncertain Domains

The modelling of knowledge, action and time is a topic of current research within the broader domain of knowledge representation and reasoning. The course will focus on declarative approaches for modelling and reasoning with change, paying particular attention to the integration of knowledge and action (by means of artificial software agents). As time is inherent in any type of activity and process, the course will also deal with the representation of temporal properties that characterize the occurrence of actions and the knowledge they generate. Practical aspects of reasoning about knowledge action and time in the context of agent-based systems, ambient intelligence and cognitive robotics will be exposed in addition to the theoretical frameworks. Students will also have the ability to conduct exercises with software implementing a fully-axiomatized event-based formalism, in order to address reasoning problems involving aspects such as commonsense reasoning and planning, cast in the context of ambient environments and cooperating intelligent agents.

pdfdocDownload Material

Prof. Dr. Nineta Polemi
University of Piraeus, Greece

Security Management Processes and Procedures

The basic concepts of security and privacy will be presented. The various standards (e.g. ISO27001, 27002, NIST) and methodologies (e.g. OCTAVE, CRAMM) used for security management will be analysed as well as the security procedures. Specific case studies will be analysed.

pdfdocDownload Material

Prof. Dr. Ulrich Reimer
University of Applied Sciences St. Gallen, Switzerland

Ontology Modelling with Description Logics

After a short introduction into what an ontology is the course will focus on modelling ontologies using description logics. We will explain the rationale behind the use of a mathematical formalism like description logics as the means to model ontologies. The model-theoretic semantics underlying description logics lays the foundation for terminological reasoning from which various added-value services can be derived. Moreover, since representing ontologies with description logics makes them machine-understandable the ontologies can be easily shared and utilized by different applications, i.e. the semantics is inherent in the representation and does not reside in the programs interpreting the representations. The course will give examples from various application areas how ontology modelling can be utilized.

pdfdocDownload Material

Prof. Dr. Wolfgang Reisig
Humboldt University Berlin, Germany

Conceptual Modelling: The Role of Formal Calculi

Modelling Methods are frequently classified as informal, semiformal or formal, respectively. Each of the three classes has its particular advantages. In this contribution we focus on formal methods, and survey their common mathematical basis. Hence, instead of discussing subtle differences of models, we show what they have in common. In detail we separate three aspects:

      Behavioural models: automata, transition systems, MSC, scenarios, finite and infinite behaviour, inductive invariants, simulation and bisimulation, process algebras, Petri nets, BPMN.
      Data depicting models: signatures, sigma structures, terms, quantors, first order logic, ASM, Z, high level Petri nets.
      Properties of models: composition and refinement, temporal logic, model checking.

Participants at this course will be able to understand the essentials of the many variants of modern techniques and corresponding tool based analysis methods for enterprise modelling.

Prof. Dr. Matti Rossi
Aalto University, Finland

Domain Specific Modelling

The course introduces students to developing new modelling languages through Domain Specific Modelling approach with MetaEdit+ platform. During this course the students will get an overview of working with MetaEdit+ when developing DSM’s and then develop support environment for their own modelling language. The tool allows language developers to rapidly build and evolve their methods and then try them out on the fly.

pdfdocDownload Material

Prof. Dr. Bernhard Rumpe
RWTH Aachen University, Germany

Compositional Modelling Language Development

We examine the current state and problems of modelling enterprises as well as software systems and discuss a number of approaches to tackle those. In particular, we discuss how to make use of models in large development projects, where a set of heterogeneous models of different languages needs is developed and needs to fit together, e.g. describing high-level structures of the organisation, business processes, data structures, automatically executable functions, constraints and so on. A model based development process (both with UML as well as a domain specific modelling language (DSML)) heavily relies on modelling core parts individually and composing those through generators to early and repeatedly cut code and tests from these models. We discuss in detail compositionality on models and heterogeneous modelling languages and how it supports agile evolution of such infrastructures.

Prof. Dr. Stefan Strecker
FernUniversität Hagen, Germany

Goal-Modelling: Organisation Theory, Domain-specific Modelling and Applications

"Organisations, despite their apparent preoccupation with facts, numbers, objectivity, concreteness, and accountability, are in fact saturated with subjectivity, abstraction, guesses, making do, invention, and arbitrariness ... just like the rest of us" (Weick 1980, p. 5) - This lecture addresses challenges when constructing a domain-specific modelling language (DSML) in support of managerial decision-making, specifically communication about intentions, expectations and goals of decision-makers and other human actors involved in such group processes. Following a method for designing a DSML (Frank 2010) presented in the early morning lecture, essential design alternatives and design decisions w.r.t. a respective language design will be discussed. A subsequent afternoon exercise session will further the discussion.

pdfdocDownload Material

Prof. Dr. Jan Vanthienen
Katholieke Universiteit Leuven, Belgium

Business Decision Modelling

Business processes incorporate lots of decisions. Business decisions are important, but are often hidden in process flows or activities. It is not considered good practice to model the detailed decision paths in the business process model, because hardcoding (decision) rules in processes leads to complex and inflexible process models. Separating rules and decisions from the process simplifies the process model (separation of concerns). In analogy with the Business Process Modelling & Notation Standard (BPMN), a Decision Model & Notation standard (DMN) is being developed. Decision modelling describes business decisions to be made, with their interrelationships and requirements, together with the detailed decision logic used to make the decision. One of the common forms of decision modelling is a structure of decision tables, describing the premises and resulting outcomes of a specific decision situation. This course is about the relations between business rules, decisions, decision tables, and business processes.

pdfdocDownload Material

Prof. Dr. Robert Winter
University of St. Gallen, Switzerland

Modelling Aspects of Enterprise Transformation Management

Enterprise Modelling can be conducted in an inside-out mode (i.e. representing ‘what is there’, e.g. by a federated set of models of the enterprise) or in an outside-in mode (i.e. representing ‘what is needed’ in different ways for certain stakeholders or stakeholder groups). Possible use scenarios for an outside-in perspective are, among others, IT consolidation management, business continuity management, risk management, or enterprise transformation programs. Due to the growing importance of transformations, e.g. in the context of digital business, this course focuses on ‘transformation’ as enterprise modelling application scenario. Transformation types are explained and respective modelling requirements/capabilities are discussed. As a special type of models which are important in the context of transformations, boundary objects are discussed.

pdfdocDownload Material

Dr. Liping Zhao
University of Manchester, UK

Modelling Business Applications with REA-Patterns

Published in 1982 by McCarthy, the REA (resource-event-agent) model is a fundamental business model. This model contains three basic business concepts, which are Resources, Events and Agents, and their relationships, which are stockflow, duality, control and responsibility. The REA model describes the fundamental structure and behaviour of any business enterprise. According to this model, the core of an enterprise’s activities over the course of its life is constituted by its history of economic exchanges or economic conversations with parties inside and outside of the firm’s boundaries.
Based on the REA model, Hruby and his colleagues at Microsoft Development Centre Copenhagen have developed a set of business patterns. These patterns are divided into Structural Patterns and Behavioural Patterns. Structural Patterns are instances of the REA model at the business operation level, whereas Behavioural Patterns extend the REA model with software system functionality. My lecture will first introduce the REA model and its associated business patterns. I will then elucidate how these patterns can be used to model a complete business application.

pdfdocDownload Material

Prof. Dr. Heinz Züllighoven
Universität Hamburg, Germany

Stefan Hofer
Universität Hamburg, Germany

Modelling with the eGPM Method

The example-based business process modelling method (eGPM) is a visual approach to model selected business processes and their IT-support. The models are easy to understand for people in different departments, business organization and its specialists alike. The method aims at common understanding and communication about the processes which are modelled. Characteristics of the eGPM method 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 the eGPM approach, 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 eGPM approach will be explained. The tutorial will provide hands-on experience with the eGPM tool. Examples from different application domains and usage contexts will show the usability of eGPM in many professional contexts.

pdfdocDownload Material

NEMO Summer School 2015

2nd Edition in the NEMO Summer School Series
July 20th - July 31st, 2015
University of Vienna, Austria

Click here to open the NEMO 2015 gallery
pdfdocDownload NEMO 2015 PROGRAMME

Prof. Dr. Xavier Boucher
Ecole Nationale Supérieure des Mines de Saint Etienne, France

Enterprise Engineering Needs for Product Service Systems

This contribution to NEMO 2015 is not oriented on innovations or research works concerning the theory and implementation of enterprise modelling tools and methodology. Complementary, it is focusing on an application area, which induce specific requirements and needs for such methodologies. Industrial Product Service Systems (PSS) are a recent industrial concept offering strong opportunities both for business innovation and sustainability improvement. Coupling or even integrating industrial production and service delivering poses many innovative challenges for the manufacturing industry at the technological, organizational and even human level. In the recent years, many international projects have contributed to important scientific advances in the field.
The lecture will first give a synthetic insight on Product Service Systems (PSS), to make possible for the audience to understand the key concepts of PSS and key industrial needs to manage an economical transition towards this new form of industrial economy.
Then, the lecture will underline specific research orientations directly linked to the needs of developing enterprise modelling and engineering solutions, to support the configuration, deployment, and life cycle management of Product Service Systems and value creation chains. The practical part of the lecture will propose to the audience the experimentation of a customized modelling tool, dedicated to the engineering and evaluation of PSS scenarios.

pdfdocDownload Material

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

Enrichment of Run-time Linked Data with Conceptual Model Semantics

The lecture introduces "conceptual model-aware" information systems as a vision overarching both traditional "data-aware" information systems and the emerging paradigm of "process-aware" information systems (PAISs). To this aim, the vision employs metamodelling as an enabler for domain-specific diagrammatic modelling, which enriches the semantics of back-end information, therefore extending the query possibilities at run-time. Linked Data is employed here as integration technology for model repositories, thus establishing a convergence between the paradigm of process-awareness and the Web of Data. The lecture generalizes ideas that emerged from experiences within the ComVantage EU research project. In order to facilitate understandability, a demonstrative proof-of-concept of minimal complexity illustrates the vision.

pdfdocDownload Material

Prof. Dr. Elisabetta di Nitto
Politecnico di Milano, Italy

Model driven DevOps of multi-clouds applications

Cloud computing is a major trend in the ICT industry. The wide spectrum of available Clouds, such as those offered by Microsoft, Google, Amazon, HP, AT&T, and IBM, just to mention big players, provides a vibrant technical environment, where even small and medium enterprises (SMEs) use cheap and flexible services creating innovative solutions and evolving their existing service offer. Despite this richness of environments, Cloud business models and technologies are characterized by critical issues, such as the heterogeneity between vendor technologies and the resulting lack of interoperability between Clouds. This implies that developing and operating applications on the Cloud can show some difficulties and that migrating the application from one Cloud to another may require some re-development effort. The purpose of this course/presentation is to show how model-driven engineering can be applied both to design and operation (DevOps) of cloud applications and can allow applications to exploit different clouds without requiring significant effort. Moreover, we will show how, thanks to models, it is possible to analyze and QoS characteristics of applications and keep them under control both at design time and at runtime.

pdfdocDownload Material

Prof. Dr. Hans-Georg Fill
University of Vienna, Austria

Business Process Management and Ontologies as an Application Domain for Meta-Modelling

In this lecture it will be shown how concepts of meta modelling can be applied in two core areas of modern information systems. For this purpose the lecture will start with a brief introduction into the theoretical foundations of meta modelling and the corresponding realization of modelling methods on the ADOxx meta modelling platform. Subsequently, the application areas of business process management and ontologies will be introduced. Thereby it will be particularly focused on the challenges and opportunities of adapting existing modelling concepts in these areas to the personal needs of users, organizations, as well as technical processing functionalities in the form of algorithms. As a solution to these challenges the introduced meta modelling concepts will be applied. Furthermore, it will be discussed how this approach permits to design and implement innovative software applications that bring together the technical opportunities of semantic technologies and established business process management methodologies. The concepts and applications will be illustrated using case studies from research and industry projects. In particular it will be reverted to concepts and implementations from the SeMFIS research project conducted at Stanford University that is hosted at www.omilab.org.

pdfdocDownload Material

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

A Method for Designing Domain-Specific Modelling Languages

In recent years, the development of domain-specific modelling languages (DSML) has gained remarkable attention. This is for good reasons: A DSML incorporates concepts that represent domain-level knowledge. Hence, systems analysts are not forced to reconstruct these concepts from scratch. At the same time, DSML contribute to model integrity, because they include already constraints that would otherwise to be added manually. Even though there has been a considerable amount of research on developing and using domain-specific modelling languages, there is still lack of comprehensive methods to guide the design of these languages. In this course the participants will learn to use a method for designing DSML. It includes heuristics to analyse requirements and meta-modelling guidelines that support frequent design decisions. The use of the method will be illustrated by the development of an example DSML.

pdfdocDownload Material

Prof. Dr. Wilfried Grossmann
University of Vienna, Austria

Process Modelling and Business Intelligence

Business Process Modelling (BPM) and Business Intelligence (BI) are two important areas in business informatics, which are treated, often rather separated from each other. Looking at the literature and the activities in the two areas shows that process modelling takes a look at the business from a more production and organizational oriented view, whereas business intelligence activities emphasize more the role of the customer in the business process. In this lecture we want to take a unified view onto these two approaches and show how BPM and BI support each other. For demonstration we use the activities of data understanding and data provisioning which are at the beginning of any BI activity. Due to the abundance of data on the Internet integration of traditional data sources and big data is a challenging task. We present a process model for data integration and show how this model can be realized using the ADOxx platform. The basic idea of the model is simultaneous processing of the data workflow and the associated workflow of the metadata which describe the data processing activities. Such a model supports better understanding of the data and extends traditional methods for accessing data quality.

pdfdocDownload Material

Prof. Dr. Yoshinori Hara
Kyoto University, Japan

Dr. Hisashi Masuda
Japan Advanced Institute of Science and Technology, Japan

Analysing Fundamentals of Japanese Creative Services and its Application to Global Service Enhancement

We define Japanese creative services and discuss how they have been sustained successfully and its application to global service enhancement. There are many “Shinise” (shops of long standing) service companies in Japan that are quite unique compared to the companies located in any other geographical region. They typically have anecdotal values based on nature and seasons, various types of culture, histories, and/or lifestyles. Several Japanese creative services are expanding their activities toward global markets. We explain the mechanisms of the sustainability and scalability of advanced cases of Japanese Creative Services. A key aspect of the mechanism is a communication between service providers and consumers based on sharing/interpreting/utilizing of tacit context in a community. For analysing the key aspect, we propose the combined approach of sociology/anthropology, psychology, engineering and design thinking. We developed a meta-modelling platform for handling the combined analysis of the Japanese Creative Services. We believe that this kind of approach will contribute to creating new values within the field of service science and for value-added global services.

pdfdocDownload Material

Prof. Dr. Takashi Hikino
Kyoto University, Japan

Changing corporate strategy and shifting organizational structure

Management research has long suggested that the development of the firm will follow a similar pattern of growth from a small company with a focused product or process to a large enterprise with technologically-related products and/or vertically-integrated processes. Within a single country or across national economies, the original variations in terms of focus and size of companies may have exhibited for societal non-economics reasons, but ultimately the market efficiency and effectiveness of related product portfolio and vertical integration eventually force most enterprises to adapt to the single trajectory of corporate evolution. Originally proposed by Alfred D. Chandler in the 1960s, this “convergence” model based on the experiences of U.S. large industrial enterprises has appealed to management scholars thanks to the continuous hegemony of American economy and its large industrial enterprises that play the major role within it. Ironically, however, as market liberalization progressed in the global economy since the 1980s, two different models of corporate evolution emerged to challenge the efficiency-driven model of firm growth. The first of the two models is the development of business groups with unrelated product portfolio mainly, yet not exclusively, in emerging markets. Management scholars have conventionally discarded this form of business enterprises as an inherently-inefficient organization that can survive only in the immature economic environment of emerging markets. As some of those economies have got to belong to the high-income OECD group such as South Korea, however, the nation’s flagship firms lime Samsung and LG still hold on to their original business group form. The second development that has contested the supremacy of the Chandlerian evolutionary model has come from the large enterprises that extensively adopted a network-type organizational structure. Rather than relying on intra-firm operations, enterprises today actively utilize extra-firm resources such as open innovation for R&D, OEM for production and strategic alliances for operational coordination. Through these reform measures today’s corporations aim to maximize strategic effectiveness and operational efficiency. This presentation aims to give a systematic review of the ongoing changes of corporate strategy and organizational structure and their economic reasoning and managerial implications.

pdfdocDownload Material

Prof. Dr. Knut Hinkelmann
Fachhochschule Nordwestschweiz FHNW, Switzerland

Case Management Modelling and Decision-aware Business Processes

Case management is the management of long-lived collaborative processes that require knowledge, information, and resources to achieve an objective or goal. The path of execution cannot be predefined. Human judgment is required in determining how to proceed. The OMG recently developed a new standard: Case Management Modelling and Notation (CMMN). The lecture will give an introduction into this modelling language and shows, how it can be integrated with Business Process Model and Notation (BPMN). Decision-making is a type of knowledge-intensive tasks which occurs in both cases and structured processes. Decision-aware business processes separate decision logic from process flow, making process models simpler and easier to modify.

pdfdocDownload Lecture Material
pdfdocDownload Exercise Material

Dr. Manfred Jeusfeld
Skövde University, Sweden

Constraints between modeling perspectives

Enterprise models span all levels and perspectives of objects relevant to an enterprise, such as goal models, process models, data models, product models, network structures, interfaces, and so forth. Such models must be kept consistent with each other. The lecture proposes a constraint language that allows to formulate rules at an abstraction level that facilitates their automated re-use. We also discuss the mechanism that makes the elements of heterogeneous modeling languages related to each other and how we can use this view to plan the links between such modeling languages. The technique is applied to existing enterprise modeling approaches such as 4EM and Archimate to demonstrate the required effort. Practical examples and exercises use the ConceptBase metamodeling system.

pdfdocDownload Material

Prof. Dr. Dimitris Karagiannis
University of Vienna, Austria

Conceptual Modelling: Knowledge ‘in’ and ‘about’ models

As the paradigm of Enterprise modeling originally envisioned, a hybridization of modeling 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 “modeling method framework” [Karagiannis/Kühn,2003] establishes key building blocks - i.e. the modeling language, the modeling procedure and mechanisms/algorithms - to enable the required hybrid modeling and to increase the value of models beyond their traditional functions. As the importance of Next Generation Enterprise Modeling in the age of the Internet of Things, Industry 4.0, Industrial 3-D printing etc.,increases, new modeling 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 modeling 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 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 Modeling Method Engineering. The main assumption is that a modeling method may evolve iteratively based on changing modeling requirements and > feedback loops. Within the context of AMME, a full methodological approach is established by the OMiLab Laboratory (http://www.omilab.org), with the 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 meta modeling domain-specific language MM-DSL and the meta-modeling platform ADOxx (http://www.adoxx.org).

pdfdocDownload Material

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

Prof. Dr. Pericles Loucopoulos
University of Manchester, UK

Capability Driven Enterprise Knowledge Modelling for Representation and Analysis

Enterprise modelling has been defined as the ‘art of externalising enterprise knowledge’. In addition, analysis of enterprise models has been used to gain knowledge about the enterprise through simulation or deduction, often by comparing a model of the current state and a model of a future, potentially better state. Examples of analysis made possible using enterprise models include strategic planning, process optimisation, change management and business/IT alignment. Traditional approaches to enterprise modelling approaches rely on “blueprint thinking” that focuses on the formal structure and organisation of the enterprise, with business processes being the fundamental components of the enterprise operation. Such approaches generally assume enterprises as deterministic, top-down managed entities, with a well defined group of clients, a set of services or products provided to these clients, processes to develop and maintain products or services, and suppliers providing the input to processes. However, the prevalence and volatility of digital enterprises shifts enterprise modelling towards a more dynamic enterprise configuration, to embrace the idea of dynamic adaptation according to the internal and external influences that constantly (re-)shape the business environment. To this end, enterprise modelling research has adopted model driven development methods and service oriented architectures originating from the software development domain, as a means to achieve flexible service delivery and the notion of dynamic capability from the strategic management domain in order to address adaptation to the dynamic business context. This talk will outline emergent trends in the field, introduce a conceptual framework for capability driven development of enterprise knowledge and discuss how this can be used to enable the design of capabilities and services using examples from various application areas.

pdfdocDownload Material

Prof. Dr. Marite Kirikova
Riga Technical University, Latvia

Enterprise Modeling and Information Security

Current business process modeling approaches are well appropriate for showing the sequence of activities. They are less suitable for reflecting information flows. However, to reason about information security, the reflection of information flows is an essential instrument for analyzing the way how information shall be organized with respect to the security. While the security refers not only to the technical devices and access rights in databases, also the enterprise models that reflect organizational structure (including particular individuals), technical architecture, information architecture, and relationships between aforementioned models are useful to identify and use different patterns that reflect the need for caring for security and the corresponding methods of establishing the requested level of security. Several security patterns prescribed by SREBP approach will be presented and analyzed in the context of enterprise models.

pdfdocDownload Material

Prof. Dr. John Krogstie
Norwegian University of Science and Technology, Norway

Quality of Enterprise Models

We have for many years worked with SEQUAL, a framework for understanding the quality of models and modelling languages, which covers all main aspects relative to quality of models.
SEQUAL has three unique properties compared to other frameworks for quality of models:
It distinguishes between quality characteristics (goals) and means to potentially achieve these goals by separating what you are trying to achieve from how to achieve it ; It is closely linked to linguistic and semiotic concepts. In particular, the core of the framework including the discussion on syntax, semantics, and pragmatics is parallel to the use of these terms in the semiotic theory of Morris. A term such a 'quality' is applicable on all semiotic levels. We include physical, empirical, syntactical, semantical, pragmatic, social, and deontic quality in the work on SEQUAL ; It is based on a constructivistic world-view, recognizing that models are usually created as part of a dialogue between those involved in modelling, whose knowledge of the modelling domain changes as modelling takes place. We will in the talk present the general SEQUAL framework and how it can be specialized for investigating the quality of enterprise model. Starting from a generic framework means that we can reuse a number of aspects being of general relevance for modelling, and thus better ground the proposals, both for quality of enterprise models, modelling languages, and accompanying approaches, methods and tools to achieve and keep models of high quality.

pdfdocDownload Material

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

Modelling Issues for Distributed Mobile Business Processes

Generally enterprise modelling for business process has not significantly dealt with process’ mobility with temporal requirements over geographical space. For example, it will be one of the mobility issues that the mobility of actors in business process should be geographically specified and verified with deadlines in a target business environment. Among formal methods, process algebra is the most suitable method for modelling the mobility over such distributed environments, due to the notion of the concurrency, distribution, movement, interaction and the control of processes, as well as their temporality. The most well-known process algebras are CCS, π-Calculus, Mobile Ambient, ACSR, etc. However they have limitations to represent the real aspects of the mobility due to the lack of features to represent different types of mobility, based on different aspect of autonomy, synchrony, priority, temporality, etc. In the lecture, a new algebra, called δ-Calculus, will be introduced to show how the algebra with the full features can be used to model the mobility. The appropriateness of the calculus will be demonstrated in a tool, called SAVE, which has been developed on ADOxx meta-modelling platform. At the end, the detailed architecture of the tool will be presented to show how effectively and efficiently the tool has been developed by using the basic facilities of ADOxx.

pdfdocDownload Material

Prof. Dr. Leszek A. Maciaszek
Wrocław University of Economics, Poland

Modelling Adaptive Complex Systems

Traditional software engineering and management struggles to properly address systems complexity and adaptiveness. It offers only incomplete and disconnected methods for building software systems with only fragmentary ability to dynamically accommodate change and to grow gracefully. The contemporary paradigm shift to cloud-based service-oriented software production and delivery has introduced new difficulties and perspectives on complexity management. Service systems assume dynamic composition of services and emergent behavior and, therefore, they emphasize implementation over architecture (and over project management at large). The consequences are unclear. This course will discuss modelling of both traditional and modern information systems from the viewpoint of their adaptive complexity and will identify opportunities and risks that service-centered thinking brings into the discipline of software engineering.

pdfdocDownload Material

Prof. Dr. Heinrich Mayr
Alpen-Adria Universität Klagenfurt, Austria

Dr. Judith Michael
Alpen-Adria Universität Klagenfurt, Austria

Dr. Suneth Ranasinghe
Alpen-Adria Universität Klagenfurt, Austria

Modeling for Ambient Assistance

Ambient assistance is a continuously growing field in ICT: Based on smart sensors, life video analysis techniques as well as speech recognition and text-to-speech applications various kinds of human centered assistance become feasible and affordable.
The range of applications is broad and covers everyday situations in private and business environments as well as support for people with special needs. Consequently, Ambient As-sistance is a challenging and promising field for computer scientists, software engineers and information technicians in both, research and application, with lots of questions to answer and technical solutions to find. Since dealing with the support of humans, it is an interdisci-plinary field affecting Psychology (activity theory, mental behavior etc.), Neurology, Medi-cine, Law (privacy, data security), Philosophy (ethics), Domotics (home automation systems) and others more. Models play a key role in ambient assistance systems as they act as the integral means for data and knowledge acquisition, representation, evaluation and exchange for the various system components. We will start our lecture with a short overview of already existing best practice examples and then work out the key notions and concepts that form the basis of modeling endeavors in that field. Based here-on, we will discuss the objectives, concepts and elements of the “Human Cognitive Modeling Language” HCM-L, which was developed in the “Human Behavior Monitoring and Support” project HBMS.

pdfdocDownload Material

Prof. Dr. Jose Palazzo Moreira de Oliveira
Universidade Federal do Rio Grande do Sul, Brazil

Vocabulary problem in BPM

The central point of this presentation is the vocabulary problem in the context of process models and why ontologies can improve this representation. Process models are composed of graphical elements and words. However, words used to name elements during process design have potentially ambiguous meanings, which might result in quality problems. Different levels of explicitness affect the labels but are not sufficient to solve the vocabulary problem. The use of ontologies, dictionaries, and thesaurus is a mean to improve the identification of activity process models' labels. This presentation discusses aspects related to words used to represent concepts in labels and why ontologies can improve this representation. Another aspect discussed is the verification if ontologies supporting modelling do not generate drawbacks such as increasing modeller's cognitive load.

pdfdocDownload Material

Prof. Dr. John Mylopoulos
University of Toronto, Canada & University of Trento, Italy

Strategic Models of Enterprises

Enterprise modelling is largely focused on tactical and structural models that capture respectively business processes and enterprise architecture. However, for business analysis and design, strategic models are arguably more important, as they capture the strategic objectives of an enterprise and the alternative ways they might be achieved. This presentation will offer an overview of strategic modelling techniques, and will then focus on the Business Intelligence Model (aka BIM), the types of analysis it supports and some of its extensions and applications.

Prof. Dr. Andreas Oberweis
Karlsruhe Institute of Technology, Germany

Dr. Agnes Koschmider
Karlsruhe Institute of Technology, Germany

Business Processes for Business Communities

Several languages have been suggested for modelling business processes. Practice shows, however, that a powerful modelling language alone is not enough. Users require guidance and assistance in the preparation of models, that is, during application of the language. In this course the students will learn the Hours Method. This method defines various stages of modelling and is a recipe-like guideline that has been proven in practice. In practical exercises to this lecture students will collaborate in a Web 2.0-based social network, to define business objectives, strategies and business processes together and will elaborate a common understanding of an organisation.

pdfdocDownload Material

Prof. Dr. Oscar Pastor
Polytechnic University of Valencia, Spain

From Requirements to Code: Conceptual Model-based Software Design

A crucial success factor in information systems development is the alignment of the system with business goals, business semantics and business processes. Developers should be freed from programming concerns and be able to concentrate on these alignment problems. the application of sound Conceptual Modeling techniques within a Model-driven system development (MDD) not only provides a structured and systematic approach to systems development, but also offers developers the possibility of using model transformation technologies to derive models of a lower abstraction level that can be further refined, and even generate software code automatically. From the experience got with the advanced MDD platform provided by Integranova, this presentation will show how to successfully integrate business process modelling (BPM), requirements engineering (RE) and object-oriented conceptual modelling with the objective of leveraging MDD capabilities. The current state of the art on modelling methods and code generation tools will be discussed to explore different ways to match an information system with business requirements. Concrete principles, concepts and common practices of MDD will be presented with a special focus on model-driven requirements engineering, meaning by it how business process models and requirements models can be embedded in a complete Conceptual Modeling-based software production process. As a practical application, a specific method and notations are explained, but the ultimate goal is that assistants are able to apply this knowledge to their own contexts, either in industrial practice or academic research.

pdfdocDownload Lecture Material
pdfdocDownload Exercise Material

Prof. Dr. Dimitris Plexousakis
University of Crete and FORTH-ICS, Greece

Dr. Theodore Patkos
FORTH-ICS, Greece

Modelling Knowledge, Action and Time: Action Theories and Their Application in Dynamic Uncertain Domains

The modelling of knowledge, action and time is a topic of current research within the broader domain of knowledge representation and reasoning. The course will focus on declarative approaches for modelling and reasoning with change, paying particular attention to the integration of knowledge and action (by means of artificial software agents). As time is inherent in any type of activity and process, the course will also deal with the representation of temporal properties that characterize the occurrence of actions and the knowledge they generate. Practical aspects of reasoning about knowledge action and time in the context of agent-based systems, ambient intelligence and cognitive robotics will be exposed in addition to the theoretical frameworks. Students will also have the ability to conduct exercises with software implementing a fully-axiomatized event-based formalism, in order to address reasoning problems involving aspects such as commonsense reasoning and planning, cast in the context of ambient environments and cooperating intelligent agents.

pdfdocDownload Material

Prof. Dr. Nineta Polemi
University of Piraeus, Greece

Supply Chain Security Services, Models and Procedures

For over a decade significant research efforts have been made towards risk assessment (RA) methodologies especially suited to Critical Infrastructures (CIs). In principle, most of the risk assessment methodologies focus on the identification of threats, vulnerabilities and the related impact and ultimately on the evaluation of the underlying risks. During the lecture, the basic RA concepts and methodological steps will be clarified and open issues will be presented; emphasis will be provided in the weakness of the existing risk assessment methodologies to capture the cascading effects occurring from cross-sectoral and/or cross-border dependencies. As a consequence, they tend to focus on organization-wide risks and they fail to capture the security needs of more complex eco-systems of interdependent organizations. Supply chains are an instance of such a complex, inter-dependent eco-system. A supply chain (SC) contains all resources and processes for the purchase of goods including manufacturing, processing, handling and delivery of goods and related services to the purchaser. SC security management involves the assessment of security risks deriving from interdependent CIs from various sectors, with the transportation sector playing a central role. Indeed, CIs of the transportation sector such as ports, railways and airports are characterized by a plethora of interdependencies at multiple levels (infrastructural, national/intra-sectoral). During the lecture a SC risk assessment methodology (MEDUSA methodology ) will be presented that aims to systematically identify and model interdependencies among business partners within a SC; to evaluate the security risks affecting each business partner and the SC as a whole; to evaluate the security risks arising from various sub-chains within the SC. Specific case study in the maritime sector will be presented in order to clarify the steps of the MEDUSA methodology. The students will be provided with supportive material in order to model the methodology in the specific case study.

pdfdocDownload Material

Prof. Dr. Peter Reimann
University of Sydney, Australia

The role of modelling in educational learning design

Modelling in the Computer Science sense so far plays only a minor role in educational computing. In order to change this, not only do educational design and technology specialists gain a better understanding of modelling, but those involved in developing modelling methods and tools will have to understand the nature of educational design, and the challenges involved. My goal for this small lecture series is to provide for a basic understanding for the nature of design that is relevant to education (in particular, but not exclusively, higher education), to sketch the state of the art of modelling in learning design, and to identify challenges for a better integration of modelling into educational computing and design practices: the first lecture will focus on design patterns in education ; the second lecture will focus on formal approaches to modelling ; the third lecture will look a open research issues, and probe into the question of how to engage the educational design community with modelling methods and tools.

pdfdocDownload Material

Prof. Dr. Ulrich Reimer
University of Applied Sciences St. Gallen, Switzerland

Ontology Modelling with Description Logics

After a short introduction into what anontology is the course will focus on modelling ontologies using description logics. We will explain the rationale behind the use of a mathematical formalism like description logics as the means to model ontologies. The model-theoretic semantics underlying description logics lays the foundation for terminological reasoning from which various added-value services can be derived. Moreover, since representing ontologies with description logics makes them machine-understandable the ontologies can be easily shared and utilized by different applications, i.e. the semantics is inherent in the representation and does not reside in the programs interpreting the representations. The course will give examples how ontologies can be utilized for enterprise modelling.

pdfdocDownload Material

Prof. Dr. Wolfgang Reisig
Humboldt University Berlin, Germany

Foundations of conceptual modelling

The basic notions of the NEMO summer school include the terms of enterprise modeling, modeling methods, etc. We start with some general observations about those notions and their role in (business) informatics. This includes the validation, verification, evaluation, and transformation etc. of models. The second part of this contribution is dedicated to foundations of conceptual modeling. Here we pose the question of what the very basics of (discrete) models are, and how a systematic setting of modeling techniques, in particular for enterprise models, may be achieved. We study a number of fundamentally different, yet successful modeling- and analysis methods and discuss the trade of between expressiveness and analysis techniques.

pdfdocDownload Material

Prof. Dr. Matti Rossi
Aalto University, Finland

Domain Specific Modelling

The lecture introduces students to developing new modelling languages through Domain Specific Modelling approach with MetaEdit+ platform. During this lecture the students will get an overview of working with MetaEdit+ when developing DSM's and then they can use MetaEdit+ to build a support environment for their own modelling language. The tool allows language developers to rapidly build and evolve their methods and then try them out on the fly.

pdfdocDownload Material

Prof. Dr. Jan Vanthienen
KU Leuven, Belgium

Business Decision Modelling

Business processes incorporate lots of decisions. Business decisions are important, but are often hidden in process flows or activities. It is not considered good practice to model the detailed decision paths in the business process model, because hardcoding (decision) rules in processes leads to complex and inflexible process models. Separating rules and decisions from the process simplifies the process model (separation of concerns). In analogy with the Business Process Modelling & Notation Standard (BPMN), a Decision Model & Notation standard (DMN) is developed. Decision modelling describes business decisions to be made, with their interrelationships and requirements, together with the detailed decision logic used to make the decision. One of the common forms of decision modelling is a structure of decision tables, describing the premises and resulting outcomes of a specific decision situation. This course is about the relations between business rules, decisions, decision tables, and business processes.

pdfdocDownload Material

Prof. Dr. Jelena Zdravkovic
University of Stockholm, Sweden

Capability-oriented Enterprise Modelling and Requirements Engineering

Lately the notion of capability is gaining much presence within the field of Information Systems Engineering, due to a number of factors: the notion directs business investment focus, it can be used as a baseline for business planning, and it leads directly to service specification and design. Historically, it has been examined in Economics, Sociology, and Management Science. More recently, it has been considered in the context of Enterprise Modelling, for the specification and design of Information Systems using business planning as the baseline. The need for organizations to operate in changing environments is addressed by proposing a capability-oriented approach that integrates organizational development with IS development taking into account changes in the application context of the solution. This is referred to as Capability Driven Development (CDD). To ensure the needs of business stakeholders for variety of business contexts that an organization faces, and thus facilitate successful systems delivery, capability- driven development includes a well-defined method for requirements engineering, as well as its confirmation in practices. A number of components related to the use of the CDD approach are elaborated - CDD methodology, capability delivery application, patterns for reuse, industrial cases and a tool support.

pdfdocDownload Material

Prof. Dr. Heinz Züllighoven
University of Hamburg, Germany

Holger Breitling
Workplace Solutions GmbH, Germany

Modelling with the eGPM Method

The example-based business process modelling method (eGPM) is a visual approach to model selected business processes and their IT-support. The models are easy to understand for people in different departments, business organization and its specialists alike. The method aims at common understanding and communication about the processes which are modelled. Characteristics of the eGPM method 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 the eGPM approach, 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 eGPM approach will be explained. The tutorial will provide hands-on experience with the eGPM tool. Examples from different application domains and usage contexts will show the usability of eGPM in many professional contexts.

pdfdocDownload Material

NEMO Summer School 2016

3rd Edition in the NEMO Summer School Series
July 18th - July 29th, 2016
University of Vienna, Austria

Click here to open the NEMO 2016 gallery
pdfdocDownload NEMO 2016 PROGRAMME

Prof. Dr. Xavier Boucher
Ecole Nationale Supérieure des Mines de Saint Etienne, France

Dr. Khaled Medini
Ecole Nationale Supérieure des Mines de Saint Etienne, France

Enterprise Engineering Needs for Product Service Systems

This contribution to NEMO 2016 is not oriented on innovations or research works concerning the theory and implementation of enterprise modelling tools and methodology. Complementary, it is focusing on an application area, which induces specific requirements and needs for such methodologies. Industrial Product Service Systems (PSS) are a recent industrial concept offering strong opportunities both for business innovation and sustainability improvement. Coupling or even integrating industrial production and service delivering poses many innovative challenges for the manufacturing industry at the technological, organizational and even human level. In the recent years, many international projects have contributed to important scientific advances in the field. The lecture will first give a synthetic insight on PSS, to make possible for the audience to understand the key concepts of PSS and key industrial needs to manage an economical transition towards this new form of industrial economy. Then, the lecture will underline specific research orientations directly linked to the needs of developing enterprise modelling and engineering solutions, to support the configuration, deployment, and life cycle management of PSS and value creation chains. The practical part of the lecture will offer the audience the opportunity to experiment a customized modelling tool implemented using the ADOxx platform, named ‘PSS Scenarios Modeler’. PSS Scenarios Modeler is designed to support PSS engineering through a progressive capitalization of the designers’ ideas and knowledge throughout the engineering process. The audience will go through a stepwise modelling process to define PSS organizational scenario in a specific context.

pdfdocDownload Material

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

Enriching Linked Data with Semantics from Domain-Specific Diagrammatic Models

A key driver of the Linked Data paradigm is the ability to lift data graphs from legacy systems, by employing various adapters and RDFizers (e.g., D2RQ for relational databases, XLWrap for spreadsheets). Such approaches aim towards removing boundaries of enterprise data silos by having them open to cross-organisational linking within a "Web of Data". An insufficiently tapped source of machine-readable semantics is the underlying graph nature of diagrammatic conceptual models - a kind of information that is richer compared to what is typically lifted from table schemata, especially when a domain-specific modelling language is employed. The lecture advocates an approach to Linked Data enrichment based on a diagrammatic model RDFizer originally developed in the context of the ComVantage FP7 research project. The presentation will provide a minimal but illustrative example from which arguments will be generalized beyond the originating project context, leading towards a proposed vision of "conceptual model"-aware information systems.

pdfdocDownload Material

Prof. Dr. Jin-Young Choi
Korea University, Korea

Formal Methods for High Reliable Systems

In the age of Internet of Things, business models often require high reliable requirements and specifications. In this talk, we define three important properties of software which are "reliability", "safety" and "security". We then introduce several formal methods in terms of formal specification and formal verification. We show briefly that how we can use formal methods to build models with high reliable/safe/secure properties.

pdfdocDownload Material

Prof. Dr. Elisabetta di Nitto
Politecnico di Milano, Italy

Dr. Damian Tamburri
Politecnico di Milano, Italy

Model-Driven Engineering for Data Intensive Applications

Big Data technologies have rapidly achieved widespread adoption for many reasons, e.g., thanks to the versatility with which they foster innovative products by direct analysis of various user contents (e.g., tweets, blogposts, likes, pictures, etc.). However, designing and developing Big Data applications is still a considerable problem since: (a) it involves many side-costs the time spent on learning about and designing with the many big data frameworks; (b) it requires to balance out infrastructural and corporate governance costs with (non-trivial) development and deployment costs; (c) it most likely requires additional costs for the various trial-and-error experiments needed to match desired performance. We argue that a relevant part of said costs can be saved by tackling the design, development and deployment of Data Intensive Applications (DIAs) with Model-Driven Engineering (MDE) framed into a DevOps process. The purpose of this course/presentation is to show how MDE and DevOps have been applied to the design of Data Intensive Applications and to identify new research areas and issues.

pdfdocDownload Material

Prof. Dr. Hans-Georg Fill
University of Vienna, Austria

Business Process Management and Ontologies as an Application Domain for Meta-Modelling

In this lecture it will be shown how concepts of meta modelling can be applied in two core areas of modern information systems. For this purpose the lecture will start with a brief introduction into the theoretical foundations of meta modelling and the corresponding realization of modelling methods on the ADOxx meta modelling platform. Subsequently, the application areas of business process management and ontologies will be introduced. Thereby it will be particularly focused on the challenges and opportunities of adapting existing modelling concepts in these areas to the personal needs of users, organizations, as well as technical processing functionalities in the form of algorithms. As a solution to these challenges the introduced meta modelling concepts will be applied. Furthermore, it will be discussed how this approach permits to design and implement innovative software applications that bring together the technical opportunities of semantic technologies and established business process management methodologies. The concepts and applications will be illustrated using case studies from research and industry projects. In particular it will be reverted to concepts and implementations from the SeMFIS research project conducted at Stanford University that is hosted at www.omilab.org.

pdfdocDownload Material

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

A Method for Designing Domain-Specific Modelling Languages

In recent years, the development of domain-specific modelling languages (DSML) has gained remarkable attention. This is for good reasons: A DSML incorporates concepts that represent domain-level knowledge. Hence, systems analysts are not forced to reconstruct these concepts from scratch. At the same time, DSML contribute to model integrity, because they include already constraints that would otherwise to be added manually. Even though there has been a considerable amount of research on developing and using domain-specific modelling languages, there is still lack of comprehensive methods to guide the design of these languages.
In this course the participants will learn to use a method for designing DSML. It includes heuristics to analyse requirements and meta-modelling guidelines that support frequent design decisions. The use of the method will be illustrated by the development of an example DSML.

pdfdocDownload Material

Prof. Dr. Kelly Johany Garces Pernett
Universidad de Los Andes, Colombia

Transferring Model-Driven visualizations concepts to Internet Of Things

Software is constantly evolving; this evolution is motivated by different reasons such as the obsolescence of a technology, the pressure of users, or the need to build a single coherent information system when merging companies. My research lies in the field of software modernization, a kind of evolution that refers to understand and evolve existing software assets to maintain a large part of their business value. In my talk, I present a Model-Driven Engineering approach to leverage modernization. The approach consists of two phases: i) Knowledge discovery of the existing system, ii) Transformative steps that move the as-is state to the to-be state. The first phase involves reverse engineering the existing software and presenting several different views to the users. The views help users to understand the legacy in an agnostic way and to take decisions that guide the transformative steps. I present results of the approach application into two projects that involves Colombian academic and industrial partners. This work has helped us to gain experience on Model-Driven visualizations that can be transferred to the Internet Of Things field where there are data understanding challenges. One can think about Model-Driven tools that produce metric-centered visualizations that helps one to discover aspects on the data emitted by devices. The reasons to use modeling in this field are: the power of models to unify inputs from different origins (i.e., devices) and the facility of building graphical editors on top of models. The talk ends with a practical work where participants will build a graphical editor based on a model.

pdfdocDownload Material

Prof. Dr. Wilfried Grossmann
University of Vienna, Austria

Process Modelling and Business Intelligence

Business Process Modelling (BPM) and Business Intelligence (BI) are two important areas in business informatics, which are treated, often rather separated from each other. Looking at the literature and the activities in the two areas shows that process modelling takes a look at the business from a more production and organizational oriented view, whereas business intelligence activities emphasize more the role of the customer in the business process.
In this lecture we want to take a unified view onto these two approaches and show how BPM and BI support each other. For demonstration we use the activities of data understanding and data provisioning which are at the beginning of any BI activity. Due to the abundance of data on the Internet integration of traditional data sources and big data is a challenging task. We present a process model for data integration and show how this model can be realized using the ADOxx platform. The basic idea of the model is simultaneous processing of the data workflow and the associated workflow of the metadata which describe the data processing activities. Such a model supports better understanding of the data and extends traditional methods for accessing data quality.

pdfdocDownload Material

Prof. Dr. Yoshinori Hara
Kyoto University, Japan

Assoc. Prof. Dr. Hisashi Masuda
Japan Advanced Institute of Science and Technology, Japan

Japanese Creative Services as a Next Generation Enterprise Modelling

We define Japanese creative services and discuss how they have been sustained successfully and its application to global service enhancement. There are many ``Shinise'' (shops of long standing) service companies in Japan that are quite unique compared to the companies located in any other geographical region. They typically have anecdotal values based on nature and seasons, various types of culture, histories, and/or lifestyles. Several Japanese creative services are expanding their activities toward global markets. We explain the mechanisms of the sustainability and scalability of advanced cases of Japanese Creative Services. A key aspect of the mechanism is a communication between service providers and consumers based on sharing/interpreting/utilizing of tacit context in a community. For analyzing the key aspect, we propose the combined approach of sociology/anthropology, psychology, engineering and design thinking. We developed a meta-modeling platform for handling the combined analysis of the Japanese Creative Services. We believe that this kind of approach will contribute to creating new values within the field of service science and for value-added global services.

pdfdocDownload Material

Prof. Dr. Igor Hawryszkiewycz
University of Technology Sydney, Australia

Modelling Requirements in Design Thinking

Design thinking is increasingly used to design systems in complex environments. Briefly, design thinking is a social process where stakeholders work in interdisciplinary teams to create innovative solutions. The focus here is on brainstorming rather than analytical design. Visualizations are almost natural here as stakeholders look at visual representations of solutions, identify issues and discuss alternatives. The important aspect of design thinking is that it leads to creativity outcomes followed by innovative solutions.
The lecture will define modelling requirements to support design thinking. It will do so by briefly introducing design thinking and by presenting creativity tools used to develop a solution. The approaches of (a) creativity focused modelling and (b) solution modelling will be presented in more detail. The first approach deals with the modelling tools and techniques that teams use to arrive at a solution. In the second approach designers choose the constructs that naturally reflect the desired solution space, whereas the solution space can be seen from a number of different perspectives. The practical application of these is shown in an ADOxx tool, were we have now developed four perspectives for representing solutions.

pdfdocDownload Material

Prof. Dr. Knut Hinkelmann
FHNW University of Applied Sciences and Arts Northwestern, Switzerland

Modeling Knowledge Work: Case Management and Decision-aware Business Processes

Modelling Knowledge Work is based on two principles: (1) the separation of business logic and process logic and (2) the support of both structured and unstructured knowledge. Case management is the management of long-lived, non-structured collaborative processes that require knowledge and information. The path of execution cannot be predefined but depends on human skills and judgment. The OMG recently developed the Case Management Modelling and Notation (CMMN). For real processes, however, there is no strict separation between structured processes and cases. The lecture will give an introduction into this modelling language and shows, how it can be integrated with Business Process Model and Notation (BPMN). Decision-aware business processes separate business logic from process flow, making process models simpler and easier to modify. This can be achieved by combining process modelling with the Decision Model and Notation (DMN).

pdfdocDownload Material

Dr. Manfred Jeusfeld
University of Skövde, Sweden

Constraints between modeling perspectives

Enterprise models span all levels and perspectives of objects relevant to an enterprise, such as goal models, process models, data models, product models, network structures, interfaces, and so forth. Such models must be kept consistent with each other. The lecture proposes a constraint language that allows to formulate rules at an abstraction level that facilitates their automated re-use. We also discuss the mechanism that makes the elements of heterogeneous modeling languages related to each other and how we can use this view to plan the links between such modeling languages. The technique is applied to existing enterprise modeling approaches such as 4EM and Archimate to demonstrate the required effort. Practical examples and exercises use the ConceptBase metamodeling system.

pdfdocDownload Material

Prof. Dr. Dimitris Karagiannis
University of Vienna, Austria

Agile Modelling Method Engineering – AMME

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).

pdfdocDownload Material

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

Prof. Dr. Pericles Loucopoulos
University of Manchester, UK

Capability Oriented Enterprise Knowledge Modelling: The CODEK approach

In order to address dynamic requirements of today’s business environments, Enterprise Modelling has shifted focus on more agile approaches that can offer designers the opportunity to dynamically configure enterprises depending on the requirements that arise as a result of changes in the enterprise domain and its ecosystem. This lecture will outline the key ideas and the main concepts of an approach known as CODEK (Capability Oriented Designs with Enterprise Knowledge). CODEK uses ‘business capabilities’ as a conceptual conduit that can integrate the contextual, service, operational and teleological viewpoints of organizations and enable integrated reasoning on enterprise requirements and evolutionary decisions. Further to introducing to the notion of capability in Enterprise Modelling the objective of this lecture is to demonstrate how a capability oriented approach can guide the design and evaluation of alternative enterprise models that meet the challenges of alignment and agility and define a number of challenges for researchers and practitioners alike.

pdfdocDownload Material

Prof. Dr. Marite Kirikova
Riga Technical University, Latvia

Enterprise Modeling and Information Security

Current business process modeling approaches are well suited for showing the sequence of activities. They are less appropriate for reflecting information flows. However, in the context of information security, the reflection of information flows is an essential instrument for analyzing the way how information shall be organized with respect to the activity flow and enterprise architecture. Taking into consideration that security concerns not only technical devices and access rights in databases, the enterprise models that reflect organizational structure (including particular individuals), technical architecture, information architecture, and relationships between aforementioned models are useful to identify and use different patterns that reflect the need for caring for security. The usage of the enterprise models also helps to identify methods for establishing the requested level of security. To illustrate how enterprise models can be used in caring for information security, several security requirements patterns, represented in BPMN, will be discussed focusing on the relationship between the information flow in the pattern and the corresponding enterprise architecture elements.

pdfdocDownload Material

Prof. Dr. Dimitris Kiritsis
EPFL, Switzerland

Semantic technologies for industrial applications

The use of semantic technologies and ontologies is becoming more and more popular in engineering applications and particularly in product modelling. Still, the use is limited in academia and applications are of a small scale. In this lecture we will present the research work done by the ICT for Sustainable Manufacturing group of EPFL, Switzerland, on the use of ontology-based technologies for the life cycle management of products and engineering assets. It aims at providing both a wider understanding of the benefits of applying such technologies in the complex environment of product and asset life cycle management and at providing a platform for implementing ontology models in industrial environments.

pdfdocDownload Material

Prof. Dr. Kiyoshi Kobayashi
Kyoto University, Japan

Social Capital and Regional Learning Governance: A Japanese Perspective

Recently the use of a participatory approach encouraging various regional actors to engage in the process of developing regional projects has been institutionalized and promoted in the context of Japanese regional development. An interactive process among regional actors with various views and interests, however, could result in counterproductive conflicts preventing those actors from cooperating with each other towards regional growth. This lecture highlights the role of legitimacy capital, as a part of social capital in a business context, to effectively manage conflicts over regional development by promoting an alignment of various interests and opinions of regional agents with a socially legitimate ideal. Legitimacy capital, which involves rules, norms, reciprocal rights and obligations, is developed through a series of discourses among various actors in society. The lecture presents normative principles and conditions to sustain discourse system for developing legitimacy capital on the basis of discourse theories and investigates the role of legitimacy capital to sustain and promote regional learning among multiple stakeholders for local development from the perspective of discourse theory. Introducing the concept of discourse systems, it is pointed out that regional learning practices consist of micro discourses focusing on specific regional debate and macro discourses focusing on the whole discourse system, and that social capital plays important roles both for strengthening the bond of each discourse initiative (bonding social capital) and for bridging network connections between different discourse spheres (bridging social capital).

pdfdocDownload Material

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

A Meta-Modeling Method for IoT Using Process Algebra and Behavior Ontology

Things of IoT behave like living things behave in society. In order to understand the behavior of the things systematically, it is necessary to abstract the behavior in formal and collective patterns. In that perspective of abstracting behaviour of the things, this lecture presents a meta-modeling method to abstract the behavior in the patterns as follows. Firstly, the basic individual actions of the behavior are represented as movement actions in process algebra, called δ-Calculus, in a geo-temporal space, called GTS. Secondly, the actions of the things are grouped together in sequence as behaviours in ontology, called Behaviour Ontology, in an abstraction space, called n:2-lattice. In this way, the behavior of the things can be represented in mathematically structred patterns and be organzied hierachically in the collective patterns of population of the things. In the method, the requirements for the secure and safe behaviors will be specifed and verified using GTS Logic, and be represented as dynamic contraints in the lattice. Further the relations between the GTS space and the lattice space can be investigated. In order to show the applicability of the approach, an IoT example for Emergency Medical Systems will be used for demonstration on a tool, called SAVE. SAVE is a ptototype tool to specify, analyze, verify and evaulate distributed mobile real-time systems. It has been developed on ADOxx meta-modelling platform. At the end, the detailed architecture of the tool will be presented to show how effectively and efficiently the tool has been developed by using the basic facilities of ADOxx.

pdfdocDownload Material

Prof. Dr. Heinrich C. Mayr
Alpen-Adria Universität Klagenfurt, Austria

Dr. Judith Michael
Alpen-Adria Universität Klagenfurt, Austria

Dr. Fadi Al Machot
Alpen-Adria Universität Klagenfurt, Austria

Modelling for Ambient Assistance

Ambient Assistance is a growing field in ICT: Based on smart sensors, life video analysis tech-niques as well as speech recognition human cen-tred assistance becomes feasible and affordable. The range of applications is broad and covers eve-ryday situations in private and business environ-ments as well as support for people with special needs. Consequently, Ambient Assistance is a challenging and promising field for computer sci-entists, software engineers and information tech-nicians in both, research and application, with lots of questions to answer and technical solutions to find. Since dealing with the support of humans, it is an interdisciplinary field affecting Psychology, Neurology, Medicine, Law, Philosophy, Domot-ics and others more. Models play a key role in ambient assistance sys-tems as they act as the integral means for data and knowledge acquisition, representation, evaluation and exchange for the various system components. We will start our lecture with a short overview of already existing best practice examples and then work out the key notions and concepts that form the basis of modelling endeavours in that field. Based here on, we will discuss the objectives, con-cepts and elements of the “Human Cognitive Modelling Language” HCM-L, which was devel-oped in the “Human Behavior Monitoring and Support” project HBMS. Deeper insight will be gained in the afternoon Parallel Working Groups that are headed by members of the Application Engineering Research Group: Dr Judith Michael and Suneth Ranasinghe, MSc.

pdfdocDownload Material

Prof. Dr. Haris Mouratidis
University of Brighton, UK

Modelling and Analysing Security Requirements

The increasing demand of modern information systems to process and manage sensitive information and the introduction of relevant technological paradigms (e.g. Big Data, Cloud Computing, Internet of Things) has led researchers and industrialists to rethink the way that security (and its related issues such as trust, privacy and risk) is treated during the information systems development process. In the first part of this lecture, I will discuss the security modelling challenges, which are introduced in such complex systems, and I will outline the requirements that security modelling frameworks should fulfil. In the second part, I will present the foundations of a security modelling methodology, called Secure Tropos. From a theoretical perspective, I will describe its concepts, processes, and reasoning capabilities, while from a practical perspective I will present an ADOxx-based tool and some examples of how it can be used in practice.

pdfdocDownload Material

Prof. Dr. Andreas Oberweis
Karlsruhe Institute of Technology, Germany

PD Dr. Agnes Koschmider
University of Cologne, Germany

Business Processes for Business Communities

Several languages have been suggested for modeling business processes. Practice shows, however, that a powerful modeling language alone is not enough. Users require guidance and assistance in the preparation of models, that is, during application of the language. In this course the students will learn the Horus Method. This method defines various stages of modeling and is a recipe-like guideline that has been proven in practice. In practical exercises to this lecture students will collaborate in a Web 2.0-based social network, to define business objectives, strategies and business processes together and will elaborate a common understanding of an organization.

pdfdocDownload Material

Prof. Dr. Oscar Pastor
Universidad Politecnica de Valencia, Spain

From Requirements to Code: Conceptual Model-based Software Design

A crucial success factor in information systems development is the alignment of the system with business goals, business semantics and business processes. Developers should be freed from programming concerns and be able to concentrate on these alignment problems. the application of sound Conceptual Modeling techniques within a Model-driven system development (MDD) not only provides a structured and systematic approach to systems development, but also offers developers the possibility of using model transformation technologies to derive models of a lower abstraction level that can be further refined, and even generate software code automatically.
From the experience got with the advanced MDD platform provided by Integranova, this presentation will show how to successfully integrate business process modelling (BPM), requirements engineering (RE) and object-oriented conceptual modelling with the objective of leveraging MDD capabilities. The current state of the art on modelling methods and code generation tools will be discussed to explore different ways to match an information system with business requirements. Concrete principles, concepts and common practices of MDD will be presented with a special focus on model-driven requirements engineering, meaning by it how business process models and requirements models can be embedded in a complete Conceptual Modeling-based software production process. As a practical application, a specific method and notations are explained, but the ultimate goal is that assistants are able to apply this knowledge to their own contexts, either in industrial practice or academic research.

pdfdocDownload Material

Prof. Dr. Andrea Polini
University of Camerino, Italy

Model-based Learning: The Learn PAD way

The talk will illustrate a model-based and collaborative approach to learning in complex organizations. In organizations for which the activities are driven by complex process models workers are nowadays challenged to learn their daily activities in short time frames. Traditional approaches to learning requires then to be complemented with innovative solutions. In the talk the solution foreseen and developed by the EU project Learn PAd will be presented. The solution required the definition of seven model kinds including weavings permitting to relate concepts residing on different model kinds. The models are then used to automatically derive a knowledge based and collaborative infrastructure that will permit to organize knowledge according to the models itselves.

pdfdocDownload Material

Prof. Dr. Barbara Re
University of Camerino, Italy

Modeling Variability for Business Processes

In order to support organizations in providing similar services without the need to structure each of them separately variability management is needed. Variability is the ability of deriving different process variants from a configurable model at design-time. Several notations and approaches are available in the literature to support such issues. They will be introduced in the presentation. In particular, in the presentation a novel notation and a related approach to variability modeling is introduced. The approach and the notation are inspired by feature modeling, where features are here used to represent activities of processes. A tool has been designed and developed to support the proposed notation and approach. It will also be introduced in the presentation.

pdfdocDownload Material

Prof. Dr. Peter Reimann
University of Sydney, Australia

Learning analytics in educational organisations: Models as boundary objects between communities of practice

The widespread availability of learner-related data has the potential to empower students, teachers, parents and school leaders by providing critical insights into the learning process. However, fostering a widespread organizational culture of data-informed learning and teaching practice remains a significant challenge. This is in part due to the need for multidisciplinary experts collaborating with practitioners to develop processes that can readily facilitate the translation of data into pedagogical action. The presentations focuses on the question of how to accelerate and deepen the uptake of new data-supported practices in schools and universities. I will introduce a theory of integrated individual and organizational learning that suggests that practices of data-intensive decision making can be expanded in educational organisations by engaging these in joint data practices with experts from two fields where innovating data practices are continuously developed: Educational Data Mining [1] including Learning Analytics [2] and the Learning Sciences [3]. The approach focuses on knowledge objects, in particular in their role as boundary objects, that is in their function to facilitate work across different kinds of boundaries, in particular disciplinary boundaries and organizational boundaries [4, 5]. The creative frictions that generate from discussions surrounding these boundary objects can facilitate the broader adoption and dissemination of innovations within and across schools. I will discuss the suitability of number of formats for knowledge objects to serve as boundary objects, including formats that are grounded in methods of meta-modelling.

pdfdocDownload Material

Prof. Dr. Wolfgang Reisig
Humboldt University of Berlin, Germany

Foundations of conceptual modelling

The basic notions of the NEMO summer school include the terms of /enterprise modeling, modeling methods, etc./ We start with some general observations about those notions and their role in (business) informatics. This includes the validation, verification, evaluation, transformation etc. of models. The second part of this contribution is dedicated to /foundations/ of conceptual modeling. Here we pose the question of what the very basics of (discrete) models are, and how a systematic setting of modeling techniques, in particular for enterprise models, may be achieved. We study a number of fundamentally different, yet successful modeling- and analysis methods and discuss the trade of between expressiveness and analysis techniques.

pdfdocDownload Material

Prof. Dr. Matti Rossi
Aalto University, Finland

Domain Specific Modelling

The course introduces students to developing new modelling languages through Domain Specific Modelling approach with MetaEdit+ platform. During this course the students will get an overview of working with MetaEdit+ when developing DSM’s and then develop support environment for their own modelling language. The tool allows language developers to rapidly build and evolve their methods and then try them out on the fly.

pdfdocDownload Material

Prof. Dr. Nick Roussopoulos
University of Maryland, USA

Database Design and Management of Derived Data In the Context of Big Data

A database design methodology like the one offered in the Open Model Initiative (http://www.openmodels.at/web/sdbd) is a necessary tool for designing a database. In the old good days of databases, database design was a process that was followed by data entry, data loading, query and application development, testing and optimization before making the database operational. Each of these steps were distinct and time consuming. In the past decade or so, the environment has changed drastically. The majority of the data is generated by machines, scanners, sensors, cameras and a lot of it is offered by multiple external data services on the internet. The result is what we call today Big Data and is characterized by the 5Vs: Volume (very high), Variety (multiple types), Velocity (speed of change), Variability (inconsistencies), and Veracity (quality). The last two Vs require data to be curated and stored before use. This adds redundancy and lineage metadata to the database.
In the Big Data context, what is the role of a database design methodology? And what are the necessary tools to deal with the challenges in these 5V dimensions? In this talk, we will cover the basic database design methodology and its extensions to make it a continuous process to handle the 5 Vs. We will also cover continuous database schema evolution and vertical data integration in-the-small necessary to deal with Velocity and derived data.

pdfdocDownload Material

Prof. Dr. Bernhard Rumpe
RWTH Aachen University, Germany

Compositional Modelling Language Development

We examine the current state and problems of modelling enterprises as well as software systems and discuss a number of approaches to tackle those. In particular, we discuss how to make use of models in large development projects, where a set of heterogeneous models of different languages needs is developed and needs to fit together, e.g. describing high-level structures of the organisation, business processes, data structures, automatically executable functions, constraints and so on. A model based development process (both with UML as well as a domain specific modelling language (DSML)) heavily relies on modelling core parts individually and composing those through generators to early and repeatedly cut code and tests from these models. We discuss in detail compositionality on models and heterogeneous modelling languages and how it supports agile evolution of such infrastructures.

pdfdocDownload Material

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

Foundations of models, to model and modelling

Models are a mainstay of every scientific and engineering discipline. Models are typically more accessible to study than the systems, data or theories that are considered. Models are instruments that are effectively functioning within a utilisation scenario. The effectiveness is based on an associated set of methods and satisfies requirements of utilisation of the model. In the tutorial we introduce a notion of the model that generalises notions of models used in Computer Science, in engineering, in social and natural sciences, in mathematics and other disciplines. We explain that models must be considered within the utilisation scenarios and that the modelling activities for development or utilisation can be systematically developed. We develop foundations of a discipline of modelling. The approach is illustrated by models developed on the basis of enhanced entity relationship models and business process models.

pdfdocDownload Material

Prof. Dr. Jan Vanthienen
KU Leuven, Belgium

Business Decision Modelling

Business processes incorporate lots of decisions. Business decisions are important, but are often hidden in process flows or activities. It is not considered good practice to model the detailed decision paths in the business process model, because hardcoding (decision) rules in processes leads to complex and inflexible process models. Separating rules and decisions from the process simplifies the process model (separation of concerns). In analogy with the Business Process Modelling & Notation Standard (BPMN), a Decision Model & Notation standard (DMN) has been developed. Decision modelling describes business decisions to be made, with their interrelationships and requirements, together with the detailed decision logic used to make the decision. One of the common forms of decision modelling is a structure of decision tables, describing the premises and resulting outcomes of a specific decision situation.
This lecture is about the relation between business decisions and business processes and their integration. It takes you through decision methodology, including best practices, examples and experiences with different decision representations for modeling decision rules.

pdfdocDownload Material

Prof. Dr. Frank Wolff
Baden-Württemberg Cooperative State University Mannheim, Germany

Economic Assessment of Enterprise Modelling in Large Organisations with Evaluation Chains

To support management with essential information enterprise models are reckoned almost indispensable. However, the creation and maintenance of an encompassing enterprise model has proven to be a challenging task. Fundamental are the diversity of influential factors and the long time period of its creation and usage. Therefore, a dedicated framework to control enterprise modelling has been developed based on the concept of evaluation chains. The lecture will present the foundations of the framework, the technical support with an ADOxx implementation and some example cases.

pdfdocDownload Material

Prof. Dr. Eric Yu
University of Toronto, Canada

Modeling the Adaptive Enterprise

The Internet of Things, together with big data analytics, social, mobile, and cloud, are creating a perfect storm for today's enterprise to advance to the next level of agility and continuous innovation. Current enterprise modeling frameworks and techniques, conceived and developed for a more stable environment, will need to be extended to support analysis and design of the complex dynamics of today's increasingly fast-paced world. I will outline requirements for next-generation enterprise modeling in light of the digital transformations taking place across almost every sector, and will suggest possible paths ahead.

pdfdocDownload Material

Prof. Dr. Jelena Zdravkovic
Stockholm University, Sweden

Building Sustainable Applications by Integrating Capability-oriented Enterprise Modelling with System Development

A significant objective of today’s enterprise Information Systems (IS) is to be sustainable, which entails producing value to their stakeholders over time. A major concern is how Information Systems can successfully adapt and support constant variations in business conditions originating, for instance, from changes in customers’ demand, environmental aspects, regulations, and many others. The need for enterprises to operate in changing environments has been addressed by proposing a capability-oriented approach that integrates organizational development with IS development taking into account changes in the application context of the solution. It requires a number of organizational concepts to be modelled, such as business goals, processes, resources, Key Performance Indicators (KPIs), as well as the parameters for describing business environmental contexts for organizations capabilities. In the lecture I intend to outline the capability-oriented approach for supporting model-driven organisations, as well as to present the current experiences of developing capability models in several industrial cases.

pdfdocDownload Material

Prof. Dr.-Ing. Heinz Züllighoven
Universität Hamburg, WPS Workplace Solutions GmbH, Germany

Holger Breitling
WPS Workplace Solutions GmbH, Germany

Modelling with the eGPM Method

The example-based business process modelling method (eGPM) is a visual approach to model selected business processes and their IT-support. The models are easy to understand for people in different departments, business organization and its specialists alike. The method aims at common understanding and communication about the processes which are modelled. Characteristics of the eGPM method 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 the eGPM approach, 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 eGPM approach will be explained. The tutorial will provide hands-on experience with the eGPM tool. Examples from different application domains and usage contexts will show the usability of eGPM in many professional contexts.

pdfdocDownload Material

NEMO Summer School 2017

4th Edition in the NEMO Summer School Series
July 17th - July 28th, 2014
University of Vienna, Austria

Click here to open the NEMO 2017 gallery
pdfdocDownload NEMO 2017 PROGRAMME

Modeling and Verification for System of Systems

As software systems are used widely in every corner of our society, each software system to be developed and maintained gets larger and more complex than ever. Developing such software systems in a timely and cost-effective manner requires more careful analysis and modeling effort in order to reduce the total software life cycle cost. In addition to developing and maintaining such software systems, those large and complex systems developed separately need to be connected and work together to satisfy a common goal. We call such a system as System of Systems(SoS). An SoS consists of constituent systems, each of which is developed separately, but connected together to become a larger and more complex system. Some SoS examples are unmanned vehicles, military defense systems, health care systems, etc. In this talk, we would like to share with the audience, concept of the SoS, its characteristics, and modeling and verification issues for it. Depending on the type of the SoS, we try to model behavior of each and verify whether each can achieve the SoS goal quantitatively. We also introduce an attempt to model selfishness of each constituent system which abstracts behaviors of systems and verify the SoS level goal achievement.

Dr. Dominik Bork
University of Vienna, Austria

Vimal Kunnummel
University of Vienna, Austria

Modelling Method Conceptualisation based on ADOxx

A trend towards the acknowledgement of the benefits of domain-specific modelling methods – as a complement to general purpose and de-factor standard modelling methods like Unified Modelling Language (UML), and Business Process Modelling and Notation (BPMN) can be recognized. Consequently, researchers are confronted with the challenge of designing and deploying new modelling methods – in the following referred to as the conceptualization. A vital part of this conceptualisation is the design of the meta model. Meta models formally specify the syntactic backbone of a modelling language by introducing the relevant modelling language concepts and by constraining the meaningful relationships between them. Meta model design decisions dictate how modelling languages can be used by modellers during the modelling process. While lots of research can be found that focusses on the effect of notational aspects on modelling language’s usability and intuitiveness, guidelines and best practices for meta model design are still scarce. This talk will contribute bridging that research gap by focusing on meta model design patterns and their impact on their resulting modelling language and the modelling method as a whole. The goal of this talk is to provide, based on experience gained during the design of numerous meta models, a set of generic meta modelling patterns that can be employed in any modelling method conceptualization project. ADOxx will be utilized to show practical feasibility of the presented generic patterns on a state-of-the-art meta modelling platform.

Prof. Dr. Xavier Boucher
Ecole des Mines de Saint Etienne, France

Dr. Khaled Medini
Ecole des Mines de Saint Etienne, France

The industrial transition towards Product-Service-Systems: needs and advances in enterprise modelling and engineering

The current industrial transition towards Factories of the Future (FoF) implies strong transformation of enterprise Business Models within the manufacturing sector. Product Service Systems are a key component of this transition, and contribute to renovate both the underlying enterprise models and the needs of enterprise engineering tools. The objective of the lecture is to articulate the overall needs of transition towards FoF with the requirements for innovative conceptual modelling approaches and new modelling methods and tools.

The lecture will first give a synthetic insight on PSS within the context of FoF, to make possible for the audience to understand the key concepts of PSS and key industrial needs for developing innovative enterprise modelling and engineering solutions. The second part of the lecture will present an advanced modelling method dedicated to support PSS design and engineering. The meta-modelling procedure followed for these developments will be explained, together with the resulting PSS-oriented meta-model and a demonstration of the resulting modelling tool PS3M ‘PSS Scenarios Modeler’.

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

Dr. Ana-Maria Ghiran
Babes-Bolyai University, Romania

The Semantic Interoperability between Domain-Specific Conceptual Models and Ontologies

The interplay between ontologies and domain-specific conceptual modelling languages is typically concerned with the challenge of "ontological commitment" - i.e., the language is expected to have (or evaluated against) ontological qualities, in order to enforce coherence and consistency in model contents. This is a strong semantic coupling between modelling languages and ontologies. An alternative, weaker coupling will be promoted by this lecture, focusing on pragmatic semantic interoperability aspects: ontologies and modelling languages are treated here as distinct Design Science artefacts that may have some conceptual overlapping which allows applications to bridge the diagrammatic semantics with the ontological ones by resorting to technologies such as graph databases and the Resource Description Framework (RDF). The lecture will present results originally proposed in the context of the ComVantage FP7 research project and further developed in follow-up projects. A minimal yet illustrative implementation example will be discussed, leading towards a proposed vision of "enterprise model"-aware information systems.

Prof. Dr. Elisabetta di Nitto
Politecnico di Milano, Italy

Dr. Damian Tamburri
Politecnico di Milano, Italy

Model-Driven Engineering for Data Intensive Applications

Big Data technologies have rapidly achieved widespread adoption for many reasons, e.g., thanks to the versatility with which they foster innovative products by direct analysis of various user contents (e.g., tweets, blogposts, likes, pictures, etc.). However, designing and developing Big Data applications is still a considerable problem since: (a) it involves many side-costs the time spent on learning about and designing with the many big data frameworks; (b) it requires to balance out infrastructural and corporate governance costs with (non-trivial) development and deployment costs; (c) it most likely requires additional costs for the various trial-and-error experiments needed to match desired performance. We argue that a relevant part of said costs can be saved by tackling the design, development and deployment of Data Intensive Applications (DIAs) with Model-Driven Engineering (MDE) framed into a DevOps process. The purpose of this course/presentation is to show how MDE and DevOps have been applied to the design of Data Intensive Applications and to identify new research areas and issues.

Prof. Dr. Christos Douligeris
University of Piraeus, Greece

Modelling of Port Information Infrastructure Systems' Security

A Supply Chain Service (SCS) is a complex network of interconnected business partners, including all the information, processes and assets required for the movement of goods and the performance of services. During the last decades, SCS has become a rapidly growing research area, studying the interactions and interrelations between heterogeneous systems, especially within the Industry Sector. Maritime Logistics and Supply Chain Services (MLoSCs) are typical industry SCS examples that include customs, shippers, maritime transport and port stakeholders. However, the smooth operation of an SCS could suffer from interruptions and delays due to a variety of reasons ranging from acknowledged business and financial factors (e.g. frequent changes in business partners’ leadership and demand uncertainty) to the exploitation of physical threats (e.g. bombing of a storage room) and/or cyber threats (e.g. gaining unauthenticated access to an alarm system and changing the alarm settings). Cyber threat exploitation results from the lack of implemented security controls, making the assets vulnerable to these threats.

In the modern competitive digital maritime markets, where the provision of a SCS depends more than ever upon a multitude of interrelated cyber assets (e.g. networks, equipment, software and digital data), internal and external emerging cyber risks have become the main cause of a SCS disruption. By visualizing the processes of a SCS, one can identify the assets involved and their relationships and could help the various SCS business partners to better analyze the threats and their cascading effects within the SCS, thus preventing security incidents and making the right decisions to protect the SCS assets and properly provision the expected services.

This lecture introduces a process-centric approach for modelling security concepts in MLoSCs in order to improve Supply Chain sustainability. We focus on the MLoSC Vehicle Transport Service (VTS). We present as a demonstration scenario, a business-process oriented model, which is developed via the ADOxx platform using the BPMN 2.0 specification. In this framework, three dominant maritime infrastructures have been modeled, namely the Port Community System (PCS), the Automatic Identification System (AIS) and the SCADA system.

In order to show how security issues can be visualized in a MLoSC environment we apply simulation techniques on the developed process models. The three model infrastructures are component materials of the MITIGATE EU project, which has a goal the development of a platform that provides risk assessment techniques in critical maritime cyber assets aiming to manage risks that could compromise the organization's information security.

Prof. Dr. Jürgen Ebert
University of Koblenz-Landau, Germany

From Model-Based to Model-Integrating Software

A strong focus of Software Engineering research in modelling is on software for models (e.g., modeling tools) as well as on models for software (e.g., in tool construction or reverse engineering).
This talk gives a personal overview of models in Software Engineering, which started with early visual notations via a plethora of modelling languages and editors and lead to unifying approaches like UML (on the language side) and generic metaCASE software (on the tool side). In this era, foundational work on model representations, meta-modelling, constraint descriptions, and semantics as well as on classification of modelling languages into a few modelling paradigms provided a deeper understanding of the world of modelling in general.

Adding the ability for code generation and model transformation, the process of software development was automated further by several environments, some of which even provide additional services like model evolution, model querying, model execution, or model comparison.
Integrating these capabilities into a crossplatform and crosslanguage infrastructure may now lead to software components which contain code and models as equal-level and cooperating parts at runtime, making software evolution easier to handle and leveraging, e.g., the development of adaptive software or dynamic product lines.

Prof. Dr. Hans-Georg Fill
University of Vienna, Austria

Semantic-based Modeling for Information Systems using the SeMFIS Platform

In this talk an introduction to semantic-based modeling and the SeMFIS platform will be given. At its core, semantic-based modeling characterizes the use of semi-formal conceptual models together with formal semantic schemata such as ontologies, thesauri or controlled vocabularies. The talk will enable participants to understand the theoretical and practical foundations for applying semantic-based modeling to the design and analysis of information systems. In particular it will be reverted to the ADOxx-based SeMFIS platform that constitutes a flexible engineering platform for realizing semantic annotations of conceptual models and that is provided for free via OMiLAB (http://semfis-platform.org/). The approach will be illustrated with applications in semantic business process management, semantic-based simulation and semantic visualization of enterprise models.

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

An Introduction to Multi-Perspective Enterprise Modelling and the MEMO4ADO Modelling Environment

In most industries, IT has become the backbone of the business. Therefore, the ability to conjointly analyze and design the action system of an enterprise and its information system has become a pivotal success factor or even a prerequisite for survival. Enterprise modelling aims at supporting organizations with this task. An enterprise model integrates models of the actions system (such as goal models or business process models) with models of the information system. This lecture gives an introduction to MEMO, a method for multi-perspective enterprise modelling. MEMO includes a high level framework of the enterprise together with a set of integrated domain-specific modelling languages. Among others, MEMO provides DSMLs for modelling organizational structures and processes, for goal modelling, and for modelling IT infrastructures.

The introduction will include an overview of core languages and an outline of a method to use them for certain purposes. In addition, it is demonstrated how a modelling environment supports the construction and analysis of enterprise models. The participants are encouraged to use the tool, MEMO4ADO, which is available in the Open Models Laboratory.

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

Designing networked value constellations with e3value

Many businesses are actually networks rather than single enterprises. Examples include Netflix, Spotity, and Cisco Systems. All these companies operate an eco system that as a whole satisfy complex customer needs. Usually, the customer itself is also part of the network, as the customer co-creates some of the economic value itself. All the mentioned examples have in common that they employ rather complex information technology to employ their services and products. With e3value, we propose a business design approach that is model-based, and therefore assumes the same way-of-working common for information system, with the purpose to close the gap between business and IT development. In this presentation, we introduce the e3value method, along with case studies from industry. In addition, we will focus on the notion of 'value co creation'; the idea that customers and suppliers jointly create economic value.

Prof. Dr. Wilfried Grossmann
University of Vienna, Austria

Christoph Moser
University of Vienna, Austria

Process Modelling and Business Intelligence

Business Process Modelling (BPM) and Business Intelligence (BI) are two important areas in business informatics, which are treated, often rather separated from each other. Looking at the literature and the activities in the two areas shows that process modelling takes a look at the business from a more production and organizational oriented view, whereas business intelligence activities emphasize more the role of the customer in the business process.

In this lecture we want to take a unified view onto these two approaches and show how BPM and BI support each other. For demonstration we use the activities of data understanding and data provisioning which are at the beginning of any BI activity. Due to the abundance of data on the Internet integration of traditional data sources and big data is a challenging task. We present a process model for data integration and show how this model can be realized using the ADOxx platform. The basic idea of the model is simultaneous processing of the data workflow and the associated workflow of the metadata which describe the data processing activities. Such a model supports better understanding of the data and extends traditional methods for accessing data quality.

Prof. Dr. Yoshinori Hara
Kyoto University, Japan

Dr. Hisashi Masuda
Japan Advanced Institute of Science and Technology, Japan

Japanese Creative Service as a Next Generation Enterprise Modelling

We define Japanese creative services and discuss how they have been sustained successfully and its application to global service enhancement. There are many ``Shinise'' (shops of long standing) service companies in Japan that are quite unique compared to the companies located in any other geographical region. They typically have anecdotal values based on nature and seasons, various types of culture, histories, and/or lifestyles. Several Japanese creative services are expanding their activities toward global markets. We explain the mechanisms of the sustainability and scalability of advanced cases of Japanese Creative Services. An key aspect of the mechanism is a communication between service providers and consumers based on sharing/interpreting/utilizing of tacit context in a community. For analyzing the key aspect, we propose the combined approach of sociology/anthropology, psychology, engineering and design thinking. We developed a meta-modeling platform for handling the combined analysis of the Japanese Creative Services. We believe that this kind of approach will contribute to creating new values within the field of service science and for value-added global services.

Prof. Dr. Knut Hinkelmann
FHNW University of Applied Sciences and Arts Northwestern, Switzerland

Modelling Knowledge Work: Case Management and Decision-aware Business Processes

Modelling Knowledge Work is based on two principles: (1) the separation of business logic and process logic and (2) the support of both structured and unstructured knowledge. Case management is the management of long-lived, non-structured collaborative processes that require knowledge and information. The path of case execution cannot be predefined but depends on human skills and judgment. The OMG recently developed the Case Management Modelling and Notation (CMMN). The lecture will give an introduction into this modelling language. For real processes, however, there is no strict separation between structured processes and cases. The lecture will therefore show, how case modeling can be integrated with business process modelling in BPMN. Decision-aware business processes separate business logic from process flow, making process models simpler and easier to modify. This can be achieved by combining process modelling with decision modelling (e.g. using DMN).

Dr. Manfred Jeusfeld
University of Skövde, Sweden

Constraints between modeling perspectives

Enterprise models span all levels and perspectives of objects relevant to an enterprise, such as goal models, process models, data models, product models, network structures, interfaces, and so forth. Such models must be kept consistent with each other. The lecture proposes a constraint language that allows to formulate rules at an abstraction level that facilitates their automated re-use. We also discuss the mechanism that makes the elements of heterogeneous modeling languages related to each other and how we can use this view to plan the links between such modeling languages. The technique is applied to existing enterprise modeling approaches such as 4EM and Archimate to demonstrate the required effort. Practical examples and case studies use the ConceptBase metamodeling system.

Prof. Dr. Dimitris Karagiannis
University of Vienna, Austria

Agile Modelling Method Engineering – AMME

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).

Software copyright and data privacy: brakes or accelerators for the digitalization?

The digital journey is fueled by software and data. While system developers are enthusiastic about the potentials and ask for as much flexibility and agility as possible to create new processes and solutions, data protection officers and license compliance managers feel quite uncomfortable these days. The reason: Protection laws such as copyright law and data privacy law are to be fulfilled - even in times of digitalization. How can license compliance be achieved, when open source components are built in almost every software? How do cloud services comply with copyright law? Will big software vendors kill the initiatives of digitalization by auditing and suing incompliant software users? And what about the rights of the individuals to keep control over their personal data? Will the new European privacy regulation (EU General Data Privacy Regulation) bring along strategic disadvantages for European developers and IT services providers or will it be just the opposite? All these questions are currently under discussion. In the presentation apply a 360° view on software and data, examine the principles of copyright and data privacy and analyse probable consequences.

Prof. Dr. Marite Kirikova
Riga Technical University, Latvia

Enterprise Modeling and Information Security

Current business process modeling approaches are well suited for showing the sequence of activities. They are less appropriate for reflecting information flows. However, in the context of information security, the reflection of information flows is an essential instrument for analyzing the way how information shall be organized with respect to the activity flow and enterprise architecture. Taking into consideration that security concerns not only technical devices and access rights in databases, the enterprise models that reflect organizational structure (including roles), technical architecture, information architecture, and relationships between aforementioned models are useful to identify and use different patterns that reflect the need for caring for security. The usage of the enterprise models also helps to identify methods for establishing the requested level of security. To illustrate how enterprise models can be used in caring for information security, several security requirements patterns, represented in BPMN, will be discussed focusing on the relationship between the information flow in the pattern and the corresponding enterprise architecture elements.

Prof. Dr. Dimitris Kiritsis
École polytechnique fédérale de Lausanne, Switzerland

Building Ontologies for Industrial Applications

Ontologies and associated semantic technologies are rapidly becoming popular in various research fields. There is a tendency both in converting existing models into ontology-based models, and in creating new ontology-based models from scratch. The aim of this talk is to present the advantages and features provided by the ontologies towards achieving Closed-Loop Lifecycle Management or product-process systems. The essentials of building ontologies for Product Life Cycle (PLC) applications following the BFO (Basic Formal Ontology) principles will be presented together with examples of using ontologies in industrial cases.

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

Mathematical Structures to Model Behavior Ontology for IoT

Things in IoT behave like living things in real world. In order to understand the behavior of the things systematically, it is necessary to abstract the behavior in formal and collective patterns. In that perspective, this lecture presents a meta-modeling method to abstract the behavior in the patterns as follows. Firstly, the basic individual actions of the behavior are represented as movement actions in process algebra, called δ-Calculus, in a geo-temporal space, called GTS. Secondly, the actions of the things are grouped together in sequence as behaviours in ontology, called Behaviour Ontology, in an abstraction space, called n:2-lattice. In this way, the behavior of the things can be represented in mathematically structured patterns and be organzied hierachically in the collective patterns of the things. In the method, the requirements for the secure and safe behaviors will be specifed and verified using GTS Logic, and be represented as dynamic contraints in the lattice. Further the relations between the GTS space and the lattice space can be investigated. In order to show the applicability of the approach, an IoT example for Smart EMS (Emergency Medical Systems) Service will be used for demonstration on a tool, called SAVE. SAVE is a ptototype tool to specify, analyze, verify and evaulate distributed mobile real-time systems. It has been developed on ADOxx meta-modelling platform. At the end, the detailed architecture of the tool will be presented to show how effectively and efficiently the tool has been developed by using the basic facilities of ADOxx.

Prof. Dr. Heinrich Mayr
Alpen Adria Universität Klagenfurt, Austria

Dr. Judith Michael
Alpen Adria Universität Klagenfurt, Austria

Suneth Ranasinghe
Alpen Adria Universität Klagenfurt, Austria

Modelling for Ambient Assistance

Ambient Assistance is a growing field in ICT: Based on smart sensors, life video analysis techniques as well as speech recognition human centred assistance becomes feasible and affordable. The range of applications is broad and covers everyday situations in private and business environments as well as support for people with special needs. Consequently, Ambient Assistance is a challenging field for computer scientists, software engineers and information technicians in both, research and application, with lots of questions to answer and technical solutions to find. Dealing with the support of humans, it is an interdisciplinary field affecting Psychology, Neurology, Medicine, Law, Philosophy, and others more. Models play a key role in ambient assistance systems as they act as the integral means for data and knowledge acquisition, representation, evaluation and exchange for the various system components. We will start our lecture with a short overview of already existing best practice examples and then work out the key notions and concepts that form the basis for domain specific modelling in this field. Based here on, we will discuss the objectives, concepts and elements of the “Human Cognitive Modelling Language” HCM-L, which was developed in the “Human Behavior Monitoring and Support” project HBMS. Deeper insight will be gained in the afternoon Parallel Working Groups that are headed by members of the Application Engineering Research Group: Dr. Judith Michael and Suneth Ranasinghe MSc.

Prof. Dr. Haris Mouratidis
University of Brighton, UK

Security Requirements Engineering: A Modelling Perspective

The increasing demand of modern information systems to process and manage sensitive information and the introduction of relevant technological paradigms (e.g. Big Data, Cloud Computing, Internet of Things) has led researchers and industrialists to rethink the way that security (and its related issues such as trust, privacy and risk) is treated during the information systems development process. In the first part of this lecture, I will discuss the security modelling challenges, which are introduced in such complex systems, and I will outline the requirements that security modelling frameworks should fulfil. In the second part, I will present the foundations of a security modelling methodology, called Secure Tropos. From a theoretical perspective, I will describe its concepts, processes, and reasoning capabilities, while from a practical perspective I will present an ADOxx-based tool and some examples of how it can be used in practice.

Business Processes for Business Communities

Several languages have been suggested for modeling business processes. Practice shows, however, that a powerful modeling language alone is not enough. Users require guidance and assistance in the preparation of models, that is, during application of the language. In this course the students will learn the Horus Method. This method defines various stages of modeling and is a recipe-like guideline that has been proven in practice. In practical exercises to this lecture students will collaborate in a Web 2.0-based social network, to define business objectives, strategies and business processes together and will elaborate a common understanding of an organization.

Prof. Dr. Oscar Pastor
Universidad Politecnica de Valencia, Spain

From Requirements to Code: Conceptual Model-based Software Design

A crucial success factor in information systems development is the alignment of the final software product with business goals, business semantics and business processes. Developers should be freed from programming concerns and be able to concentrate on these alignment problems. To assess that the right capabilities are used, sound Conceptual Modeling (CM) techniques within a Model-driven system development (MDD) must be applied in order to provide a structured and systematic approach to systems development, where developers can successfully use model transformation technologies to derive models of a lower abstraction level that can be further refined, even generating software code automatically. From the experience got with the use of advanced MDD platforms, this keynote will show how to use a Capability-driven Development (CDD) strategy in order to integrate business process modelling (BPM), requirements engineering (RE) and object-oriented conceptual modelling with the objective of leveraging MDD capabilities. The current state of the art on modelling methods and code generation tools will be discussed to explore different ways to match an information system with business requirements. Concrete principles, concepts and common practices of MDD will be presented with a special focus on model-driven requirements engineering, meaning by it how BPM and requirements models can be embedded in a complete CM-based software production process.

Prof. Dr. Dimitris Plexousakis
University of Crete and FORTH-ICS, Greece

Dr. Theodore Patkos
FORTH-ICS, Greece

Modelling Knowledge Action and Time: Action Theories and Their Application in Dynamic Uncertain Domains

The modelling of knowledge, action and time is a topic of current research within the broader domain of knowledge representation and reasoning. The course will focus on declarative approaches for modelling and reasoning with change, paying particular attention to the integration of knowledge and action (by means of artificial software agents). As time is inherent in any type of activity and process, the course will also deal with the representation of temporal properties that characterize the occurrence of actions and the knowledge they generate. Practical aspects of reasoning about knowledge, action and time in the context of agent-based systems, ambient intelligence and cognitive robotics will be exposed in addition to the theoretical frameworks. Students will also have the ability to conduct exercises with software implementing non-monotonic and event-based formalisms, in order to address reasoning problems involving aspects, such as constraint-satisfaction, commonsense reasoning and planning, cast in the context of ambient environments and cooperating intelligent agents.

Prof. Dr. Henderik Proper
LIST, Luxembourg

Grounded Enterprise Modelling

Enterprise models are ussed to represent different aspects of / related-to an organisation / enterprise. Such enterprise models typically take the form of conceptual models expressed in terms of a more specialised, purpose specific, modelling language. For example, in terms of a goal modelling language, a value exchange modelling language, a business process modelling language, or an architecture modelling language, etc. In general, such modelling languages, force modellers to “reduce” the models to mere boxes-and-lines diagrams, where it is left to the names in / on the boxes to provide a linkage to semantically richness, and nuances, of the domain being modelled. In this lecture, we discuss the strategy to ground enterprise models in purpose / domain specific languages on top of a conceptual model expressed in a more generic domain modelling language, where the latter allows modellers to include richer verbalisations of the concepts and their relationships. This will be illustrated in terms of example models in the ArchiMate language, while grounding these on models expressed in the well known fact-based modelling language ORM.

Prof. Dr. Wolfgang Reisig
Humboldt Universität zu Berlin, Germany

Foundations and principles of Conceptual Modeling

The basic notions of the NEMO summer school include the terms of enterprise modeling, modeling methods, etc. We start with some general observations about those notions and their role in (business) informatics. The second part of this contribution is dedicated to foundations of conceptual modeling. Here we pose the question of what the very basics of (discrete) models are, and how a systematic setting of modeling techniques, in particular for enterprise models, may be achieved.

A business process is usually composed of workflow. A reasonable workflow is sound: a sound workflow can always reach its terminal state, and upon termination, no “garbage” remains.

We present methods to adequately model and analyze workflows, in particular a most liberal composition operator for workflows that preserves soundness (i.e. composition of two sound workflows is a sound workflow again). This allows to stay in the world of sound workflows during the construction of large workflows and business processes.

Prof. Dr. Juha Röning
University of Oulu, Finland

Collaborative and well-behaved outdoor robots in harsh environment

Collaboration between robots of different domains is necessary in many disaster scenarios, for example by utilizing unmanned aerial vehicles (UAVs) for coarse area mapping and using unmanned ground and surface vehicles (UGVs and USVs) to perform environment manipulation. In this talk I will consider challenges with robots operating on harsh environment collaborating with humans and other robots.

There are numerous robotics competitions, ranging from those of mainly educational purpose (e.g. FIRST Robotics Competition, World Robot Olympiad, BEST) to those whose goal is to inspire and promote new cutting-edge research with significant prizes (e.g. DARPA Robotics Challenge ) with numerous competitions being some mixture of the these two goals (e.g. NASA The Centennial Challenges, Intelligent Ground Vehicle Competition[16],International Autonomous Robot Racing Challenge , RoboRAVE , RoboGames , RoboCup ,VEX Robotics Competition, RoboSub , MATE, SAUC-E , Maritime RobotX Challenge, RoboBoat , International Aerial Robotics Competition, Student Unmanned Air System, UAV Outback Challenge ).

ERL Emergency is a competition of this mixed category and its participants range from university students to experienced academic and industry professionals. Amongst all the listed competitions, ERL Emergency is unique in its incorporation of all the three main robotics domains of air, land and water. In ERL Emergency, successful teams must be able to set up and use highly heterogeneous and interconnected robots to complete highly complex search-and-rescue (SAR) and other emergency related tasks in varied environments. In short, ERL Emergency tests the capabilities of multi-robot systems (MRS) in SAR and other disaster scenarios.

In this talk, the challenges and hands-on experiences on realistic scenarios and terrains are presented. It includes a series of event arrange in ELROB (European Land Robot Trial), euRathlon and now under umbrella of ERL. Also a new testing site, OuluZone, where the harsh weather conditions, unevenness on terrain and dynamic driving conditions challenge outdoor robots. Our aim is to provide reliable operation in any conditions. An ultimate goal is to provide a driving license for autonomous heavy machines.

Prof. Dr. Matti Rossi
Aalto University School of Business, Finland

Domain Specific Modelling

The lecture introduces students to developing new modelling languages through Domain Specific Modelling approach with MetaEdit+ platform. During this lecture the students will get an overview of working with MetaEdit+ when developing DSM’s and they can develop a support environment for their own modelling language through an exercise. The tool allows language developers to rapidly build and evolve their methods and then try them out on the fly.

Prof. Dr. Katsumi Tanaka
Kyoto University, Japan

Can Big Data Learning Enhance Information Retrieval and Data Generation?

Learning big data by neural network, such as word embedding algorithms or deep learning, has now much attention in several areas of computer vision, speech recognition, natural language processing and so on. In this talk, our research on information retrieval and data generation using the big data learning are shown, and the impact of the ?big data learning? technology to the area of information retrieval and data generation is discussed.

Prof. Dr. Jan Vanthienen
KU Leuven, Belgium

Business Decision Models and their relation with Process Models

Business processes incorporate lots of decisions. Business decisions are important, but are often hidden in process flows or activities. It is not considered good practice to model the detailed decision paths in the business process model, because hardcoding (decision) rules in processes leads to complex and inflexible process models. Separating rules and decisions from the process simplifies the process model (separation of concerns).

In analogy with the Business Process Modelling & Notation Standard (BPMN), a Decision Model & Notation standard (DMN) was developed. Decision modelling describes business decisions to be made, with their interrelationships and requirements, together with the detailed decision logic used to make the decision. One of the common forms of decision modelling is a structure of decision tables, describing the premises and resulting outcomes of a specific decision situation.
This session is about the relations between business rules, decisions, decision tables, and business processes.

Prof. Dr. Robert Winter
University of St. Gallen. Switzerland

Method Engineering for Design, Engineering and Management

Method Engineering is one of the classical topics of information systems research. It is however often researched and applied only in the context of software development. From a broader (design science) perspective, Method Engineering deals with the systematic construction of generic and/or situated processes for designing, engineering and managing organizations and their supporting IT artifacts. From this perspective, Method Engineering will be revisited, and exemplary applications for Business Engineering and Enterprise Architecture Management will be presented.

Prof. Dr. Eric Yu
University of Toronto, Canada

Strategic Enterprise Modeling in the Age of Digital Disruption

The Internet of Things, together with a whole host of recent and emerging technologies such as big data analytics, social, mobile, and cloud, are creating disruptions in many organizations and even entire industries. Current enterprise modeling frameworks and techniques, conceived and developed for a more stable environment, will need to be extended to support analysis and design of the complex dynamics of today's increasingly fast-paced world. I will outline requirements for next-generation enterprise modeling in light of the digital transformations taking place across almost every sector, and will suggest possible paths ahead. The i* (iStar) strategic actors relationships modeling language will be briefly reviewed.

Prof. Dr. Jelena Zdravkovic
University of Stockholm, Sweden

Capability-oriented Enterprise Modelling for Enabling Congruent Business and Information Systems Engineering

A significant objective of today’s enterprise Information Systems (IS) is to be congruent with the business environments which they are meant to support. A major concern is how Information Systems can successfully adapt to support frequent variations in business conditions originating, for instance, from changes in customers’ demand, environmental aspects, regulations, and many others. The need for enterprises to operate in changing environments has been addressed by proposing a capability-oriented approach that integrates organizational development with IS development taking into account changes in the application context of the solution. It requires a number of organizational concepts to be modelled, such as business goals, processes, resources, Key Performance Indicators (KPIs), as well as the parameters for describing business environmental contexts for organizations capabilities. In the lecture, I intend to outline the capability-oriented approach for supporting model-driven organisations, as well as to present the current experiences of developing capability-oriented enterprise models in industrial cases.

Prof. Dr. Heinz Züllighoven
Universität Hamburg, WPS - Workplace Solutions GmbH, Germany

Holger Breitling
WPS - Workplace Solutions GmbH, Germany

Domain Story Telling: 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 field application 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 understand their story correctly. After very few stories, we are able to talk about the people, tasks, tools, work items, and events in a domain.

Domain Storytelling is an example-based approach for modeling selected business processes and their IT-support. The models are easy to understand for people in different departments, business organization and its specialists alike. The method aims at common understanding and communication about the processes which are modelled. Characteristics of the eGPM method 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 with the modelling tool. Examples from different application domains and usage contexts will show the usability of the approach in many professional contexts.