Add to ORKGAbstract Information system specification requires careful consideration of data integrity. We present an approach to the definition of a variant of UML that allows the rigorous specification of operations and transactions which enforce data constraints. The approach to structural language definition, summarised in Appendix A, extends that used for conventional UML, comprising metamodels of the abstract syntax of structural aspects, with denotational semantics. We add operation semantics using a formal notation, B. Issues relating to the tool-assisted specification of integrity-preserving transactions are discussed
An information system maintains a representation of the state of the domain in its Information Base ...
. We address the problem of maintaining the integrity of large knowledge bases using a compile-time ...
This article presents a data base programming language: Th'emis supporting subtyping and class ...
Any implementation of an information system must ensure that an operation is only applied if its e...
The E/R diagram is used to model a slice of the real world. There are some other important aspects o...
Integrity checking is aimed at efficiently determining whether the state of the information base is ...
Abstract — This paper discusses integrity constraint evolution, from two perspectives: From the pers...
This paper presents a formal Object-Z model of the UML State Machine. We encapsulate the abstract sy...
We discuss how integrity consistency constraints between different UML models can be precisely defin...
UML notations require adaptation for applications such as Information Systems (IS). Thus we have def...
The specification of an information system must include all relevant static and dynamic aspects of t...
Abstract The UML standard has adopted a meta-modelling approach to defining the abstract syntax of U...
AbstractDynamic database behaviour can be specified by dynamic integrity constraints, which determin...
Integrity control is generally considered an important topic in the field of database system researc...
The conceptual design of information systems using an Entity-Relationship Model is generally thought...
An information system maintains a representation of the state of the domain in its Information Base ...
. We address the problem of maintaining the integrity of large knowledge bases using a compile-time ...
This article presents a data base programming language: Th'emis supporting subtyping and class ...
Any implementation of an information system must ensure that an operation is only applied if its e...
The E/R diagram is used to model a slice of the real world. There are some other important aspects o...
Integrity checking is aimed at efficiently determining whether the state of the information base is ...
Abstract — This paper discusses integrity constraint evolution, from two perspectives: From the pers...
This paper presents a formal Object-Z model of the UML State Machine. We encapsulate the abstract sy...
We discuss how integrity consistency constraints between different UML models can be precisely defin...
UML notations require adaptation for applications such as Information Systems (IS). Thus we have def...
The specification of an information system must include all relevant static and dynamic aspects of t...
Abstract The UML standard has adopted a meta-modelling approach to defining the abstract syntax of U...
AbstractDynamic database behaviour can be specified by dynamic integrity constraints, which determin...
Integrity control is generally considered an important topic in the field of database system researc...
The conceptual design of information systems using an Entity-Relationship Model is generally thought...
An information system maintains a representation of the state of the domain in its Information Base ...
. We address the problem of maintaining the integrity of large knowledge bases using a compile-time ...
This article presents a data base programming language: Th'emis supporting subtyping and class ...