Refinement and verification in component-based model-driven design

DOI10.1016/J.SCICO.2008.08.003MaRDI QIDQ1004291zbMATH OpenOpenAlexFDO

Authors Zhenbang Chen, Anders P. Ravn, Volker Stolz, Naijun Zhan, Zhiming Liu

Publication date 2 March 2009

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

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

zbMATH Keywords

formal methodsUMLtool designmulti-view modellingrcossoftware design process

Mathematics Subject Classification ID

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

Recommendations

• RCOS: a formal model-driven engineering method for component-based software
• Formal Methods for Components and Objects
• rCOS: defining meanings of component-based software architectures
• Harnessing rCOS for Tool Support —The CoCoME Experience
• A model-based development approach for model transformations

Cites work

• scientific article; zbMATH DE number 986407 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 108549 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 1487496 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• A calculus of communicating systems
• A refinement strategy for Circus
• Deep semantic links of TCSP and Object-Z: TCOZ approach.
• Harnessing rCOS for Tool Support —The CoCoME Experience
• Refinement Calculus
• Refinement and verification in component-based model-driven design
• Separation of Concerns and Consistent Integration in Requirements Modelling
• Specification and (property) inheritance in CSP-OZ
• Theoretical Aspects of Computing – ICTAC 2005
• Unifying theories for logic programming
• Uppaal in a nutshell
• rCOS: a refinement calculus of object systems

Cited in

(16)

• Formal Methods for Components and Objects
• Theoretical Aspects of Computing – ICTAC 2005
• rCOS: defining meanings of component-based software architectures
• Separation of Concerns and Consistent Integration in Requirements Modelling
• Refinement and verification in component-based model-driven design
• Protocol conformance through refinement mappings in cadence SMV
• RCOS: a formal model-driven engineering method for component-based software
• scientific article; zbMATH DE number 5627692 (Why is no real title available?)
• Supporting verification-driven incremental distributed design of components
• A graph-based implementation for mechanized refinement calculus of OO programs
• Graph-based object-oriented Hoare logic
• An Approach to Modelling and Verification of Component Based Systems
• Refinement via consistency checking in MDA
• Linking formal methods in software development. A reflection on the development of rCOS
• Harnessing rCOS for Tool Support —The CoCoME Experience
• A rigorous model of service component architecture

Describes a project that uses

Uses Software

• Circus
• UNITY
• Z
• ESC/Java
• Uppaal
• Spec#
• Eiffel
• SPIN
• TCOZ
• rCOS

This page was built for publication: Refinement and verification in component-based model-driven design

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