Agile Modeling Method Engineering (AMME) University of Vienna - - PowerPoint PPT Presentation

agile modeling method engineering amme
SMART_READER_LITE
LIVE PREVIEW

Agile Modeling Method Engineering (AMME) University of Vienna - - PowerPoint PPT Presentation

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942 Agile Modeling Method Engineering (AMME) University of Vienna Dimitris Karagiannis Disclaimer: This project has been funded with support from the European Commission. This


slide-1
SLIDE 1

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org Disclaimer: This project has been funded with support from the European Commission. This publication [communication] reflects the views only of the author, and the Commission cannot be held responsible for any use which may be made of the information contained therein.

Agile Modeling Method Engineering (AMME)

University of Vienna Dimitris Karagiannis

slide-2
SLIDE 2

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Was founded by Duke R Rudolph IV in in 1

  • 1365. It is the oldest

University in the German-speaking cultural area and one of the largest in Central Europe. Currently, about 92,000 students are enrolled in more than 187 Study Programmes, comprising 55 Bachelor, 116 Master, 4 Diploma and 12 PhD Programmes, which lead to 12.600 graduates per year. The University of Vienna is the largest teaching and Research institution in Austria, with ca. 6,900 persons academic staff. It aims to sustain a wide range of studies as well as to promote new and innovative fields

  • f research.

The University of Vienna…

slide-3
SLIDE 3

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Agenda

  • Why Agility
  • Agile Modelling Method Engineering – AMME
  • The Open Models Initiative Laboratory
slide-4
SLIDE 4

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis

Definition of Agility

Agility is a concept whereby organizations seek to approach their operations and resources in a flexible, responsive manner.

Heraclitus

slide-5
SLIDE 5

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis

Digital to Physical

slide-6
SLIDE 6

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis

USA Initiatives

Source: https://www.nsf.gov/funding/pgm_summ.jsp?pims_id=503286 Source: https://www.nsf.gov/funding/pgm_summ.jsp?pims_id=504709

slide-7
SLIDE 7

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis

Japanese Initiatives

Source: http://www.meti.go.jp/english/press/2015/pdf/0123_01b.pdf Source: http://www.geeksnack.com/2015/05/18/robot-revolution-initiative- launched-by-japan-heralds-a-new-machine-age/

slide-8
SLIDE 8

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis

Infrastructure Changes

slide-9
SLIDE 9

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis

European Initiatives

Source: http://www.effra.eu/attachments/article/129/Factories%20of%20the%20Future%202020%20Roadmap.pdf, http://www.bmbf.de/de/9072.php

slide-10
SLIDE 10

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Source: http://image.slidesharecdn.com/advantechsmartfactoryproducts1-140403102535-phpapp01/95/advantech-smart-factory-products-9-638.jpg?cb=1396520986

Smart Production I

slide-11
SLIDE 11

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Source: http://itspl.com/content/wp-content/uploads/2015/01/i4-V-Small.jpg

Smart Production II

slide-12
SLIDE 12

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Agenda

  • Why Agility
  • Agile Modelling Method Engineering – AMME
  • Modelling & Metamodelling
  • The Open Models Initiative Laboratory
slide-13
SLIDE 13

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis
  • Models are able to capture specifics of different domains by

using

  • domain- and task-specific Languages, Procedures, Mechanisms, ...
  • Problem:
  • Models are processed by different users
  • Fast changing and volatile fields continually require

 New languages or language elements  New tools and techniques for model development  (Flexible) standards for different collaboration types  …

  • Modeling requires flexible concepts
  • Models of concepts vs. models that use concepts
  • Multi view modeling vs. multi processing

Challenges in Modelling?

slide-14
SLIDE 14

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis

Goals:

  • Raise the abstraction level (relates to the domain)
  • Focus on abstract representations (set of modelling concepts)
  • Create problem-level instances automatically by model transformations

Challenges:

  • How to capture problem-level abstractions in modeling languages?
  • How to separate and integrate concerns in multiple viewpoints,

utilizing different modeling languages?

  • How to handle multiple models in a dynamic manner?
  • Consistency among different levels of abstractions

How to model?

slide-15
SLIDE 15

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Source: http://images.fastcompany.com/upload/apple-multitouch1.jpg Source: http://insertmedia.office.microsoft.com Source: http://news.preisgenau.de/wp-content/uploads/2011/03/ipad-multitouch.jpg

Need for Modelling: From Concepts to Implementations

