Executable Uml

Executable UML can help organizations implement working software systems. This book shows how UML can be used to execute code.

This book offers insight into a revolution in software development that will ultimately lead to automatic executable code generation directly from model specifications. Using the most widely adopted software modelling language, UML, it demonstrates the way to build robust specifications based on OMG's Model Driven Architecture (MDA). Chapters then describe the steps needed to move directly to executable code using Executable UML (XUML). The volume will be a useful reference for professionals concerned with the future of software development for medium- and large-scale projects.

For all software engineering courses on UML, object-oriented analysis and modeling, and analysis/modeling for real-time or embedded software. Executable UML is for students who want to apply object-oriented analysis and modeling techniques to real-world UML projects. Leon Starr presents the skills and techniques needed to build useful class models for creating precise, executable software specifications that generate target code in multiple languages and for multiple platforms. Leon, who wrote the definitive guide to Shlaer-Mellor modeling, emphasizes the practical use of executable UML modeling, presenting extensive examples from real-time embedded and scientific applications. Using the materials in his How to Build Shlaer-Mellor Object Models as a starting point, Leon presents an entirely new introduction to Executable UML, expresses all diagrams in Executable UML notation, and adds advanced new object modeling techniques.

This book comprehensively presents a novel approach to the systematic security hardening of software design models expressed in the standard UML language. It combines model-driven engineering and the aspect-oriented paradigm to integrate security practices into the early phases of the software development process. To this end, a UML profile has been developed for the specification of security hardening aspects on UML diagrams. In addition, a weaving framework, with the underlying theoretical foundations, has been designed for the systematic injection of security aspects into UML models. The work is organized as follows: chapter 1 presents an introduction to software security, model-driven engineering, UML and aspect-oriented technologies. Chapters 2 and 3 provide an overview of UML language and the main concepts of aspect-oriented modeling (AOM) respectively. Chapter 4 explores the area of model-driven architecture with a focus on model transformations. The main approaches that are adopted in the literature for security specification and hardening are presented in chapter 5. After these more general presentations, chapter 6 introduces the AOM profile for security aspects specification. Afterwards, chapter 7 details the design and the implementation of the security weaving framework, including several real-life case studies to illustrate its applicability. Chapter 8 elaborates an operational semantics for the matching/weaving processes in activity diagrams, while chapters 9 and 10 present a denotational semantics for aspect matching and weaving in executable models following a continuation-passing style. Finally, a summary and evaluation of the work presented are provided in chapter 11. The book will benefit researchers in academia and industry as well as students interested in learning about recent research advances in the field of software security engineering.

As the field of information technology continues to grow and expand, it impacts more and more organizations worldwide. The leaders within these organizations are challenged on a continuous basis to develop and implement programs that successfully apply information technology applications. This is a collection of unique perspectives on the issues surrounding IT in organizations and the ways in which these issues are addressed. This valuable book is a compilation of the latest research in the area of IT utilization and management.

This book constitutes the refereed proceedings of workshops, held at the 30th International Conference on Conceptual Modeling, ER 2011, in Brussels, Belgium in October/November 2011. The 31 revised full papers presented together with 9 posters and demonstrations (out of 88 submissions) for the workshops and the 6 papers (out of 11 submissions) for the industrial track were carefully reviewed and selected. The papers are organized in sections on the workshops Web Information Systems Modeling (WISM); Modeling and Reasoning for Business Intelligence (MORE-BI); Software Variability Management (Variability@ER); Ontologies and Conceptual Modeling (Onto.Com); Semantic and Conceptual Issues in GIS (SeCoGIS); and Foundations and Practices of UML (FP-UML).

"Highlights of this book include: the MDA framework, including the Platform Independent Model (PIM) and Platform Special Model (PSM); OMG standards and the use of UML; MDA and Agile, Extreme Programming, and Rational Unified Process (RUP) development; how to apply MDA, including PIM-to-PSM and PSM-to-code transformations for Relational, Enterprise JavaBean (EJB), and Web models; transformations, including controlling and tuning, traceability, incremental consistency, and their implications; metamodeling; and relationships between different standards, including Meta Object Facility (MOF), UML, and Object Constraint Language (OCL)."--Jacket.

The fourth edition of the European Conference on Model-Driven Architecture – Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology. MDA is an initiative proposed by the - ject Management Group (OMG) for platform-generic software development. It promotes the use of models in the speci?cation, design, analysis, synthesis, - ployment, and evolution of complex software systems. ECMDA-FA 2008 focused on engaging key European and international - searchers and practitioners in a dialogue which will result in a stronger, more e?cientindustry,producingmorereliablesoftwareonthebasisofstate-of-the-art research results. ECMDA-FA is a forum for exchanging information, discussing the latest results and arguing about future developments of MDA. It is a pleasure to be able to introduce the proceedings of ECMDA-FA 2008. ECMDA-FA addresses various MDA areas including model management, e- cutable models, concrete syntaxes, aspects and concerns, validation and te- ing, model-based systems engineering, model-driven development and servi- oriented architectures, and the application of model-driven development. Therearesomanypeople whodeservewarmthanksandgratitude.The fru- ful collaboration of the Organization, Steering and Program Committee m- bersandthevibrantcommunityledtoasuccessfulconference:ECMDA-FA2008 obtainedexcellentresultsintermsofsubmissions,programsize,andattendance. The Program Committee accepted, with the help of additional reviewers, research papers and industry papers for ECMDA-FA 2008: We received 87 s- missions. Of these, a total of 31 were accepted including 21 research papers and 10 industry papers. We thank them for the thorough and high-quality selection process.