In Procs. ECOOP’98 Precise Visual Specification of Design Patterns (2009)
Abstract. There has been substantial recent interest in captured design expertise expressed as design patterns. Prevalent descriptions of these design patterns suffer from two demerits. Firstly, they...
John Howse, O Molina, John Taylor, Stuart Kent
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can be used in conjunction with...
A Reference Implementation for UML (2007)
Tony Clark, Andy Evans, Stuart Kent
ABSTRACT. In this paper, we consider the problem of building a reference implementation (RI) to support a proposed semantics for UML. The purpose of the RI is to enable the automated exploration of...
Girish Maskeri, James Willans, Tony Clark, Andy Evans, Stuart Kent, Paul Sammut
pattern based approach to defining
Aspect-oriented Metamodelling (2003)
Clark, Tony, Evans, Andy, Kent, Stuart
This paper shows how techniques devised for aspect-oriented modelling (AOM) can be used for aspect-oriented metamodelling. Metamodelling is an approach to language definition, which has...
A Relational Approach to Defining Transformations in a Metamodel (2002)
Abstract. Metamodelling is becoming a standard way of defining languages such as the UML. A language definition distinguishes between concrete syntax, abstract syntax and semantics domain. It is...
Engineering Modeling Languages: a Precise Meta-Modeling Approach (2002)
Tony Clark, Andy Evans, Stuart Kent
The UML is a collection of notations, some visual some textual.
Spider diagrams: A diagrammatic reasoning system (2001)
John Howse, O Molina, John Taylor, Stuart Kent, Joseph (yossi Gil
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can be used in conjunction with...
The Meta-Modeling Language Calculus: Foundation Semantics for UML (2001)
Tony Clark, Andy Evans, Stuart Kent
The Meta-Modeling Language (MML) is a sub-set of the Unified Modeling Language (UML) that is proposed as the core language used to bootstrap the UML 2.0 definition initiative. Since it is...
Towards a UML Profile for Software Architecture (2000)
Kandé, Mohamed Mancona, Strohmeier, Alfred, Kent, Stuart, Evans, Andy
To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions and research labs. However,...
From Use Cases to System Operation Specifications (2000)
Sendall, Shane, Strohmeier, Alfred, Kent, Stuart, Evans, Andy
The purpose of this paper is to first showcase the concept of an operation schema - a precise form of system-level operation specification and secondly show how operation schemas enhance development...
Tony Clark, Andy Evans, Stuart Kent
The Unified Modelling Language (UML) [1] is a language for modelling object systems based on a unification of Booch, Runbaugh and Jacobson's popular object-oriented modelling methods. It is...
Constraint diagrams: A step beyond UML (1999)
Joseph (yossi Gil, John Howse, Stuart Kent
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An exception to this is...
Core Meta-modelling semantics of UML: the pUML approach (1999)
Abstract. The current UML semantics documentation has made a signi cant step towards providing a precise description of the UML. However, at present the semantic model it proposes only provides a...
Mixing Visual and Textual Constraint Languages (1999)
Abstract. The Object Constraint Language (OCL) is a precise language for notating behavioural constraints on UML models. Constraint diagrams have been proposed as a means of notating similar...
Precise visual specification of design patterns (1998)
Abstract. There has been substantial recent interest in captured design expertise expressed as design patterns. Prevalent descriptions of these design patterns suffer from two demerits. Firstly, they...
Modular Semantics for Object-Oriented Models (1998)
Ali Hamie, John Howse, Stuart Kent
This paper describes a formal, modular approach to the semantics of object-oriented models. These models are expressed in the UML notation augmented with the Object Constraint language (OCL), which...
Modular Semantics for Object-Oriented Models (1998)
Ali Hamie, John Howse, Stuart Kent
This paper describes a formal, modular approach to the semantics of object-oriented models. These models are expressed in the UML notation augmented with the Object Constraint language (OCL), which...
Interpreting the Object Constraint Language (1998)
Ali Hamie, Franco Civello, John Howse, Stuart Kent, Richard Mitchell
Abstract. The object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagrammatically...
A Formal Semantics for Checking and Analysing UML models (1998)
Ali Hamie John, John Howse, Stuart Kent, Richard Mitchell, Franco Civello
The Unified Modelling Language (UML) is becoming a global standard diagrammatic notation for expressing and describing object-oriented models. Recently, the Object Constraint Language (OCL) has been...
Visualising Action Contracts in Object-Oriented Modelling (1998)
Stuart Kent, Joseph (Yossi) Gil, Visualising Action
. In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper builds on a...
Interpreting the Object Constraint Language (1998)
Ali Hamie, John Howse, Stuart Kent
The Object Constraint Language (OCL), which forms part of the UML 1.1. set of modelling notations is a precise, textual language for expressing constraints that cannot be shown in the standard...
Visualising Action Contracts in Object-Oriented Modelling (1998)
Abstract. In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper builds on...
Stuart Kent, Ali Hamie, John Howse, Franco Civello, Richard Mitchell
Abstract. An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Diagrammatic...
Component composition in business and system modeling (1997)
Stuart Kent, Kevin Lano, Juan Bicarregui, Ali Hamie, John Howse
Abstract. Bespoke development of large business systems can be couched in terms of the composition of components, which are, put simply, chunks of development work. Design, mapping a specification to...
Component composition in business and system modeling (1997)
Stuart Kent, Juan Bicarregui, Kevin Lano, Ali Hamie, John Howse
Abstract. Bespoke development of large business systems can be couched in terms of the composition of components, which are, put simply, chunks of development work. Design, mapping a specification to...
Component Composition in Business and System Modeling (1997)
Stuart Kent, Kevin Lano, Juan Bicarregui, Ali Hamie, John Howse
Abstract. Bespoke development of large business systems can be couched in terms of the composition of components, which are, put simply, chunks of development work. Design, mapping a specification to...
Encapsulation and Aggregation (1995)
A notion of object ownership is introduced as a solution to difficult problems of specifying and reasoning about complex linked structures and of modeling aggregates (composite objects). Syntax and...
An Axiomatic Semantics for VDM++: OO Aspects (1993)
Stuart Kent, Richard Moore, Helintec S. A, Ifad Denmark
This document will be revised to reflect comments from partners. Intermediate translation to VDM replaced by direct generation of proof rules from the abstract syntax. State type is replaced by...