The complete guide to software testing
The complete guide to software testing
Conceptual modelling of database applications using an extended ER model
Data & Knowledge Engineering
Roles for composite objects in object-oriented analysis and design
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
OPEN modeling language (OML) reference manual
OPEN modeling language (OML) reference manual
An approach for decomposing N-ary data relationships
Software—Practice & Experience
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
An ontological analysis of the relationship construct in conceptual modeling
ACM Transactions on Database Systems (TODS)
Information modeling and relational databases: from conceptual analysis to logical design
Information modeling and relational databases: from conceptual analysis to logical design
Deriving Production Rules for Constraint Maintainance
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Supporting Transaction Design in Conceptual Modelling of Information Systems
CAiSe '95 Proceedings of the 7th International Conference on Advanced Information Systems Engineering
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
CAiSE '97 Proceedings of the 9th International Conference on Advanced Information Systems Engineering
The Role of Structural Events in Behaviour Specification
DEXA '97 Proceedings of the 8th International Conference on Database and Expert Systems Applications
Identifying Pre-Conditions with the Z/EVES Theorem Prover
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
What is This Thing Called Aggregation?
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Communications of the ACM - Two decades of the language-action perspective
On the Semantics of Associations and Association Ends in UML
IEEE Transactions on Software Engineering
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
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
Test-Driven Development of Model Transformations
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Towards automatization of domain modeling
Data & Knowledge Engineering
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
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
IEEE Software
Unified Modeling Language Reference Manual
Unified Modeling Language Reference Manual
Editorial: Using ontologies with UML class-based modeling: The TwoUse approach
Data & Knowledge Engineering
Formal enforcement and management of obligation policies
Data & Knowledge Engineering
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Semantics and reasoning for control application engineering models
ICAISC'12 Proceedings of the 11th international conference on Artificial Intelligence and Soft Computing - Volume Part I
Semantics enhanced engineering and model reasoning for control application development
Multimedia Tools and Applications
Hi-index | 0.00 |
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simplify this task by providing a method that automatically generates a set of basic operations that complement the static aspects of the CS and suffice to perform all typical life-cycle create/update/delete changes on the population of the elements of the CS. Our method guarantees that the generated operations are executable, i.e. their executions produce a consistent state wrt the most typical structural constraints that can be defined in CSs (e.g. multiplicity constraints). In particular, our method takes as input a CS expressed as a Unified Modeling Language (UML) class diagram (optionally defined using a profile to enrich the specification of associations) and generates an extended version of the CS that includes all necessary operations to start operating the system. If desired, these basic operations can be later used as building blocks for creating more complex ones. We show the formalization and implementation of our method by means of model-to-model transformations. Our approach is particularly relevant in the context of Model Driven Development approaches.