Web application generator by image-oriented design
ACM SIGSOFT Software Engineering Notes
Verified systems by composition from verified components
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Using design patterns to build dynamically extensible collaborative virtual environments
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
A page-transition framework for image-oriented Web programming
ACM SIGSOFT Software Engineering Notes
Executable/Translatable UML in computing education
ACE '04 Proceedings of the Sixth Australasian Conference on Computing Education - Volume 30
UML-based co-design for run-time reconfigurable architectures
Languages for system specification
A unified approach to code generation from behavioral diagrams
Languages for system specification
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
UML 2.0 - Overview and Perspectives in SoC Design
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Why Systems-on-Chip Needs More UML like a Hole in the Head
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Reuse and variability in large software applications
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Transaction Support Using Unit of Work Modeling in the Context of MDA
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
WebHelix: another web engineering process
Journal of Computing Sciences in Colleges
Proceedings of the 28th international conference on Software engineering
Modeling events as entities in object-oriented conceptual modeling languages
Data & Knowledge Engineering - Special issue: ER 2004
Experiences with hierarchy-based code generation in the J2EE context
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Moving architectural description from under the technology lamppost
Information and Software Technology
Challenging the interoperability between computers in industry with MDA and SOA
Computers in Industry - Special issue: Collaborative environments for concurrent engineering
Towards executable aspect-oriented UML models
Proceedings of the 10th international workshop on Aspect-oriented modeling
A pattern based approach to aspect-orientation for state based systems
Proceedings of the 2nd workshop on Best practices in applying aspect-oriented software development
Component-based hardware/software co-verification for building trustworthy embedded systems
Journal of Systems and Software
UML for ESL design: basic principles, tools, and applications
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Requirements variability models: meta-model based transformations
MIS '05 Proceedings of the 2005 symposia on Metainformatics
Using established Web Engineering knowledge in model-driven approaches
Science of Computer Programming
Test Synthesis from UML Models of Distributed Software
IEEE Transactions on Software Engineering
Information and Software Technology
On the Pitfalls of UML 2 Activity Modeling
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Generating Code from Scenario and State Based Models to Address Crosscutting Concerns
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Safety analysis of software product lines using state-based modeling
Journal of Systems and Software
An approach for selective state machine based regression testing
Proceedings of the 3rd international workshop on Advances in model-based testing
GUIDE: Games with UML for interactive design exploration
Knowledge-Based Systems
Exploring an Option Space to Engineer a Ubiquitous Computing System
Electronic Notes in Theoretical Computer Science (ENTCS)
A hybrid framework for resource verification in executable model-based embedded system development
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
UML&AADL '2007 grand challenges
ACM SIGBED Review
The CISNA model of accessible adaptive hypermedia
W4A '08 Proceedings of the 2008 international cross-disciplinary conference on Web accessibility (W4A)
Towards odyssey-VCS 2: improvements over a UML-based version control system
Proceedings of the 2008 international workshop on Comparison and versioning of software models
Applying and evaluating AOM for platform independent behavioral UML models
Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling
Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling
Derivation of program models for web application systems using meta-models
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Methods and Tools for Formal Software Engineering
Verified Software: Theories, Tools, Experiments
Developing a Quality Framework for Model-Driven Engineering
Models in Software Engineering
Component-Based Abstraction and Refinement
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Platform-Independent Programming of Data-Intensive Applications Using UML
Balancing Agility and Formalism in Software Engineering
Data Flow Analysis of UML Action Semantics for Executable Models
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Supporting the UML State Machine Diagrams at Runtime
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Executable Platform Independent Models for Data Intensive Applications
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Automatic Generation of CSP || B Skeletons from xUML Models
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Towards a Formal Account of a Foundational Subset for Executable UML Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Alchemy: transmuting base alloy specifications into implementations
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Improving robustness of evolving exceptional behaviour in executable models
Proceedings of the 4th international workshop on Exception handling
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities
CASCON '08 Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds
Adaptive Agent Model: Software Adaptivity using an Agent-oriented Model-Driven Architecture
Information and Software Technology
IWSM/Metrikon/Mensura '08 Proceedings of the International Conferences on Software Process and Product Measurement
Specifying behavioral semantics of UML diagrams through graph transformations
Journal of Systems and Software
Assertion-based dynamic verification for executable UML specifications
ACS'08 Proceedings of the 8th conference on Applied computer scince
Embedded system design based on aspect-oriented executable UML
ACS'08 Proceedings of the 8th conference on Applied computer scince
Model-Based Software Engineering and Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II
Composition semantics for executable and evolvable behavioral modeling in MDA
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Towards a Semantic Infrastructure for User Generated Mobile Services
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Formulation of Clamshell Diagram and Its Application to Source Code Reading
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Invariant-driven specifications in Maude
Science of Computer Programming
Verifying Action Semantics Specifications in UML Behavioral Models
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
A Hybrid Graphical and Textual Notation and Editor for UML Actions
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams
Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes
An Agile MDA Approach for Service-Oriented Components
Electronic Notes in Theoretical Computer Science (ENTCS)
On the way to modeling: a case study in managing model transformations in MDA
DIWEB'09 Proceedings of the 9th WSEAS international conference on Distance learning and web engineering
User capability in an adaptive world
MSIADU '09 Proceedings of the 1st ACM SIGMM international workshop on Media studies and implementations that help improving access to disabled users
Proceedings of the 2009 international conference on Multimodal interfaces
Modeling and executing adaptive sensor network applications with the Matilda UML virtual machine
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
A framework for executable UML models
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Algebra of systems: a metalanguage for model synthesis and evaluation
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
The Technical Foundation of the GeneSEZ MDSD Approach
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Slicing-based test case generation from UML activity diagrams
ACM SIGSOFT Software Engineering Notes
Embedded architecture description language
Journal of Systems and Software
Lessons in Software Evolution Learned by Listening to Smalltalk
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Transformation and Verification of Executable UML Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Propositional Statecharts for Agent Interaction Protocols
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Rigorous Approach to UML-Based Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Requirements Variability Support Through MDA™ and Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-driven development for early aspects
Information and Software Technology
Visual design and programming for Web applications
Journal of Visual Languages and Computing
Data & Knowledge Engineering
Activity-driven synthesis of state machines
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Precise specification of use case scenarios
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
Execution of aspect oriented UML models
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
An approach to testing conceptual schemas
Data & Knowledge Engineering
Integration of an action language via UML action semantics
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Software process in the classroom: a comparative study
ISCIT'09 Proceedings of the 9th international conference on Communications and information technologies
Formal model-driven program refactoring
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A common core for active conceptual modeling for learning from surprises
Active conceptual modeling of learning
Model driven development for embedded systems
SEPADS'10 Proceedings of the 9th WSEAS international conference on Software engineering, parallel and distributed systems
Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach
Science of Computer Programming
Towards an integrated quality assessment and improvement approach for UML models
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Interpretation of history pseudostates in orthogonal states of UML state machines
NGITS'09 Proceedings of the 7th international conference on Next generation information technologies and systems
Behaviour-Driven Development of Foundational UML Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Automating test cases generation: from xtUML system models to QML test models
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Toward optimized code generation through model-based optimization
Proceedings of the Conference on Design, Automation and Test in Europe
Automatic generation of web applications from visual high-level functional web components
Advances in Software Engineering
Formal verification of Tokeneer behaviours modelled in fUML using CSP
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A simulation-based software design framework for network-centric and parallel systems
Programming Support Innovations for Emerging Distributed Applications
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction
Conference Internationale Francophone sur I'Interaction Homme-Machine
Methodology for the development of executable system architecture
Proceedings of the 8th International Conference on Frontiers of Information Technology
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
Real-world semantics of conceptual models
The evolution of conceptual modeling
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
On the performance of UML state machine interpretation at runtime
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Integrating behaviour in software models: an event coordination notation -- concepts and prototype
Proceedings of the Third Workshop on Behavioural Modelling
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Towards a practical approach to check UML/fUML models consistency using CSP
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Actor-eUML for concurrent programming
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Ontology-based knowledge representation for self-governing systems
DSOM'06 Proceedings of the 17th IFIP/IEEE international conference on Distributed Systems: operations and management
Model-Driven development with SDL – process, tools, and experiences
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Facilitating the definition of general constraints in UML
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model-Driven development of RTOS-Based embedded software
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
A technique to represent product line core assets in MDA/PIM for automation
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Natural language generation from class diagrams
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
A predicative semantic model for integrating UML models
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
rCOS: refinement of component and object systems
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
A model-driven engineering framework for embedded systems design
Innovations in Systems and Software Engineering
Specification and validation of behavioural protocols in the rCOS modeler
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Conceptual schema-centric development: a grand challenge for information systems research
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Bridging the gap between requirements and design: An approach based on Problem Frames and SysML
Journal of Systems and Software
UML4SPM: a UML2.0-Based metamodel for software process modelling
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Composing domain-specific languages for wide-scope software engineering applications
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
MDA, meta-modelling and model transformation: introducing new technology into the defence industry
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
A comparative study of metamodel integration and interoperability in UML and web services
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Towards general purpose, high level, software languages
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Dynamic logic semantics for UML consistency
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Compositional reasoning for hardware/software co-verification
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Component-Based Software Development for Embedded Systems
A pattern language for process execution and integration design in service-oriented architectures
Transactions on Pattern Languages of Programming I
Software development with the emphasis on topology
ADBIS'09 Proceedings of the 13th East European conference on Advances in Databases and Information Systems
Modular embedding of the object constraint language into a programming language
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Towards systematic model assessment
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
A lightweight model-driven orchestration engine for e-services
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
Applying MDA and UML in the development of a healthcare system
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
Automated verification of executable UML models
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Verification of UML models by translation to UML-B
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Applying MDA and UML in the development of a healthcare system
UML Modeling Languages and Applications
Model-Driven Development with eUML-ARC
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Testing and debugging UML models based on fUML
Proceedings of the 34th International Conference on Software Engineering
International Journal of Metadata, Semantics and Ontologies
Form follows function: model-driven engineering for clinical trials
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
A conceptual framework and experimental workbench for architectures
Software Service and Application Engineering
CMMI based software metrics to evaluate OOAD
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
Joinpoint inference from behavioral specification to implementation
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Software and Systems Modeling (SoSyM)
The quest for runware: on compositional, executable and intuitive models
Software and Systems Modeling (SoSyM)
On integrating structure and behavior modeling with OCL
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Proceedings of the 7th Workshop on Models@run.time
Model transformation impact on test artifacts: an empirical study
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Alf-Verifier: an eclipse plugin for verifying Alf/UML executable models
ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
An overview of the mCRL2 toolset and its recent advances
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Executing and debugging UML models: an fUML extension
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Pattern Language Verification in Model Driven Design
Information Sciences: an International Journal
Context-sensitive synthesis of executable functional models of cyber-physical systems
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Journal of Systems and Software
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Industrial experiences from multi-paradigmatic modelling of signal processing
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
Model-based, event-driven programming paradigm for interactive web applications
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Development of a modeling education program for novices using model-driven development
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education
Editorial: A complete set of guidelines for naming UML conceptual schema elements
Data & Knowledge Engineering
Hi-index | 0.00 |
From the Book:At one time, the title for this book was Executable UML For Model-Driven Architectures (MDA) Using Aspect-Oriented (AO) Techniques with Extreme Programming (XP), Agile Modeling (AM), and Other Agile Alliance (AA) Processes as an Instance of the Rational Unified Process (RUP). Eventually, we settled instead on Executable UML: A Foundation for Model-Driven Architecture. This title is snappier, but it's not fully buzzword-compliant, nor is it as descriptive as the original.So what is this Executable UML? It is a profile of UML that allows you, the developer, to define the behavior of a single subject matter in sufficient detail that it can be executed. In this sense, the model is like code, but there's no point in writing "code" in UML just to rewrite it in Java or C++, so it's rather more revealing to examine what executable UML doesn't say that code might.An executable UML model doesn't make coding decisions. It makes no statement about tasking structures; it makes no statement about distribution; it makes no statement about classes or encapsulation. An executable UML model describes only the data and behavior, organized into classes to be sure, about the subject matter at hand. In other words an executable UML developer describes subject matters at a higher level of abstraction than she would in a programming language.To build a system, we build an executable UML of each subject matter. Typically, the system includes subject matters such as the application, a user interface and some general services. The executable UML models for each of these subject matters are then woven together by an executable UML modelcompiler.The model compiler targets a specific implementation embodying decisions about "coding:" tasking structures, distribution, data structures (which may be quite different from that suggested by the class structure), as well as the language. Model compilers can be extremely sophisticated, taking care of cross-cutting concerns such as transaction safety and rollback, or they can be sophisticated in a different way, targeting small footprint embedded systems with no tasking or other system support.In general, a model compiler compiles several executable UML models, each of which captures a single cross-cutting concern to yield the running system. In this sense, executable UML makes use of the concepts in aspect-oriented programming.Executable UML models support a new Object Management Group initiative, Model-Driven Architecture (MDA). This initiative is in its early stages, but its goal is to allow developers to compose complete systems out of models and other components. This goal requires at least an interface as contract and, behind the interface, the ability to express a solution without making coding decisions. That would be executable UML, or some variation.This book does not describe model-driven architecture or its implications. Rather, this book focuses on one aspect of MDA that we believe to be critical: the ability to model whole subject matters completely and turn these models into systems. This ability, we believe, relies on being able to execute models. Hence executable UML.Because the developer builds models as executable as a program for each subject matter, all the principles of extreme programming and agile processes can be applied. Indeed, many of the principles of these processes having nothing to do with coding per se.You can use Executable UML in a deliberate process or, because the models are executable, an agile one. Our preference is agile and incremental because it keeps the focus on delivering working software.And what about RUP? As one of our reviewers, Martin Fowler, so memorably said: "My biggest concern with RUP is that it's so loose that any process seems to qualify as an instance of RUP. As a result, saying you're using RUP is a semantics-free statement." So, we can reasonably assert that the process described by this book is an instance of RUP, and if you want, we do.Frequently Asked QuestionsIs this the only possible Executable UML?No. This rendition views each object as potentially having a state machine that can execute asynchronously and concurrently. We view this approach as necessary for today's distributed computing environments. However, one could define an executable UML that relies on synchronous method calls between objects to produce a completely synchronous model of the subject matter. Similarly, our particular use of the statechart is not the only possible one.Is Executable UML a Standard?Yes and No. The notational elements you'll see in this book conform to UML, and so qualify as a profile of that standard. In addition, the execution semantics defined here conform to UML, though we do both subset UML and impose certain rules to link the elements together. What is not yet a standard is the exact content of what can and should be interchanged so that we can guarantee that any and all model compilers can compile any arbitrary executable UML model.Throughout this book, we use standards as much as they are established. In some areas, the book is intended to provide a basis for discussion of what should ultimately become a standard.Will there be a standard one day, and how might it differ?Yes, we hope so. Work has begun informally to define a standard and we will encourage and support it. We expect the standard to define the underlying semantics quite closely to what is outlined here, and to layer increasingly rich syntax on top.Does that mean I should wait?Not at all. This technology is taking off, and the basic elements are already established. Get ahead of the learning curve.I know nothing about UML. Is this book too advanced for me?We assume you have an intuitive understanding of the goals behind UML, but nothing more. We will show you all the elements you need to build an executable UML model.I'm a long-time UML user. Do I need this book?If you want to garner the benefits of executable UML, then you'll have to learn the elements that make it up. Focus on the definitions we use and the chapters that show how to build and execute models. Skip the notational stuff. Be prepared to unlearn some UML (and some habits of mind induced by UML) that is required to model software structure, but not required to specify an executable model.What happened to model adornments such as aggregation or composition?We don't need them for Executable UML. UML enables you to model software structure but that's not our purpose here so those adornments, and many others, are not in our profile.Some of this seems familiar. Is this just Shlaer-Mellor in UML clothing?Executable UML and Shlaer-Mellor share common roots. Both focus on execution and specification of an abstract solution, not on specifying software structure. Executable UML uses UML notation, which makes execution concepts accessible to a broader community.I've used Shlaer-Mellor before. Is this any different?A lot can happen in this industry in ten weeks, let alone the ten years since the publication of Object Lifecycles. First of all, of course, we all now use UML notation and vocabulary. (Resistance was futile.) Executable UML takes a more object-oriented perspective, no longer requiring identifiers or referential attributes, or other traces of Shlaer-Mellor's relational roots.The addition of an action language that conforms to the UML is a major step forward. We hope the action language, and the very concept of an executable and translatable UML may one day be seen as a significant contribution of the Shlaer-Mellor community.And finally, progress in tools makes certain conventions, such as event numbering, less critical to model understanding, though they are still helpful in keeping our minds clear.A complete list of correspondences and differences appears in Appendix E.How can I get an Executable UML tool?All of the examples in this book were developed using Project Technology's tool, BridgePoint. A copy of BridgePoint can be downloaded from our book's website, http://www.projtech.com/.How is this differnt from the old "draw the pictures, get some code" CASE tools?There are two main differences. First, compiling models produces the whole system, not just interfaces or frameworks. Secondly, there are many different model compilers available to buy, and even more that can be built, to meet exacting software architecture needs.Where has Executable UML been used?Executable UML has been used to generate systems as large as four million lines of C++, and as small as hand-held drug delivery devices. Executable UML has also been used in lease-origination, web-enabled executive reporting, and intermodal transportation logistics systems.Why did you write this book?Because we had nothing better to do? No: There are lots of books out there that tell you about UML notation, but few of them focus attention on the subset you need for executability. Many books use UML to describe software structure. We explicitly spurn this usage.Why should I buy this book?Because it describes completely everything you need to know about executable UML: it's the Executable UML handbook.