This book describes the concepts and application of model-based development (MBD), model transformations, and Agile MBD to a wide range of software systems. It covers systems requirements engineering, system specification and design, verification, reuse, and system composition in the context of Agile MBD. Examples of applications in finance, system migration, internet systems and software refactoring are given. An established open-source MBD technology, UML-RSDS, is used throughout to illustrate the concepts.
The book is suitable for industrial practitioners who need training in Agile MBD, and those who need to understand the issues to be considered when introducing MBD in an industrial context. It is also suitable for academic researchers, and for use as text for undergraduate or postgraduate courses in MBD. Examples for educational use of UML-RSDS are included in the book.
Dr. Lano is Associate Professor of Software Engineering at King's College London. He has worked in the areas of model-based development, model transformations and software verification. He was a founding member of the Precise UML (pUML) group, which had a significant influence on the international UML standard modelling language and the QVT transformation standard. The main emphasis of his current research is on precise model transformations, using the UML-RSDS method and tools. This is a novel approach to model transformation, combining the benefits of precise specification and automated synthesis of implementations. There have been many applications of UML-RSDS, to finance, system migration, refactoring, etc., and UML-RSDS has been the subject of comparative international studies of transformation techniques. He has over 40 journal publications, and over 200 other publications.
Introduction. Overview of development using UML-RSDS. Class Diagrams. Constraints. Use Cases. Design Synthesis. Model Transformations. Design Patterns and Refactorings. System Composition. Agile Development and Model-based Development. Requirements Analysis and Specification. System Verification. Reactive Systems Development with UML-RSDS. Enterprise Systems Development with UML-RSDS. Example Case Studies. Conclusions.