A formal framework for viewpoint consistency

DOI10.1023/A:1016000201864zbMATH Open1019.68061OpenAlexW2079413298MaRDI QIDQ698095FDOQ698095

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

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

zbMATH Keywords

process algebraviewpointsLOTOSdevelopment modelsFDTsopen distributed processing

Mathematics Subject Classification ID

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

Cited In (11)

• Title not available (Why is that?)
• Partial order semantics for use case and task models
• Title not available (Why is that?)
• Viewpoints modelling
• Analysing neurobiological models using communicating automata
• 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
• Title not available (Why is that?)
• Multi-view consistency in UML: a survey
• Consistent partial model checking
• Title not available (Why is that?)

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)