Skip to main content

Core meta-modelling semantics of UML: The pUML approach

Evans, Andy and Kent, Stuart (1999) Core meta-modelling semantics of UML: The pUML approach. In: France, Robert and Rumpe, Bernhard, eds. «UML»’99 — The Unified Modeling Language Beyond the Standard Second International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 140-155. ISBN 978-3-540-66712-4. E-ISBN 978-3-540-46852-3. (doi:10.1007/3-540-46852-8_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17316)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL:
http://dx.doi.org/10.1007/3-540-46852-8_11

Abstract

The current UML semantics documentation has made a significant step towards providing a precise description of the UML. However, at present the semantic model it proposes only provides a description of the language's syntax and well-formedness rules. The meaning of the language, which is mainly described in English, is too informal and unstructured to provide a foundation for developing formal analysis and development techniques. Another problem is the scope of the model, which is both complex and large. This paper describes work currently being undertaken by the precise UML group (pUML), an international group of researchers and practitioners, to address these problems. A formalisation strategy is presented which concentrates on giving a precise denotational semantics to core elements of UML. This is illustrated through the development of precise definitions of two important concepts: generalization and packages. Finally, a viewpoint architecture is proposed as a means of providing improved separation of concerns in the semantics definition.

Item Type: Book section
DOI/Identification number: 10.1007/3-540-46852-8_11
Additional information: IEEE Comp Soc, Tech Comm Complexity Comp; ACM SIGSOFT; ACM SIGPLAN; Object Management Grp; Rational Software Corp
Uncontrolled keywords: Object Constraint Language, Denotational Semantic, Object Constraint Language Expression, Object Constraint Language Constraint, Package Instance
Subjects: Q Science
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: M. Nasiriavanaki
Date Deposited: 22 Jun 2009 05:53 UTC
Last Modified: 16 Nov 2021 09:55 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/17316 (The current URI for this page, for reference purposes)

University of Kent Author Information

Evans, Andy.

Creator's ORCID:
CReDIT Contributor Roles:

Kent, Stuart.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.