found at the ENTCS Macro Home Page. Formalizing Homogeneous Language (2009)
Replace this file withprentcsmacro.sty for your meeting,
A model driven approach to model (2008)
Tony Clark, Sreedhar Reddy, Laurence Tratt, R. Venkatesh
transformations
Formal Refinement and Proof of a Small Java Program (2007)
Abstract. The main components of a formal technique for specifying, refining and proving properties of object-oriented programs are presented. The technique is based on a-notation whose semantics is...
Proving Properties About Programs Which Share (2007)
The analysis of program properties is essential to the production of high quality systems. Unfortunately, the analysis of imperative programs is difficult because they are not referentially...
ROO-- A Model for Object-Oriented Reuse (2007)
Both object-orientation and the Internet make the widespread reuse of software a possibility. Unfortunately, the potential benefits from these facilities have not been forthcoming. One reason for...
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
Enhancing the template mechanism (2007)
Abstract. MDA needs to utilize a variety of modelling languages in order to be successful. It is widely acknowledged that there is a need to be able to systematically create such modelling languages...
Defining OCL expressions using templates (2007)
James S. Willans, Paul Sammut, Girish Maskeri, Andy Evans, Tony Clark
Abstract. OCL expressions are an essential part of UML. The current versions of OCL fail to have a meta-model which means that the integration of OCL with the UML meta-model cannot be formally...
A Model Driven Approach to Building Implementable Model Transformations (2007)
Biju Appukuttan, Tony Clark, Sreedhar Reddy, Laurence Tratt, R. Venkatesh
The OMG's Model Driven Architecture (MDA) initiative has been the focus of much attention in both academia and industry, due to its promise of more rapid and consistent software development...
Model transformations in Converge (2007)
Model transformations are currently the focus of much interest and research due to the OMG’s QVT initiative. Current proposals for model transformation languages can be divided into two main camps:...
Software and System Modelling manuscript No. (2007)
Will Be Inserted, José M. Álvarez, Tony Clark, Andy Evans, Paul Sammut
This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) - a precise meta-modelling language designed for developing families of UML languages. Actions are defined...
A Pattern Based Model Driven Approach To Model Transformations (2003)
Biju Appukuttan, Tony Clark, Sreedhar Reddy, Laurence Tratt, R. Venkatesh
The OMG's Model Driven Architecture (MDA) initiative has been the focus of much attention in both academia and industry, due to its promise of more rapid and consistent software development...
A Model Driven Approach to Model Transformations (2003)
Biju Appukuttan, Tony Clark, Sreedhar Reddy, Laurence Tratt, R. Venkatesh
The OMG's Model Driven Architecture (MDA) initiative has been the focus of much attention in both academia and industry, due to its promise of more rapid and consistent software development...
Using Icon-derived technologies to drive model transformations (2003)
Model transformations are currently the object of much interest and research. Current proposals for model transformation languages can be divided into two main camps: those taking a ‘declarative...
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...
Tony Clark, Andy Evans, Girish Maskeri, Paul Sammut, Laurence Tratt, James S. Willans
Abstract. The 2U Consortium has recently submitted a proposal for the definition of the UML 2.0 infrastructure. This uses an innovative technique of rapidly “stamping out ” the definition using a...
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.
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...
Nunca me olvides = Innocence (2000)
Cox, Paul (realización), Cox, Paul (guión), Clark, Tony (fotografía), Whitington, Simon (montaje), Grabowsky, Paul (música), Blake, Julia (actuación), ...
Object-oriented refinement and proof using behaviour functions (2000)
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational category theory. The...
Object-oriented refinement and proof using behaviour functions (2000)
In [Gog75], [Ehr91] and [Gog90] Goguen et al. propose an abstract model of object systems based on standard constructions in Category Theory. They show how to use the constructions to build systems...
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...
Typechecking UML Static Models (1999)
Abstract. UML static models are expressed using a mixture of class diagrams and OCL expressions. In a well formed static model, the OCL expressions and class diagrams are type consistent. Checking...
N.: A Semantics for Object-Oriented Design Notations (1999)
Current graphical object-oriented design notations are syntax-bound and semantic-free since they tend to focus on design representation rather than on the meaning of the design. This paper proposes a...
EBG: A Lazy Functional programming Language Implemented on the Java Virtual Machine (1999)
The Java programming language offers a number of features including: portability; graphics; networking. Java implements the object-oriented execution model in terms of classes, objects with state,...
Implementation of lazy agents in the functional language ebg (1999)
EBG is a lazy functional programming language that compiles to the Java Virtual Machine Language. The aims of EBG are to provide the benefits of both FP and Java. This paper describes the design and...
Specification and Implementation of a MultiAgent Calculus based on Higher-Order Functions (1999)
Agents are autonomous system components that communicate using message passing. This paper presents a higher-order agent calculus and its implementation in the lazy functional programming language...
N.: A Semantic Framework for Object-Oriented Development (1999)
A categorical model of object-oriented systems is proposed and denoted using a-calculus. The model is used to provide a definition of design refinement. An example system is rigorously developed in...
Foundations of the Unified Modeling Language (1998)
Object-oriented analysis and design is an increasingly popular software development method. The Unified Modeling Language (UML) has recently been proposed as a standard language for expressing...
A Semantics for Object-Oriented Systems (1998)
Current object-oriented design notations such as OMT [14], Booch [3] and UML [16] are syntax-bound and semantic-free in the sense that they typically employ a large and rigorously enforceable...
Foundations of the Unified Modeling Language (1998)
Object-oriented analysis and design is an increasingly popular software development method. The Unified Modeling Language (UML) has recently been proposed as a standard language for expressing...
Object-oriented analysis and design is an increasingly popular software development method. The Unified Modeling Language (UML) has recently been proposed as a standard language for expressing...
Object-oriented analysis and design is an increasingly popular software development method. The Unified Modeling Language (UML) has recently been proposed as a standard language for expressing...