Model-Driven Development for Service-Oriented Architectures

This thesis presents a methodological as well as tool-based integration of Model-Driven Development (MDD) and Service-Oriented Computing (SOC). Model-driven development is a process for creating software by employing models to design and analyse a system before creating source code, while service-oriented computing is based on Service-Oriented Architectures (SOAs) for structuring software systems by using the concept of services, which are self-describing net-worked software artefacts offering a particular encapsulated functionality. Four main results are contributed to this area. First, we provide a UML-based, domain-specific modelling language specifically targeted at modelling service behaviour and service protocols. Secondly, these models are given a rigorous semantics based on transition systems, and a verification method is provided. Thirdly, we introduce model transformations to be used to generate code from UML models of SOA software systems for the Web Service standards platform as well as a traditional object-oriented language. Fourth, we provide