Domain-Specific Conceptual Modeling: Concepts, Methods and ADOxx Tools

✍ Scribed by Dimitris Karagiannis (editor), Moonkun Lee (editor), Knut Hinkelmann (editor), Wilfrid Utz (editor)

• Publisher: Springer
• Year: 2022
• Tongue: English
• Leaves: 643
• Category: Library

✦ Synopsis

This book demonstrates the significance of domain-specific conceptual modeling through new research and development approaches that are manifested in each of the chapters. They include novel modelling methods and tools that emphasize the recent results accomplished and their adequacy to assess specific aspects of a domain.

Each chapter offers detailed instructions on how to build models in a particular domain, such as product-service engineering, enterprise engineering, digital business ecosystems, and enterprise modelling and capability management. All chapters are enriched with case studies, related information, and tool implementations. The tools are based on the ADOxx metamodelling platform and are provided free of charge via OMiLAB. Furthermore, the book emphasizes possible future developments and potential research directions.

The collection of works presented here will benefit experts and practitioners from academia and industry alike, including members of the conceptual modeling community as well as lecturers and students.

✦ Table of Contents

A Note from the Editors of the Previous Volume ``Domain-Specific Conceptual Modeling''
Preface
Contents
About the Editors
Part I Background
1 Conceptual Modelling Methods: The AMME Agile Engineering Approach
1.1 Introduction
1.2 Conceptual Modelling for the Agile Enterprise: A Selection
1.3 The AMME Framework
1.4 Project Experience and Results
1.4.1 The Open Models Initiative Laboratory
1.4.2 The ComVantage Research Project
1.4.3 The FCML/BEE-UP Educational Project
1.5 Summary and Future Challenges
References
2 Development of Conceptual Models and Realization of Modelling Tools Within the ADOxx Meta-Modelling Environment: A Living Paper
2.1 Introduction
2.2 Essentials
2.3 Application Cases
2.3.1 Dynamic, Interactive Notation
2.3.1.1 Petri Net Transitions with “Fire” Buttons
2.3.2 Conceptual Models in a Machine-Readable Format
2.3.2.1 Use of Models in an RDF Format with a BPMS
2.3.3 Simulation of Process Models
2.3.3.1 Simulation of BPMN Models
2.3.4 Model Adaptation Through Internet Resources
2.3.4.1 Displaying a Map Image as Part of a Model
2.3.5 Integration with Cyber-Physical Systems
2.3.5.1 Controlling a Robot Through Petri Nets
2.4 Conclusion
References
3 Challenging Digital Innovation Through the OMiLAB Community of Practice
3.1 Introduction
3.2 The OMiLAB Community of Practice
3.2.1 Serving a Cause: Education
3.2.2 Sustained Mutual Relationships: Research
3.2.3 Sharing Artifacts: Value-Added Services
3.3 Digital Innovation Environment (DiEn)
3.3.1 Create Business Ecosystems
3.3.2 Design Smart Conceptual Models Within AMME
3.3.3 Engineer Digital Twins
3.4 Experience Reports
3.4.1 An Academic Approach: The UNIBIAL Node
3.4.2 The Industrial Needs: The Hilti Node
3.5 Conclusion
References
Part II Previous Volume: Synopsis
4 The Purpose-Specificity Framework for Domain-Specific Conceptual Modeling
4.1 Introduction
4.2 Managing Specificity and Purpose
4.2.1 The Specificity Spectrum
4.2.2 The Need for Specificity
4.2.3 Mapping Specificity to Purposes
4.3 The Purpose-Specificity Framework
4.3.1 Purpose and Specificity as Dimensions
4.3.2 Characterization of Modeling Tools
4.4 An Artifact Value Perspective
4.4.1 Generalizing the Purpose-Specificity Framework
4.4.2 Modeling Methods and Design Science
4.5 Conclusions
References
Part III Enterprise Management
5 Enterprise Modeling with 4EM: Perspectives and Method
5.1 Introduction
5.2 The 4EM Enterprise Modeling Method
5.2.1 Basic Components
5.2.2 Sub-models and Perspectives
5.2.3 The Goals Model
5.2.4 The Business Rules Model
5.2.5 The Concepts Model
5.2.6 The Business Process Model
5.2.7 The Actors and Resources Model
5.2.8 The Product/Service Model
5.2.9 The Technical Components and Requirements Model
5.2.10 Inter-model Relationships
5.3 Conceptualizing 4EM
5.3.1 Meta-model of the Goals Model
5.3.2 Meta-model of the Business Rules Model
5.3.3 Meta-model of the Business Process Model
5.3.4 Meta-model of the Actors and Resources Model
5.3.5 Meta-model of the Concepts Model
5.3.6 Meta-model of the Technical Components and Requirements Model
5.3.7 Meta-model of the Product/Service Model
5.4 Illustrating 4EM Use with the 4EM Toolkit
5.4.1 The 4EM Toolkit
5.4.2 Illustrative Example
5.5 Summary
References
6 PGA 2.0: A Modeling Technique for the Alignment of the Organizational Strategy and Processes
6.1 Introduction
6.2 ADR Methodology
6.2.1 Problem Formulation
6.2.2 Building, Intervention, and Evaluation
6.2.3 Reflection and Learning
6.2.4 Formalization of Learning
6.3 Method Conceptualization
6.3.1 Modeling Language
6.3.1.1 Syntax
6.3.1.2 Semantics and Notation
6.3.2 Modeling Procedure
6.3.2.1 Development of the Business Architecture Hierarchy
6.3.2.2 Performing the AHP
6.3.2.3 Execution of the Performance Measurement
6.3.2.4 Strategic Fit Improvement Analysis
6.4 Proof of Concept
6.4.1 Tool Prototype
6.4.2 Case Study
6.4.2.1 Development of the Business Architecture Hierarchy
6.4.2.2 Performing the AHP
6.4.2.3 Execution of the Performance Measurement
6.4.2.4 Strategic Fit Improvement Analysis
6.4.3 Evaluation
6.5 Conclusion
References
7 The LiteStrat Modelling Method: Towards the Alignment of Strategy and Code
7.1 Introduction
7.2 Method Description
7.2.1 Related Initiatives
7.2.2 The LiteStrat Method
7.3 Method Conceptualisation
7.3.1 The LiteStrat Metamodel
7.3.2 Graphical Representation and Naming Conventions
7.4 Proof of Concept
7.4.1 Implementation of a LiteStrat Supporting Tool Prototype on ADOxx
7.4.2 Example of Application
7.5 Discussion
7.6 Conclusions
References
8 itsVALUE: Modelling and Analysing Value Streams for IT Services
8.1 Introduction
8.2 The itsVALUE Method
8.2.1 Understand Stakeholder Value (SV)
8.2.2 Understand and Model the Current Value Stream (CVS)
8.2.2.1 Modelling and Connecting the CVS with the SVs
8.2.2.2 Analysing the CVS: Detection of Waste and Ranking
8.2.3 Enhance Stakeholder Value: Define the Future Value Stream (FVS)
8.2.4 Create an Initial Value Stream Supporting Stakeholder Value
8.3 Conceptualising itsVALUE
8.3.1 The itsVALUE Meta-model
8.3.2 The itsVALUE Visual Notation
8.4 Modelling and Analysing with the itsVALUE Modeller
8.4.1 The Value Perception Model (VPM)
8.4.2 The Stakeholder Value Map (SVM)
8.4.3 The Value Stream Blueprint (VSB)
8.4.4 VSB Analysis Functionality
8.5 Conclusion and Outlook
References
Part IV Enterprise Information Systems
9 Enterprise Construction Modeling Method
9.1 Introduction
9.1.1 Related Work
9.1.2 Enterprise Ontology
9.2 Method Description
9.2.1 DEMO Aspect Models
9.2.2 The Demonstration Case
9.2.3 Way of Working
9.3 Method Conceptualization
9.3.1 Construction Model Metamodel
9.3.2 Construction Model Notation
9.4 Proof of Concept
9.5 Conclusion and Future Work
References
10 Tool Support for Fractal Enterprise Modeling
10.1 Introduction
10.2 Fractal Enterprise Model
10.2.1 Informal Overview
10.2.2 FEM Archetypes
10.2.3 Areas of FEM Application
10.2.3.1 Business Model Innovation
10.2.3.2 Arranging Process Documentation
10.2.3.3 Structural Coupling
10.3 Method Description
10.3.1 Metamodel and Semantics of FEM
10.3.2 Requirements on Toolkit
10.4 Proof of Concept
10.4.1 FEM Toolkit
10.4.1.1 Archetypes
10.4.1.2 Ghost Feature
10.4.1.3 Decomposition
10.4.1.4 Subclassing
10.4.1.5 Notes
10.4.2 Example of Usage: Identifying Areas for Improvement
10.4.3 Other Projects with the FEM Toolkit
10.5 Conclusion
References
11 The Integration of Risk Aspects into Business Process Management: The e-BPRIM Modeling Method
11.1 Introduction
11.2 Method Description
11.2.1 Background and Related Work
11.2.2 BPRIM: Business Process-Risk Management—Integrated Method
11.3 e-BPRIM and AdoBPRIM Conceptualization
11.3.1 e-BPRIM Multi-view Modeling Method Design
11.3.1.1 e-BPRIM Multi-view Modeling Procedure
11.3.1.2 e-BPRIM Modeling Language
11.3.1.3 e-BPRIM Algorithms and Mechanisms
11.3.2 AdoBPRIM Multi-view Modeling Tool Development
11.4 Case Study: The Crisis Management of the COVID-19 Pandemic
11.4.1 e-BPRIM Approach to Analyzing the COVID-19 Pandemic Management Process in France
11.4.1.1 Contextualization: How a Normal Situation Degraded Rapidly
11.4.1.2 Assessment: Entering into a Space of Risk Consciousness
11.4.1.3 Treatment: The Path from Analysis to Action
11.4.2 Experimental Feedback
11.5 Conclusions and Perspectives
References
12 Modeling the Phenomenon of Capability Change: The KYKLOS Method
12.1 Introduction
12.2 KYKLOS Method Description
12.2.1 Goals and Requirements
12.2.2 Introduction of the KYKLOS Method
12.2.3 Background and Related Research
12.3 Method Conceptualization
12.3.1 Concepts in KYKLOS
12.3.2 The KYKLOS Modeling Procedure
12.3.2.1 Phase 0: Foundation
12.3.2.2 Phase 1: Observation
12.3.2.3 Phase 2: Decision Alternatives
12.3.2.4 Phase 3: Delivery of Change
12.4 Proof of Concept
12.4.1 The KYKLOS Tool
12.4.2 The Case Study
12.4.2.1 Methodology
12.4.2.2 Phase 0: Foundation
12.4.2.3 Phase 1: Observation
12.4.2.4 Phase 2: Decision Alternatives
12.4.2.5 Phase 3: Delivery of Change
12.4.2.6 Veria Arts Centre's Capability Change Model
12.5 Conclusion
References
13 A Security Assessment Platform for Stochastic Petri Net (SPN) Modelling in the Internet of Things (IoT) Ecosystem
13.1 Introduction
13.2 Method Description
13.2.1 Modeling an IoT-Based Service
13.2.2 Security Assessment Method
13.2.2.1 Weaknesses and Vulnerabilities of the Service
13.2.2.2 Calculation of the Security Metric
13.2.3 Related Work
13.3 Method Conceptualisation
13.3.1 SAPnet Meta-Model and Semantics
13.3.2 Features and Algorithms
13.3.2.1 CVSS Class
13.3.2.2 Security Assessment Class
13.4 Proof of Concept: The SAPnet Tool
13.4.1 An IoT-Based Service: The iBuC Paradigm
13.4.1.1 The iBuC-PTS Scenario
13.4.1.2 The iBuC-WFS Scenario
13.4.2 Security Evaluation of the iBuC's Fleet Management Process
13.4.2.1 Theoretical Approach
13.4.2.2 Assessment Process on SAPnet
13.5 Conclusion
References
Part V Business Ecosystems and Services
14 A Modeling Tool for Exploring Business Ecosystems in a (Pre-)conceptual Phase
14.1 Introduction
14.2 Method Description
14.3 Method Conceptualization
14.4 Proof of Concept
14.4.1 Tool Functionalities
14.4.1.1 EcoViz Environment
14.4.1.2 Main Elements
14.4.1.3 Value Exchange and Resources Layer
14.4.1.4 Legal Layer
14.4.1.5 Dynamics and Motivation Layer
14.4.1.6 Values and Needs Layer
14.4.1.7 Layer Switching
14.4.1.8 Export/Import
14.4.2 Case Studies
14.4.2.1 New Business Model for a 3D Printer Manufacturer
14.4.2.2 Operation of a 3D Printing Center at Point of Care
14.4.2.3 Using UAVs in PPDR Missions: Legal Aspects
14.4.2.4 Using Mission-Critical Videos for PPDR: Workshop
14.5 Conclusion
References
15 A Capability-Based Method for Modeling Resilient Data Ecosystems
15.1 Introduction
15.2 Background
15.3 Method Conceptualization
15.3.1 Meta-model
15.3.2 Ecosystem Modeling
15.3.3 Model Analysis
15.4 Proof of Concept
15.4.1 ARTSS@ADOxx Tool
15.4.2 Case Study
15.5 Conclusion
References
16 Space of Services Method (SoS)
16.1 Introduction
16.2 Method Description
16.2.1 Dimensions of the Service Design
16.2.2 Four-Quadrant (4Q) Analysis
16.3 Method Conceptualization
16.4 Proof of Concept
16.4.1 Toolkit Implementation
16.4.2 Case Study
16.5 Conclusion and Outlook
References
17 Design and Engineering of Product-Service Systems (PSS): The SEEM Methodology and Modeling Toolkit
17.1 Introduction
17.2 The SErvice Engineering Methodology (SEEM): Perspectives and Modeling Requirements
17.2.1 Phase 1: Customer Needs Analysis
17.2.2 Phase 2: Ideating and Prototyping
17.2.2.1 Phase 2.1: Solution Definition and Selection
17.2.2.2 Phase 2.2: Process Design
17.2.3 Phase 3: Process Validation
17.2.4 Phase 4: Offering Implementation, Analysis, and Monitoring
17.3 SEEM Conceptualization and Metamodel
17.3.1 Phase 1: Customer Need Analysis
17.3.2 Phase 2: Ideating and Prototyping
17.3.3 Phase 3: Process Validation
17.4 SEEM Modeling Toolkit: Proof of Concept
17.4.1 Phase 1: Customer Needs Analysis
17.4.2 Phase 2: Ideating and Prototyping
17.5 Conclusion
References
Part VI Knowledge Engineering
18 Model-Based Guide Toward Digitization in Digital Business Ecosystems
18.1 Introduction
18.2 Method Description
18.3 Method Conceptualization
18.3.1 Concept Overview
18.3.2 Concept Pool
18.3.3 Procedure
18.4 Proof of Concept
18.5 Conclusion
References
19 Generating ROS Codes from User-Level Workflow in PRINTEPS
19.1 Introduction
19.2 Method Description
19.2.1 The Architecture of PRINTEPS
19.2.2 Workflow Editor
19.2.3 Generator
19.3 Method Conceptualization
19.3.1 Metamodel in PRINTEPS
19.3.2 Overview of ROS-Based Workflow Schema
19.3.3 Info Part of the Workflow Schema
19.3.4 Components Part of the Workflow Schema
19.3.5 Workflows Part of the Workflow Schema
19.3.6 Example Workflows for TurtleSim
19.4 Proof of Concept
19.4.1 Practical Applications of PRINTEPS
19.4.2 Evaluation
19.4.3 Discussion
19.5 Conclusion
References
20 ECAVI: An Assistant for Reasoning About Actions and Change with the Event Calculus
20.1 Introduction
20.2 Method Description
20.2.1 Event Calculus and Answer Set Programming (ASP)
20.2.2 Related Work
20.2.3 Requirement Analysis
20.3 Method Conceptualization
20.3.1 Implementation of the Modelling Language
20.3.1.1 Modelling Procedure
20.3.2 Translation into ASP
20.3.3 Meta-reasoning and Integrity Checks
20.4 Proof of Concept
20.4.1 Architecture
20.4.2 An Example of Application: Use Case
20.4.3 Tutorial and Evaluation
20.5 Conclusion and Future Work
References
Part VII Technology Enhanced Education
21 Tree Diagrams and Unit Squares 4.0: Digitizing Stochastic Classes with the Didactic Modeling Tool ProVis
21.1 Introduction
21.2 Method Description
21.2.1 Involved Stochastic Concepts for Visualization
21.2.2 Requirements for a Digital Tool in Stochastics Education
21.3 Method Conceptualization
21.3.1 Syntax of ProVis
21.3.1.1 Unit Squares
21.3.1.2 Tree Diagrams
21.3.2 Functionality
21.4 Proof of Concept
21.4.1 Tool Implementation
21.4.2 Case Study
21.5 Conclusion and Outlook
References
22 Improving Student Mobility Through Automated Mapping of Similar Courses
22.1 Introduction
22.2 Method Description
22.2.1 NLP Algorithms
22.2.2 Latent Semantic Analysis
22.3 Method Conceptualization
22.3.1 Method of SCoRe4Mobility
22.3.2 The Metamodel
22.4 Proof of Concept
22.4.1 ADOxx Model
22.4.2 Service Implementation
22.5 Conclusion
References
Part VIII Digital Humanities
23 Aggregation and Curation of Historical Archive Information
23.1 Archival Integration for Historical Research in Digital Humanities Infrastructures
23.2 Curating Information in the APOLLONIS Infrastructure
23.2.1 Data Heterogeneity
23.2.2 Knowledge Enhancement and Representation
23.3 An Ontological Framework for Contextual Curation Modeling
23.4 Modeling and Analyzing Aggregation and Curation Processes
23.5 Conclusion
References
Part IX Modelling Method Conceptualization
24 Conceptualization of Modelling Methods in the Context of Categorical Mechanisms
24.1 Introduction
24.2 Method Description
24.2.1 Goals and Motivation
24.2.2 Domain Conceptualization
24.2.3 AMME Life Cycle
24.3 Method Conceptualization
24.3.1 Categorical Specification of DiMaP-DSML
24.3.2 The Static Dimension of DiMaP-DSML
24.3.2.1 Syntax of the Static Dimension of DiMaP-DSML
24.3.2.2 Semantics of the Static Dimension of DiMaP-DSML
24.3.3 The Behavioural Dimension of DiMaP-DSML
24.3.3.1 Syntax of the Behavioural Dimension of DiMaP-DSML
24.3.3.2 Semantics of the Behavioural Dimension of DiMaP-DSML
24.4 Proof of Concept
24.4.1 Digital Manufacturing Planning Tool (DiMaP)
24.4.2 The DiMaP-DSML Language
24.4.2.1 Notations
24.4.2.2 Specifying the Model Syntax in the DiMaP-DSML Language
24.4.2.3 Specifying Model Semantics in DiMaP-DSML Language
24.5 Conclusion
References
25 Conceptualizing Design Thinking Artefacts: The Scene2Model Storyboard Approach
25.1 Introduction
25.2 Method Description
25.2.1 Design Thinking
25.2.1.1 Storyboarding with SAP ScenesTM
25.2.2 Challenges of Digital Tool Support for Design Thinking Techniques
25.2.2.1 State of the Art in Design Thinking Tooling
25.2.3 Modelling as Shareable Knowledge Representation
25.3 Method Conceptualization
25.3.1 The Scene2Model Modelling Method
25.3.1.1 The Scene2Model Diagrammatic Modelling Language
25.3.1.2 Modelling Procedure: Creating Models with Scene2Model
25.3.1.3 Supporting the User Through Mechanisms and Algorithms
25.3.2 Scope and Objectives of the Prototype
25.4 Proof of Concept
25.4.1 The Proof-of-Concept Environment
25.4.2 Use Case Introduction
25.4.2.1 Visualizing the Use Case
25.5 Future Work
25.6 Conclusion
References
26 An Approach to the Information System Conceptual Modeling Based on the Form Types
26.1 Introduction
26.2 IISStudio MDSD Method
26.2.1 IISCase Meta-Model
26.2.2 Fundamental Concepts
26.2.3 Form Type and Business Application Concepts
26.3 IISCase Meta-Model and Its ADOxx Implementation
26.3.1 ADOxx Implementation of IISCase Meta-Model
26.3.2 IISCase Concrete Syntax Specification in ADOxx
26.3.3 ADOxx Implementation of IISCase Transformations
26.4 A Case Study as a Proof of Concept
26.5 Conclusion
References
Part X Conceptual Modelling Language Extension
27 BPMN4MoPla: Mobility Planning Based on Business Decision-Making
27.1 Introduction
27.2 Background
27.2.1 DSML and Modelling Language Extension
27.2.2 Cyber-Physical Systems
27.2.3 Modelling Language Extension with Physical Components
27.3 Methodology
27.4 Conceptualization of BPMN4MoPla
27.4.1 Mobility Plan Scenario
27.4.2 Requirements for BPMN4MoPla
27.4.3 Conceptualization of BPMN4MoPla
27.5 Proof of Concept: The BPMN4MoPla Tool
27.5.1 Meta-Model and Model for BPMN4MoPla
27.5.1.1 Meta-Model for BPMN4MoPla
27.5.1.2 The Mobility Plan Model in BPMN4MoPla
27.5.2 Execution of BPMN4MoPla Models
27.5.2.1 The OMiLAB Infrastructure for the Cyber-Physical System
27.5.2.2 Executable BPMN4MoPla Model in BeeUp
27.5.2.3 Executable BPMN4MoPla Model in Camunda
27.6 Conclusion
References
28 BPMN Extension for Multi-Protocol Data Orchestration
28.1 Introduction
28.2 Method Description
28.2.1 Problem Statement and Solution Overview
28.2.2 Related Works
28.3 Method Conceptualization
28.3.1 Proposed BPMN Extensions
28.3.2 Semantic-Level Customizations
28.3.3 Syntactic-Level Customization
28.3.4 Notation-Level Customization
28.3.5 Functional Components
28.4 Proof-of-Concept: Multiprotocol Data Access Modeler
28.5 Conclusions
References