slide-16
SLIDE 16

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Source: Software model business process variant types, US 8312416 B2 Source: Semantic model for insurance software components US 8650043 B1 Source: Model train control system US 8154227B1 Source: Model-Based Neuromechanical Controller for a Robotic Leg US 20100324699 A1 Source: Intelligent management system for household internet of things US 20140244825 A1

www.omilab.org

Models for Explaining Complex Systems in Patents

slide-17
SLIDE 17

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Modeling in Software Engineering

19 www.omilab.org

slide-18
SLIDE 18

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

slide-19
SLIDE 19

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis

The Meta-Modelling Concept

slide-20
SLIDE 20

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis

Meta-models are used in everyday life (Tooling)

Meta-Modelling

Meta-models and Meta-Modelling Platforms

slide-21
SLIDE 21

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis

Multi-layer meta-models relate models of concepts and models that use concepts

System (Original, Reality...) Model(s) Metamodel(s) Meta-Metamodel

Level 0 Level 1 Level 2 Level 3 represented by conforms to

Metamodelling language Meta-metamodelling language

conforms to conforms to

Modelling language

described in described in described in model of model of Review Paper

Notify acceptance

... ...

source target Class Relationship source target subclass 1 1 0..* 0..* 1 0..* Flow Object Graphical Object Sequence flow Task Start End

Reviewing Process BPMN Metamodel Meta²-Model

Meta-Modelling

slide-22
SLIDE 22

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis

Providing a generic modelling framework is the first step for an open modelling initiative

Meta-Modelling based on a Generic Modelling Framework

slide-23
SLIDE 23

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis

How is useful to achieve this framework ?

Agile method engineering

slide-24
SLIDE 24

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Agenda

  • Why Agility
  • Agile Modelling Method Engineering – AMME
  • Approach & Framework
  • The Open Models Initiative Laboratory
slide-25
SLIDE 25

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Core motivator:

All requirements can not be known from the start (Just like software requirements) modelling requirements are changing Causes for changes  Modelling needs evolve as users become familiar with modelling (and an initial prototype)  Change requests for ”conceptual model”-aware systems propagate into new modelling requirements  Gradual understanding of a new domain (in domain-specific modelling)  Gradual need for deeper specialization of concepts

Motivators for AMME

slide-26
SLIDE 26

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis
  • Scope of models: applicative (to

describe behavioural, structural, intentional elements of an application case)

  • Knowledge acquisition = case

analysis (domain understanding is assumed)

  • Previously designed concepts are

the main constructs ("activity", "role", "IT system", "stock" etc.)

  • Sometimes known as domain-

specific models ("models of things in the domain")

Models tha

that u t use concepts

Models of

  • f concepts
  • Scope of models: ontological

(to describe categories of being and their relations)

  • Knowledge acquisition =

domain analysis

  • The concept of "concept" is the

main construct (seen as "entity", "class", "set" etc.)

  • Sometimes known as domain

models ("models of the domain")

Some facts…

slide-27
SLIDE 27

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis

Models of concepts?

Business process models Organigrams System dynamics models Enterprise models Domain- specific models ER diagrams Class diagrams Ontologies

Database diagrams

Taxonomies Custom metamodel representations

Models that use concepts?

….... ... and some Examples

slide-28
SLIDE 28

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

The Practice of Modelling Method Engineering

  • Iterative: repeat activities and

potentially revisit same work products

  • Incremental: each successive

version is usable and builds upon previous version

  • Version control: enabler for other

Agile practices

  • Team: small group of people

assigned to the same project with shared accountability

**http://guide.agilealliance.org/subway.html **see also http://agilemanifesto.org/principles.html

+

*A Keynote Paper on the topic will be presented at the 19th Panhellenic Conf. On Informatics, http://pci2015.teiath.gr

What is Agile Modelling Method Engineering*?

The Fundamentals of Agile Development**

slide-29
SLIDE 29

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Models that Use Concepts (e.g., Domain- specific models, Enterprise models) Models of Concepts (e.g., Meta-models, Terminologies, Models of domain knowledge)

Instantiate to Use Evaluate to Produce

The Produce-Use Agility Cycle

slide-30
SLIDE 30

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dimitris Karagiannis

Agile method engineering

  • The scope of the framework is to

describe the basic elements and their relations of a modelling method as well as its algoritms

slide-31
SLIDE 31

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Application Environment AMME Knowledge & Resource Repository Foundations

 Conceptual Framework  Formalisms (FDMM)

Technology

 Metamodelling platforms  Platform-independent MMDSL

Reference content

 Reference models  Reference metamodels  Algorithms

Methodologies

 Evaluation methdology

