Conceptual modelling of database applications using an extended ER model
Data & Knowledge Engineering
An approach for decomposing N-ary data relationships
Software—Practice & Experience
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process
Supporting Transaction Design in Conceptual Modelling of Information Systems
CAiSe '95 Proceedings of the 7th International Conference on Advanced Information Systems Engineering
Handling Conceptual Model Validation by Planning
CAiSE ;96 Proceedings of the 8th International Conference on Advances Information System Engineering
Understanding Redundancy in UML Models for Object-Oriented Analysis
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Conceptual Modeling of Information Systems
Conceptual Modeling of Information Systems
From use cases to system operation specifications
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Consistency enforcement in databases
Proceedings of the 2nd international conference on Semantics in databases
From declarative to imperative UML/OCL operation specifications
ER'07 Proceedings of the 26th international conference on Conceptual modeling
A library of OCL specification patterns for behavioral specification of software components
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Specifying the semantics of operation contracts in conceptual modeling
Journal on Data Semantics VII
Extracting Object Interactions Out of Software Contracts Using Model Transformations
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Drawing Preconditions of Operation Contracts from Conceptual Schemas
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Verifying Action Semantics Specifications in UML Behavioral Models
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e. through these operations, users should be able to modify the population of all elements in the class diagram) and executable (i.e. for each operation, there must exist a system state over which the operation can be successfully applied). Manual specification of these operations is an error-prone and time-consuming activity. Therefore, the goal of this paper is to automatically provide a basic set of system operations that verify these two properties. Operations are drawn from the elements (classes, attributes, etc) of the class diagram and take into account the possible dependencies between the different change events (i.e. inserts/updates/deletes) that may be applied to them. Afterwards, the designer could reuse our proposal to build up more complex operations.