A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems

Authors:
Regine Laleau;Fiona Polack
Affiliations:
-;-
Venue:
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Year:
2001

Citing 10
Cited 4

Classification and syntax of constraints in binary semantical networks

Information Systems
The Unified Modeling Language reference manual

The Unified Modeling Language reference manual
From OMT diagrams to B specifications

Software specification methods
A Generic Process to Refine a B Specification into a Relational Database Implementation

ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
An Overview of a Method and its Support Tool for Generating B Specifications from UML Notations

ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Defining UML Family Members Using Prefaces

TOOLS '99 Proceedings of the 32nd International Conference on Technology of Object-Oriented Languages
The UML family: profiles, prefaces and packages

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Strict profiles: why and how

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
First-class extensibility for UML packaging of profiles, stereotypes, patterns

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Foundations of the unified modeling language

2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods

Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development

ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Using formal metamodels to check consistency of functional views in information systems specification

Information and Software Technology
Comparison of formalisation approaches of UML class constructs in Z and object-Z

ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Consistency in UML and b multi-view specifications

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Object-oriented specification and design approaches, such as the UML, are used in many sectors, including information systems development. One reason for the popularity of the UML is that it has notations for many types of system and all stages of development. However, this also makes it cumbersome and semantically imprecise. This paper looks at a UML for information systems specification. It both selects from and extends the UML1.3, defining the semantics of the IS UML in B-style invariants. The paper discusses the relationship of the work both to the current UML metamodels, and to proposals for extensions to the UML.