Models that Use Concepts Models of Concepts

Reusable resources & Lessons learned Apply (goal: usefulness)

The AMME Framework

End-users

 Roles  Skills  Knowledge

Organizations

 Processes  Strategies  Resources  Motivators  Capabilities

Systems

 Model-aware systems  Enterprise architecture

Modelling requirements & Domain knowledge Accumulate (goal: reuse)

slide-32
SLIDE 32

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Method-level building blocks Language-level building blocks (Model Types)

Conceptual elements for AMME: Building blocks (decomposition approach)

slide-33
SLIDE 33

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Meta-modelling platforms MM-DSL: Platform-independent language for MM implementation

Defining met hod name Defining enumerat ion t ype Defining st yle Defining class not at ion Defining relat ion not at ion Defining class Assigning not at ion Defining model t ype Assigning enumerat ion Defining relat ion

Error messages MML files Defined concept s

www.omilab.org

Software support for AMME: Tools for rapid prototyping

slide-34
SLIDE 34

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Aim: simplify the realization of modeling methods Describes components of a modeling method: a meta-model, graphical representation, and algorithms Characteristics: platform independent, self-documenting Built on: Eclipse technology

Language support for AMME: Modelling Method Domain-specific Language (MM-DSL)

slide-35
SLIDE 35

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Grammar of the DSL grammar

publicly available

  • Formal specification through

EBNF

  • Ready for custom-developed

extension

  • Feedback and requests to

grammar are highly welcome

www.omilab.org

Language support for AMME: Public Availability and Extension of DSL Grammar

via www.omilab.org

slide-36
SLIDE 36

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Agenda

  • Why Agility
  • Agile Modelling Method Engineering – AMME
  • A case: KbR – Knowledge-based Robots
  • The Open Models Initiative Laboratory
slide-37
SLIDE 37

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • . Univ.-Prof. Dr. Dimit ris Karagiannis
  • Mag. Michael Walch

Faculty of Computer Science

DKE

AMME Case: Knowledge-based Robots – KbR* -

*Walch M. and Karagiannis D. “Service-driven enrichment for KbR in the OMiLAB Environment“, ICServ 2017, Vienna in: LNCS 10371, Lecture Notes in Computer Science, Springer, June 2017

slide-38
SLIDE 38

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

KbR - Positioning

Immitate Humans Support a Process “Smart“ Models

Focus: Behavior-based Focus: Task-based Focus: Knowledge-based conceptual modelling

slide-39
SLIDE 39

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

KbR - Vision

  • In Conceptual Modeling humans construct models that are

used by humans

  • E.g., Metamodel-based implementation using ADOxx
  • In the age of digital transformation, machines have to harness

the capabilities of conceptual models

  • E.g., model based
  • Construction
  • Care
  • Production
slide-40
SLIDE 40

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

KbR - Connecting Scenarios and Robots

IoT enabling Communication Validation Environment Models for Hu- mans and Machines Metamodels BPEL RDF Workflow Engine Machines IP Websockets MQTT CoAP XMPP TCP ? BPMN Petri Net BPDM Rule Engine Neural Network ? Business Informatics Knowledge Engineering

slide-41
SLIDE 41

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

KbR – Framework*

Syntax Semantic Pragmatic

Modelling Robot Templates Modelling Scenarios c

Implementation Execution

*Walch M. “Knowledge-driven enrichment of cyber-physical systems for industrial applications using the KbR modelling approach“, ICA2017, Beijing in: IEEE International Conference on Agents (ICA), IEEE, July 2017

slide-42
SLIDE 42

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

KbR – Required Artefacts

slide-43
SLIDE 43

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

KbR – The Modelling Method CoRoMo

slide-44
SLIDE 44

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

KbR – Why AMME ?

  • Continuous progress in engineering
  • Hardware, Software, Connectivity
  • Quickly evolving design requirements
  • Fourth Industiral Revolution
  • Internet of Things
  • Factory of the Future
  • Smart Cities
  • How is the plan to deal with this challenge?

Design Engineering AMME

slide-45
SLIDE 45

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

KbR – Experiments with “Smart” Models

Concept + Environment -> Experiment

slide-46
SLIDE 46

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

KbR – Executing “Smart” Models in the OMiLAB-Rob

slide-47
SLIDE 47

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

KbR - The OMiLAB-Rob at DKE

“Smart“ Model Robot Scenario http://austria.omilab.org/psm/omirob

slide-48
SLIDE 48

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Agenda

  • Why Agility
  • Agile Modelling Method Engineering – AMME
  • Major Characteristics of AMME
  • The Open Models Initiative Laboratory
