Model Checking of Extended OCL Constraints on UML Models in SOCLe

DOI10.1007/978-3-540-72952-5_4MaRDI QIDQ5428906zbMATH OpenOpenAlexFDO

Authors Raveca Oarga, John Mullins

Publication date 28 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72952-5_4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• UML model checking
• scientific article; zbMATH DE number 2085181
• USE: A UML-based specification environment for validating UML and OCL
• scientific article; zbMATH DE number 1946735
• scientific article; zbMATH DE number 2090148

Cites work

• scientific article; zbMATH DE number 2085185 (Why is no real title available?)
• scientific article; zbMATH DE number 2087521 (Why is no real title available?)
• scientific article; zbMATH DE number 1569132 (Why is no real title available?)
• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
• Formal Methods for the Design of Real-Time Systems
• UML model checking

Cited in

(6)

• Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets
• USE: A UML-based specification environment for validating UML and OCL
• An accessible verification environment for UML models of services
• UML model checking
• Encoding OCL data types for SAT-based verification of UML/OCL models
• Diagram design in OCL evaluator

Describes a project that uses

Uses Software

• KeY
• SOCLE
• vUML
• SPIN

This page was built for publication: Model Checking of Extended OCL Constraints on UML Models in SOCLe

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428906)