Concurrency and Refinement in the Unified Modeling Language by Davies, J, Crichton, C

“…This paper shows how a formal notion of refinement may be defined for models, and model components, expressed in the Unified Modeling Language (UML). A formal, behavioural semantics is given to combinations of class, object, and state diagrams, using the notation of Communicating Sequential Processes (CSP); this semantics is adequate for the analysis of concurrent, communicating behaviour, and induces a notion of refinement for UML based upon existing notions of traces and failures refinement for CSP.…”

Concurrency and Refinement in the Unified Modeling Language by Davies, J, Crichton, C

“…This paper defines a formal semantics for a subset of the Unified Modeling Language (UML). It shows how suitable combinations of class, object, state, and sequence diagrams can be associated with patterns of interaction, expressed in the event notation of Communicating Sequential Processes (CSP). …”

The formal semantics of a domain-specific modelling language by Grealish, C

Model-driven data migration by Aboulsamh, M, Mohammed Aboulsamh

“…</p> <p>This dissertation shows how automatic data migration can be achieved by extending the definition of a data modeling language to include model level operations, each of which corresponds to the addition, modification, or deletion of a model component. …”

A Method for the Automatic Generation of Test Suites from Object Models by Davies, J, Crichton, C, Cavarra, A

“…This paper explains how object models written in the Unified Modeling Language (UML) can be translated into formal, behavioural descriptions and used as a basis for automatic test generation. …”

A Method for the Automatic Generation of Test Suites from Object Models by Cavarra, A, Crichton, C, Davies, J

“…This paper shows how object-oriented specifications, written in the Unified Modeling Language (UML) can be translated into formal, behavioural descriptions and used as a basis for automatic test generation. …”

Using State Diagrams to Describe Concurrent Behaviour by Davies, J, Crichton, C

“…The state diagram notation, a derivative of Harel's StateCharts, is an important component of the Unified Modeling Language (UML). It is the primary means of describing object behaviour: by associating a state diagram with a particular class, a designer may specify how objects of that class should perform sequences of actions in response to incoming events. …”

Compositionality and refinement in model-driven engineering by Davies, J, Gibbons, J, Milward, D, Welch, J

“…The use of models as 'source code' has implications for the notions of composition and refinement employed in the modelling language. This paper explores those implications in the context of object-oriented design: establishing a necessary and sufficient condition for a collection of classes to be treated as a component, identifying an appropriate notion of refinement for the generation process, and investigating the applicability of data and process refinement to object models. © 2012 Springer-Verlag.…”

Compositionality and Refinement in Model−Driven Engineering by Davies, J, Gibbons, J, Milward, D, Welch, J

“…The use of models as ‘source code’ has implications for the notions of composition and refinement employed in the modelling language. This paper explores those implications in the context of object-oriented design: establishing a necessary and sufficient condition for a collection of classes to be treated as a component, identifying an appropriate notion of refinement for the generation process, and investigating the applicability of data and process refinement to object models.…”

Model-driven development of information systems by Wang, C

“…The first involves the analysis of a proposed modelling language targeted at the model-driven development of information systems. …”

Semantic model driven engineering by Milward, D

“…In addition a formal grammar is provided on which metadata registries can be built guaranteeing consistency of models. A modelling language for metadata description is introduced, based upon the widely-used Eclipse modelling framework, a de-facto standard in model-driven engineering. …”