A unified view approach to software development automation

Title

Title-Inner

Declaration

Abstract

Acknowledgement

Contents

Glossary

List of Figures

List of Tables

1 Introduction

1.1 Problem Statement
- 1.1.1 Motivating Example
- 1.1.2 Domain-Driven Design Challenges
- 1.1.3 Research Statement
1.2 Research Aim and Objectives
1.3 Research Approach
1.4 Dissertation Structure

2 State of the Art

2.1 Background
- 2.1.1 Model-Driven Software Engineering
- 2.1.2 Domain-Specific Language
- 2.1.3 Meta-Modelling with UML/OCL
- 2.1.4 Domain-Driven Design
- 2.1.5 Model-View-Controller Architecture
- 2.1.6 Comparing and Integrating MDSE with DDD
- 2.1.7 A Core Meta-Model of Object-Oriented Programming Language
- 2.1.8 Using Annotation in MBSD
2.2 Domain-Driven Software Development with aDSL
- 2.2.1 DDD with aDSL
- 2.2.2 Behavioural Modelling with UML Activity Diagram
- 2.2.3 Software Module Design
- 2.2.4 Module-Based Software Architecture
2.3 Summary

3 Unified Domain Modelling with aDSL

3.1 Introduction
3.2 DCSL Domain
- 3.2.1 Essential State Space Constraints
- 3.2.2 Essential Behaviour Types
3.3 DCSL Syntax
- 3.3.1 Expressing the Pre- and Post-conditions of Method
- 3.3.2 Domain Terms
3.4 Static Semantics of DCSL
- 3.4.1 State Space Semantics
- 3.4.2 Behaviour Space Semantics
- 3.4.3 Behaviour Generation for DCSL Model
3.5 Dynamic Semantics of DCSL
3.6 Unified Domain Model
- 3.6.1 Expressing UDM in DCSL
- 3.6.2 UD Modelling Patterns
3.7 Summary

4 Module-Based Software Construction with aDSL

4.1 Introduction
4.2 Software Characterisation
- 4.2.1 An Abstract Software Model
- 4.2.2 Instance-based GUI
- 4.2.3 Model reflectivity
- 4.2.4 Modularity
- 4.2.5 Generativity
4.3 Module Configuration Domain
- 4.3.1 One Master Module Configuration
- 4.3.2 The `Configured' Containment Tree
- 4.3.3 Customising Descendant Module Configuration
4.4 MCCL Language Specification
- 4.4.1 Specification Approach
- 4.4.2 Conceptual Model
- 4.4.3 Abstract Syntax
- 4.4.4 Concrete Syntax
- 4.4.5 Semantics
4.5 MCC Generation
- 4.5.1 Structural Consistency between MCC and Domain Class
- 4.5.2 MCCGEN Algorithm
4.6 Summary

5 Evaluation

5.1 Implementation
- 5.1.1 UD Modelling
- 5.1.2 Module-Based Software Construction
5.2 Case Study: ProcessMan
- 5.2.1 Method
- 5.2.2 Case and Subject Selection
- 5.2.3 Data Collection and Analysis
- 5.2.4 Results
5.3 DCSL Evaluation
- 5.3.1 Evaluation Approach
- 5.3.2 Expressiveness
- 5.3.3 Required Coding Level
- 5.3.4 Behaviour Generation
- 5.3.5 Performance Analysis
- 5.3.6 Discussion
5.4 Evaluation of Module-Based Software Construction
- 5.4.1 Module Generativity Framework
- 5.4.2 MP1: Total Generativity
- 5.4.3 MP2–MP4
- 5.4.4 Analysis of MCCGen
- 5.4.5 Discussion
5.5 Summary

6 Conclusion

Publications

Bibliography

A Helper OCL Functions for DCSL's ASM

B MCCL Specification

C DCSL Evaluation Data

5. 8b(1). Thesis-extra-vn-pages.pdf