slide-49
SLIDE 49

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Meaning Adaptability The ability to modify existing concepts/properties (to meet new requirements) Extensibility The ability to add new concepts/properties to the existing metamodel Integrability The ability to add bridging concepts/properties in order to integrate existing building blocks Operability The ability to provide means (functionality) of operating

  • n models (e.g. simulation, transformation)

Usability The ability to provide satisfying user interaction and model understandability

Characteristics of AMME

slide-50
SLIDE 50

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Example:

 Adapting Events, Tasks and Gateways in order to work with the already available simulation algorithm.

Characteristics of AMME: Adaptability

Changing something that is already there to better support the needs of a case.

slide-51
SLIDE 51

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Mapping for Adapting Class Hierarchy to support Simulation Algorithm

BPMN Flow Elements

Characteristics of AMME: Adaptability

Example

slide-52
SLIDE 52

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Example:

 Adding concepts for representation of Organizational structures (People, Organizations, Roles etc.) and Resources.

Characteristics of AMME: Extensibility

Changing something by adding something that is needed to better support the case requirements.

slide-53
SLIDE 53

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

represents

BPMN Collaboration

Characteristics of AMME: Extensibility

Example

slide-54
SLIDE 54

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Example:

 Integrating BPMN and UML, more specifically aligning the intersection of both (Messages/Messages, Tasks/Actions etc.).

Characteristics of AMME: Integrability

Changing something by integrating it with something else that already exists.

slide-55
SLIDE 55

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org BPMN

UML Sequence Diagram: Use for detailing communication issues Case: Client / Provider communication

used BPMN Pool concept used BPMN Pool concept used Message Flows Message

Characteristics of AMME: Integrability

Example

slide-56
SLIDE 56

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

UML Interaction BPMN Collaboration UML Interaction

Lifeline

Message Occurrence Specification

Characteristics of AMME: Integrability - Example

slide-57
SLIDE 57

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Agenda

  • The PCI Conference
  • Why Agility
  • Agile Modelling Method Engineering – AMME
  • The Open Models Initiative Laboratory
slide-58
SLIDE 58

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

THE APPROACH

  • A research and experimental

laboratory for the conceptualization, development and deployment of modeling methods and the models designed with them.

  • Project space for Engineering of

modelling methods and modelling tools

  • A space for a community of

researchers and practitioners sharing a common understanding about model value

OMiLAB@Faculty of Computer Science Währinger Str. 29, 1090 Vienna, Austria

slide-59
SLIDE 59

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

www.omilab.org

  • ADOxx Horus Method
  • BEN
  • BIM
  • BWW
  • CIDOC
  • ComVantage
  • COPROM
  • DIBA
  • EC
  • eduWeaver
  • eGPM
  • EKD
  • IMP2.0
  • Information Security
  • iStar
  • iStarSuperSet
  • JCS
  • MeLCa
  • MoLAP
  • MoSeS4eGov
  • OKM
  • OMiStarT
  • PetriNets
  • pmSOA
  • PROMOTE
  • SDbD
  • Secure Tropos
  • SemFIS
  • SOM
  • VLML

OMiLAB Projects

Enablers for AMME: Work environment and repositories

slide-60
SLIDE 60

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Conceptual Modeling Methods & Tools

slide-61
SLIDE 61

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

OMiLAB Modelling Tools in Education / BEE-UP

63 www.omilab.org

A collection

  • f

"classical" modelling languages employed in different domains, e.g. software and systems modelling, business process modelling, and data modelling. The tool aims to be support university teachers in basic conceptual modelling

  • courses. It currently supports the following

modelling languages:

  • Business Process Model and

Notation 2.0 (BPMN)

  • Event-driven Process Chains (EPC)
  • Entity-Relationship (ER)
  • Unified Modeling Language 2.0 (UML)
  • Petri-Nets (PN)
slide-62
SLIDE 62

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

Conceptual Modeling Methods & Tools for the Industry

www.omilab.org 64

adonis-community.com

slide-63
SLIDE 63

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

OMiLAB Research

www.omilab.org 65

Language Level Modelling Method Level

Modeling Method Domain-specific Language (MM-DSL)

Platform Level

……. Modelling method research (depending on method creator)

www.adoxx.org

slide-64
SLIDE 64

KA2 Strategic Partnership Project | 2014-1-AT01-KA203-000942

www.omilab.org

  • Prof. Dr. Dimitris Karagiannis

dk@dke.univie.ac.at

THANK YOU FOR YOUR ATTENTION!