Model Checking of Extended OCL Constraints on UML Models in SOCLe

DOI10.1007/978-3-540-72952-5_4zbMATH Open1202.68099OpenAlexW1881412220MaRDI QIDQ5428906FDOQ5428906

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

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

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)

Cites Work

• Formal Methods for the Design of Real-Time Systems
• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
• Title not available (Why is that?)
• Title not available (Why is that?)
• UML model checking
• Title not available (Why is that?)

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

Uses Software

• SPIN
• vUML
• SOCLE
• KeY

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)