The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Using OCL Beyond Specifications
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
Formalizing UML Models and OCL Constraints in PVS
Electronic Notes in Theoretical Computer Science (ENTCS)
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse
Models in Software Engineering
Scenario-Based Static Analysis of UML Class Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
An object-oriented operation-based approach to translation between MOF metaschemas
Data & Knowledge Engineering
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
Applications of Graph Transformations with Industrial Relevance
On Integrating OCL and Triple Graph Grammars
Models in Software Engineering
Shortcomings of the Embedding of OCL into QVT ImperativeOCL
Models in Software Engineering
Reasoning on UML Conceptual Schemas with Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Consistency, Independence and Consequences in UML and OCL Models
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Assessing Modal Aspects of OntoUML Conceptual Models in Alloy
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
XMI2USE: A Tool for Transforming XMI to USE Specifications
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
A method for validating the compliance of business processes to business rules
Proceedings of the 2010 ACM Symposium on Applied Computing
An approach to testing conceptual schemas
Data & Knowledge Engineering
Service-oriented approaches for e-government
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Formal behavior modeling and effective automatic refinement
Information Sciences: an International Journal
Automatic and efficient simulation of operation contracts
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Proving and visualizing OCL invariant independence by automatically generated test cases
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Extending variability for OCL interpretation
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
A method for filtering large conceptual schemas
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Specifying aggregation functions in multidimensional models with OCL
ER'10 Proceedings of the 29th international conference on Conceptual modeling
AuRUS: automated reasoning on UML/OCL schemas
ER'10 Proceedings of the 29th international conference on Conceptual modeling
AutoPA: automatic prototyping from requirements
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Validation of security policies by the animation of Z specifications
Proceedings of the 16th ACM symposium on Access control models and technologies
Tractable model transformation testing
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Extensive validation of OCL models by integrating SAT solving into USE
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
MEDI'11 Proceedings of the First international conference on Model and data engineering
Semantically configurable consistency analysis for class and object diagrams
Proceedings of the 14th international conference on Model driven engineering languages and systems
Formal verification of QVT transformations for code generation
Proceedings of the 14th international conference on Model driven engineering languages and systems
CD2Alloy: class diagrams analysis using alloy revisited
Proceedings of the 14th international conference on Model driven engineering languages and systems
A tool for filtering large conceptual schemas
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Verification and Validation of UML Conceptual Schemas with OCL Constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Modeling and enforcing invariants of dynamic software architectures
Software and Systems Modeling (SoSyM)
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data & Knowledge Engineering
Model search: formalizing and automating constraint solving in MDE platforms
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
On better understanding OCL collections or an OCL ordered set is not an OCL set
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Modular embedding of the object constraint language into a programming language
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
From relational ClassSheets to UML+OCL
Proceedings of the 27th Annual ACM Symposium on Applied Computing
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
A benchmark for OCL engine accuracy, determinateness, and efficiency
Software and Systems Modeling (SoSyM)
Strengthening SAT-based validation of UML/OCL models by representing collections as relations
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Lightweight string reasoning for OCL
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
Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL
Information and Software Technology
Typing model transformations using tracts
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
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
Formal specification and testing of model transformations
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
On integrating structure and behavior modeling with OCL
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
From UML and OCL to relational logic and back
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Towards supporting multiple execution environments for UML/OCL models at runtime
Proceedings of the 7th Workshop on Models@run.time
A web-based filtering engine for understanding event specifications in large conceptual schemas
ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
Modeling and executing ConcurTaskTrees using a UML and SOIL-based metamodel
Proceedings of the 12th Workshop on OCL and Textual Modelling
SUDA: a scenario-based UML design analysis approach
Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards
Towards a generic verification methodology for system models
Proceedings of the Conference on Design, Automation and Test in Europe
Example-driven modeling: model = abstractions + examples
Proceedings of the 2013 International Conference on Software Engineering
Employing the object constraint language in model-based engineering
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Modeling and debugging numerical constraints of cyber-physical systems design
Proceedings of the Fourth Symposium on Information and Communication Technology
DropsBox: the Dresden Open Software Toolbox
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
The Unified Modeling Language (UML) is accepted today as an important standard for developing software. UML tools however provide little support for validating and checking models in early development phases. There is also no substantial support for the Object Constraint Language (OCL). We present an approach for the validation of UML models and OCL constraints based on animation and certification. The USE tool (UML-based Specification Environment) supports analysts, designers and developers in executing UML models and checking OCL constraints and thus enables them to employ model-driven techniques for software production.