Метод Шлаер-Меллор: Объекто-ориентированный анализ и исполняемая UML

The Shlaer–Mellor method, also known as object oriented systems analysis (OOSA) or object oriented analysis (OOA) is an object oriented software development methodology introduced by Sally Shlaer and Stephen Mellor in 1988. The method makes the documented analysis so precise that it is possible to implement the analysis model directly by translation to the target architecture, rather than by elaborating model changes through a series of more platform specific models. In the new millennium the Shlaer–Mellor method has migrated to the UML notation, becoming Executable UML.

The goal of the Shlaer–Mellor method is to make the documented analysis so precise that it is possible to implement the analysis model directly by translation rather than by elaboration. In Shlaer–Mellor terminology this is called recursive design. In current (2011) terminology, we would say the Shlaer–Mellor method uses a form of model driven architecture (MDA) normally associated with the Unified Modeling Language (UML). By taking this translative approach, the implementation is always generated (either manually, or more typically, automatically) directly from the analysis. This is not to say that there is no design in Shlaer–Mellor, rather that there is considered to be a virtual machine that can execute any Shlaer–Mellor analysis model for any particular hardware/software platform combination. This is similar in concept to the virtual machines at the heart of the Java programming language and the Ada programming language, but existing at analysis level rather than at programming level. Once designed and implemented, such a virtual machine is re usable across a range of applications. Shlaer–Mellor virtual machines are available commercially from a number of tool vendors, notably Abstract Solutions, Mentor Graphics and Pathfinder Solutions.

Shlaer–Mellor proposes a semantic decomposition in multiple (problem) domains. The split between analysis and design models: The analysis domain expresses precisely what the system must do, the design domain is a model of how the Shlaer–Mellor virtual machine operates for a particular hardware and software platform. These models are disjoint, the only connection being the notation used to express the models. Decomposition within the analysis domain where system requirements are modelled, and grouped, around specific, disjoint, subject matters. To return to the earlier passenger train example, individual semantic models may be created based on door actuators, motor controls, and braking systems. Each grouping is considered, and modelled, independently. The only defined relationship between the groupings are dependencies e. g. a passenger train application may depend on both door actuation and motor control. Braking systems may depend upon motor control. Domain models of door actuators, motor controls, and braking systems would typically be considered as generic re usable service domains whereas the passenger train controller domain is likely to be a very product specific application domain. A particular system is composed of domains and the defined bridges between the domains. A bridge is described in the terms of the assumptions held by the domain acting as a client bridged to a domain acting as a server.

One of the requirements for automated code generation is to precisely model the actions within the finite state machines used to express dynamic behaviour of Shlaer–Mellor objects. Shlaer–Mellor is unique amongst object oriented analysis methods in expressing such sequential behavior graphically as Action Data Flow Diagrams (ADFDs). In practice the tools that supported Shlaer–Mellor, provided a precise action language. The action languages superseded the ADFD approach, so all actions are written in textual form.

The translative approach of the Shlaer–Mellor method lends itself to automated test and simulation environments (by switching the target platform during code generation), and this may partly explain the popularity of Shlaer–Mellor and other MDA based methods when developing embedded systems, where testing on target systems e. g. mobile phones or engine management systems, is particularly difficult. What makes such testing useful and productive is the concept of the Shlaer–Mellor virtual machine. As with most OOA/OOD methods, Shlaer–Mellor is an event driven, message passing environment. Onto this generic view, the Shlaer–Mellor virtual machine mandates a prioritised event mechanism built around State Models, which allows for concurrent execution of actions in different state machines. Since any implementation of Shlaer–Mellor requires this model to be fully supported, testing under simulation can be a very close model of testing on target platform. Whilst functionality heavily dependent upon timing constraints may be difficult to test, the majority of system behaviour is highly predictable due to the prioritized execution model.

There has never been a universally agreed textual language to express actions within the Shlaer–Mellor community. Tool vendors have defined their own copyrighted and controlled action languages. Graham (1994) described Shlaer–Mellor method as early example of object oriented analysis, that could not really be regarded as object oriented. According to Graham the method lacks "notion of inheritance. As described in their book it was little more than an object based extension of data modelling." In line with comment Capretz (1996) argues that the Shlaer–Mellor method "fails to account for the vast majority of object oriented ideas and an ordinary graphical notation is prescribed", which is primarily taken "from entity–relationship diagrams and data flow diagrams found in other structured methods".