A formal framework for viewpoint consistency

DOI10.1023/A:1016000201864MaRDI QIDQ698095zbMATH OpenOpenAlexFDO

Authors M. W. A. Steen, Howard Bowman, Eerke Boiten, John Derrick

Publication date 18 September 2002

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1016000201864

zbMATH Keywords

process algebraviewpointsLOTOSdevelopment modelsFDTsopen distributed processing

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Strategies for consistency checking based on unification
• Viewpoints modelling
• Multi-view consistency in UML: a survey
• scientific article; zbMATH DE number 1860618
• scientific article; zbMATH DE number 2193913

Cited in

(11)

• scientific article; zbMATH DE number 1860617 (Why is no real title available?)
• Partial order semantics for use case and task models
• Analysing neurobiological models using communicating automata
• scientific article; zbMATH DE number 1860618 (Why is no real title available?)
• Viewpoints modelling
• A priority-based negotiations approach for handling inconsistencies in multi-perspective software requirements
• Consistency analysis method of entity relationship of C<SUP>4</SUP>ISR architecture products
• scientific article; zbMATH DE number 770146 (Why is no real title available?)
• Multi-view consistency in UML: a survey
• Consistent partial model checking
• scientific article; zbMATH DE number 1629954 (Why is no real title available?)

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication: A formal framework for viewpoint consistency

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