Eiffel: programming for reusability and extendibility
ACM SIGPLAN Notices
Object-oriented systems analysis: a model-driven approach
Object-oriented systems analysis: a model-driven approach
An overview of the ISO/VDM-SL standard
ACM SIGPLAN Notices
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Maintenance of materialized views: problems, techniques, and applications
Materialized views
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information Systems - Special issue on Databases: creation, management and utilization
Designing Data-Intensive Web Applications
Designing Data-Intensive Web Applications
Deriving Production Rules for Constraint Maintainance
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
OCL as a Specification Language for Business Rules in Database Applications
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Expressing UML Class Diagrams Properties with OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
The Pragmatics of Model-Driven Development
IEEE Software
An Experimental Investigation of Formality in UML-Based Development
IEEE Transactions on Software Engineering
PDCAT '06 Proceedings of the Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies
Transformation techniques for OCL constraints
Science of Computer Programming
Specifying and validating structural constraints of analysis class models using OCL
Information and Software Technology
ProB: an automated analysis toolset for the B method
International Journal on Software Tools for Technology Transfer (STTT)
Journal of Systems and Software
Derivation rules in object-oriented conceptual modeling languages
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
OCL support in an industrial environment
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
From declarative to imperative UML/OCL operation specifications
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Conceptual schema-centric development: a grand challenge for information systems research
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Computing the relevant instances that may violate an OCL constraint
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
The spec# programming system: an overview
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Incremental evaluation of OCL constraints
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Lessons learned from developing a dynamic OCL constraint enforcement tool for java
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
ITP/OCL: a rewriting-based validation tool for UML+OCL static class diagrams
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
UML2Alloy: a challenging model transformation
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Extending OCL for OLAP querying on conceptual multidimensional models of data warehouses
Information Sciences: an International Journal
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
Synthesis of OCL pre-conditions for graph transformation rules
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Incremental evaluation of model queries over EMF models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Inconsistency management framework for model-based development
Proceedings of the 33rd International Conference on Software Engineering
A method for data-flow analysis of business components
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Incremental consistency checking of dynamic constraints
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Implementing efficient model validation in EMF tools
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Derived features for EMF by integrating advanced model queries
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
OCL-based runtime monitoring of applications with protocol state machines
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Integrating efficient model queries in state-of-the-art EMF tools
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Object constraint language (OCL): a definitive guide
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Query-driven soft interconnection of EMF models
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Incremental consistency checking for complex design rules and larger model changes
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Meta-modeling of inclusion dependency constraints
Proceedings of the 6th Balkan Conference in Informatics
Hi-index | 0.00 |
Integrity constraints play a key role in the specification and development of software systems since they state conditions that must always be satisfied by the system at runtime. Therefore, software systems must include some kind of integrity checking component that ensures that all constraints still hold after the execution of any operation that modifies the system state. Integrity checking must be as efficient as possible not to seriously slow down the system performance at runtime. In this sense, this paper proposes a set of techniques to facilitate the efficient integrity checking of UML-based software specifications, usually complemented with a set of integrity constraints defined in Object Constraint Language (OCL) to express all rules that cannot be graphically defined. In particular, our techniques are able to determine, at design-time, when and how each constraint must be checked at runtime to avoid irrelevant verifications. We refer to these techniques as incremental because they minimize the subset of the system state that needs to be checked after each change by assuming that the system was initially in a consistent state and just reevaluating the elements that may have been affected by that change. We also show how the techniques can be integrated in a model-driven development framework to automatically generate a final implementation that automatically checks all constraints in an incremental way.