Intro
Preface
Organization
Contents
Models in Information System Development
Investigating The Effectiveness of Model-Based Testing on Testing Skill Acquisition
1 Introduction
2 Related Work
2.1 Teaching of Software Testing
2.2 Model-Based Testing
2.3 MERODE Code Generator and TesCaV
3 Research Method
3.1 Hypotheses
3.2 Experimental Design
3.3 Evaluation
4 Results
4.1 Personal Characteristic of the Participants
4.2 Test Case Coverage Scores
5 Discussion
5.1 Contributions
5.2 Internal Validity
5.3 External Validity
6 Conclusion

7 Further Research
References
Generating Low-Code Applications from Enterprise Ontology
1 Introduction
2 Theoretical Background
2.1 Enterprise Ontology
2.2 Enterprise Implementation
2.3 Model-Based Engineering and Low-Code Technology
3 Mapping
4 Implementation and Evaluation
5 Conclusions and Discussion
References
Supporting the Individuation, Analysis and Gamification of Software Components for Acceptance Requirements Fulfilment
1 Introduction
2 Motivation and Lessons Learned
2.1 Agon Framework
2.2 Activities and Lessons Learned.

3 SiaGAM Algorithm and Process
4 Case Study and Evaluation
5 Related Work
6 Conclusion
References
Modeling Enterprise Architectures
Historization of Enterprise Architecture Models via Enterprise Architecture Knowledge Graphs
1 Introduction
2 Background and Related Work
2.1 EA Debts and Smells
2.2 Graph-Based Analysis of EA Models
2.3 Graph Historization
3 Toward Historization for EA Models
3.1 Graph Structure
3.2 Storage
3.3 Historization Properties
4 Implementation
5 Analysis
6 Discussion
7 Conclusion
References

Towards Ontology-Based Validation of EA Principles
1 Introduction
2 Literature Review
2.1 Enterprise Architecture Management(EAM)
2.2 Formalizing Enterprise Architecture Models
2.3 Enterprise Architecture Principles
2.4 Formalizing EA Principles
2.5 Research Objective
3 Research Method
4 Automated Ontology-Based Validation of EA Principles
4.1 Knowledge in Models and EA Principles
4.2 Representing EA Models in an Enterprise Ontology
4.3 Representing EA Principles in an Enterprise Ontology
5 Step-By-Step Formalization and Validation of EA Principles

5.1 Step 1
Specification of EA Principles
5.2 Step 2
Creation of SBVR Rules
5.3 Step 3
Formalization of the Vocabulary as an Ontology
5.4 Step 4
Extending EA Models and EA Principles with Domain Knowledge
5.5 Step 5
Formalization of the SBVR Rules
6 Evaluation
6.1 Case Description
6.2 Implemented Approach
7 Conclusion and Future Work
References
Ontological Analysis and Redesign of Security Modeling in ArchiMate
1 Introduction
2 Security Modeling in Archimate
2.1 The Original ArchiMate Risk and Security Overlay