vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Programming with Constraints: An Introduction by Kim Marriott and Peter J. Stuckey, MIT Press, 1998.
Journal of Functional Programming
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Detecting and resolving semantic pathologies in UML sequence diagrams
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Checking query containment with the CQC method
Data & Knowledge Engineering
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model Checking: From Tools to Theory
25 Years of Model Checking
Verifying UML/OCL Operation Contracts
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Reasoning on UML Conceptual Schemas with Operations
CAiSE '09 Proceedings of the 21st 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
Transformation and Verification of Executable UML Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal verification of Tokeneer behaviours modelled in fUML using CSP
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Defining and verifying behaviour of domain specific language with fUML
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
Alf-Verifier: an eclipse plugin for verifying Alf/UML executable models
ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
Hi-index | 0.00 |
Executable models play a key role in many development methods by facilitating the immediate simulation/implementation of the software system under development. This is possible because executable models include a fine-grained specification of the system behaviour. Unfortunately, a quick and easy way to check the correctness of behavioural specifications is still missing, which compromises their quality (and in turn the quality of the system generated from them). In this paper, a lightweight verification method to assess the strong executability of fine-grained behavioural specifications (i.e. operations) at design-time is provided. This method suffices to check that the execution of the operations is consistent with the integrity constraints defined in the structural model and returns a meaningful feedback that helps correcting them otherwise.