Skip to main content
Conference ProceedingsOPEN ACCESS

A rigorous metamodel for UML static conceptual modelling of information systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2001) 2068 402-416
DOI: 10.1007/3-540-45341-5_27
16Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.

This article is free to access.

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.

Cite

CITATION STYLE

APA

Laleau, R., & Polack, F. (2001). A rigorous metamodel for UML static conceptual modelling of information systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2068, pp. 402–416). Springer Verlag. https://doi.org/10.1007/3-540-45341-5_27

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free