White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Using formal metamodels to check consistency of functional views in information systems specification

Laleau, Regine and Polack, Fiona (orcid.org/0000-0001-7954-6433) (2008) Using formal metamodels to check consistency of functional views in information systems specification. Information and Software Technology. pp. 797-814. ISSN 0950-5849

Text (polackf1.pdf)
polackf1.pdf - Draft Version

Download (307Kb)


UML notations require adaptation for applications such as Information Systems (IS). Thus we have defined IS-UML. The purpose of this article is twofold. First, we propose an extension to this language to deal with functional aspects of IS. We use two views to specify IS transactions: the first one is defined as a combination of behavioural UML diagrams (collaboration and state diagrams), and the second one is based on the definition of specific classes of an extended class diagram. The final objective of the article is to consider consistency issues between the various diagrams of an IS-UML specification. In common with other UML languages, we use a metamodel to define IS-UML. We use class diagrams to summarize the metamodel structure and a formal language, B, for the full metamodel. This allows us to formally express consistency checks and mapping rules between specific metamodel concepts. (C) 2007 Elsevier B.V. All rights reserved.

Item Type: Article
Copyright, Publisher and Additional Information: © 2007 Elsevier B.V. This is an author produced version of a paper published in Information and Software Technology. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: information system design,unified modelling language notation,metamodel,formal notation,UML,Information Systems,Software
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: Sherpa Assistant
Date Deposited: 07 Jul 2008 08:16
Last Modified: 28 Jul 2016 07:58
Published Version: http://dx.doi.org/10.1016/j.infsof.2007.10.007
Status: Published
Refereed: Yes
Related URLs:
URI: http://eprints.whiterose.ac.uk/id/eprint/4045

Actions (repository staff only: login required)