Linked e-resources
Details
Table of Contents
Intro
Introduction
Organization
Contents
6th International School on Tool-Based Rigorous Engineering of Software Systems
STRESS
Introduction
References
An Introduction to Graphical Modeling of CI/CD Workflows with Rig
1 Introduction
2 Continuous Integration and Deployment
3 TodoMVC
4 Programming a CI/CD Workflow
5 Rig
6 Modeling a CI/CD Workflow in Rig
7 Discussion
8 Conclusion
References
Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition*-8pt
1 Introduction
2 Concept
3 Metamodel
3.1 Function Interface Storage
3.2 Process
3.3 Function
3.4 Constant
3.5 SubProcess
4 Semantics
4.1 SubProcess Component
4.2 Function Component
5 Type System
5.1 Classification
5.2 Data Types
5.3 Type Inference
6 Usage
6.1 Function Discovery
6.2 Modeling
6.3 Execution
7 Tutorial
8 Related Approaches
8.1 MaramaEML
8.2 ETI, Bio-jETI
8.3 Taverna
8.4 Kepler
8.5 SDLTool
8.6 Azure ML Studio, Google Cloud ML and AWS ML
8.7 RapidMiner Studio
9 Conclusion and Outlook
References
Integrating External Services in DIME
1 Introduction
2 The Digital Thread Platform in DIME
2.1 The Current Architecture
2.2 Low Code and DSLs
3 Integration in DIME: A Quick Tutorial
3.1 Runtime Infrastructure
3.2 SIB Declaration
3.3 SIB Implementation
4 Case Studies: The R Platform and REST Services
4.1 R Integration as Platform Integration
4.2 RESTful Extension as Service Integration
5 Conclusion and Discussion
References
Asking Why
1 Introduction
2 State of the Art
2.1 Today's Challenges of Organizations
2.2 Today's Internal Knowledge Management Challenges
3 Case Study GDPR
3.1 Typical GDPR Solutions in Practice
3.2 Why-Based Quality Analysis
3.3 Why-Based Solution Proposal
4 Why-Based Alignment
5 Conclusion
References
Industrial Track
Formal Methods for a Digital Industry
1 Introduction
2 Contributions
2.1 Software-Enabled Business Engineering
2.2 Simulation-Based Testing of Software for Autonomous Systems
2.3 Domain-Specific Languages for the Industry 4.0
2.4 Applications of Machine Learning in Software Engineering
References
Agile Business Engineering: From Transformation Towards Continuous Innovation
1 Introduction
2 State of the Art
2.1 Business Engineering
2.2 Agile Software Engineering
2.3 Parallels, Differences, and Potentials
3 Method
4 Interview Results
5 Implications
6 Reflections
7 Conclusion, Limitations, and Outlook
References
Towards Living Canvases
1 Introduction
2 State of the Art
2.1 Today's Use and Application of Canvases
2.2 The Risk Standard as an Add-on Perspective
3 Method
4 The Use Case: The AI-ETA Service
4.1 Introducing the Silicon Economy Project
4.2 The AI-ETA Service
4.3 Workshop Execution
4.4 Workshop Results
Introduction
Organization
Contents
6th International School on Tool-Based Rigorous Engineering of Software Systems
STRESS
Introduction
References
An Introduction to Graphical Modeling of CI/CD Workflows with Rig
1 Introduction
2 Continuous Integration and Deployment
3 TodoMVC
4 Programming a CI/CD Workflow
5 Rig
6 Modeling a CI/CD Workflow in Rig
7 Discussion
8 Conclusion
References
Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition*-8pt
1 Introduction
2 Concept
3 Metamodel
3.1 Function Interface Storage
3.2 Process
3.3 Function
3.4 Constant
3.5 SubProcess
4 Semantics
4.1 SubProcess Component
4.2 Function Component
5 Type System
5.1 Classification
5.2 Data Types
5.3 Type Inference
6 Usage
6.1 Function Discovery
6.2 Modeling
6.3 Execution
7 Tutorial
8 Related Approaches
8.1 MaramaEML
8.2 ETI, Bio-jETI
8.3 Taverna
8.4 Kepler
8.5 SDLTool
8.6 Azure ML Studio, Google Cloud ML and AWS ML
8.7 RapidMiner Studio
9 Conclusion and Outlook
References
Integrating External Services in DIME
1 Introduction
2 The Digital Thread Platform in DIME
2.1 The Current Architecture
2.2 Low Code and DSLs
3 Integration in DIME: A Quick Tutorial
3.1 Runtime Infrastructure
3.2 SIB Declaration
3.3 SIB Implementation
4 Case Studies: The R Platform and REST Services
4.1 R Integration as Platform Integration
4.2 RESTful Extension as Service Integration
5 Conclusion and Discussion
References
Asking Why
1 Introduction
2 State of the Art
2.1 Today's Challenges of Organizations
2.2 Today's Internal Knowledge Management Challenges
3 Case Study GDPR
3.1 Typical GDPR Solutions in Practice
3.2 Why-Based Quality Analysis
3.3 Why-Based Solution Proposal
4 Why-Based Alignment
5 Conclusion
References
Industrial Track
Formal Methods for a Digital Industry
1 Introduction
2 Contributions
2.1 Software-Enabled Business Engineering
2.2 Simulation-Based Testing of Software for Autonomous Systems
2.3 Domain-Specific Languages for the Industry 4.0
2.4 Applications of Machine Learning in Software Engineering
References
Agile Business Engineering: From Transformation Towards Continuous Innovation
1 Introduction
2 State of the Art
2.1 Business Engineering
2.2 Agile Software Engineering
2.3 Parallels, Differences, and Potentials
3 Method
4 Interview Results
5 Implications
6 Reflections
7 Conclusion, Limitations, and Outlook
References
Towards Living Canvases
1 Introduction
2 State of the Art
2.1 Today's Use and Application of Canvases
2.2 The Risk Standard as an Add-on Perspective
3 Method
4 The Use Case: The AI-ETA Service
4.1 Introducing the Silicon Economy Project
4.2 The AI-ETA Service
4.3 Workshop Execution
4.4 Workshop Results