ABSTRACT Semantic Frameworks for e-Government (2008)
Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla
This paper explains how semantic frameworks can be used to support successful e-Government initiatives by connecting system design to a shared understanding of interactions and processes. It shows...
Abstract. 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...
Using UML for automatic test generation (2002)
Ra Cavarra, Charles Crichton, Jim Davies, Alan Hartman, Laurent Mounier
Abstract. This paper presents an architecture for model-based verification and testing using a profile of the Unified Modeling Language (UML). Class, object, and state diagrams are used to define...
Concurrency and Refinement in the Unified Modeling Language (2002)
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...