USE: A UML-based specification environment for validating UML and OCL

DOI10.1016/J.SCICO.2007.01.013MaRDI QIDQ2463538zbMATH OpenOpenAlexFDO

Authors Martin Gogolla, Fabian Büttner, Mark Richters

Publication date 12 December 2007

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2007.01.013

zbMATH Keywords

constraintinvariantmodelmodel certificationmodel executionmodel validationOCLpre- and post-conditionsUML

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1983221
• scientific article; zbMATH DE number 2085181
• Model Checking of Extended OCL Constraints on UML Models in SOCLe
• Modular architecture for a toolset supporting OCL
• UML model checking

Cited in

(13)

• Coupling use cases and class models as a means for validation and verification of requirements specifications
• Use of E-LOTOS in adding formality to UML
• scientific article; zbMATH DE number 1693435 (Why is no real title available?)
• scientific article; zbMATH DE number 1951527 (Why is no real title available?)
• scientific article; zbMATH DE number 1983221 (Why is no real title available?)
• scientific article; zbMATH DE number 2085181 (Why is no real title available?)
• scientific article; zbMATH DE number 2085190 (Why is no real title available?)
• scientific article; zbMATH DE number 2086942 (Why is no real title available?)
• UML model checking
• Diagram design in OCL evaluator
• Model Checking of Extended OCL Constraints on UML Models in SOCLe
• An accessible verification environment for UML models of services
• Modular architecture for a toolset supporting OCL

This page was built for publication: USE: A UML-based specification environment for validating UML and OCL

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