[PDF][PDF] Consistency Checking of RM-ODP Specifications.
K Baclawski, MM Kokar, JE Smith, J Letkowski - WOODPECKER, 2001 - researchgate.net
Ensuring that specifications are consistent is an important part of specification development
and testing. In this paper we introduce the ConsVISor tool for consistency checking of RM-
ODP specifications. This tool is a category theory based consistency checker for formal
specifications in a variety of languages, including both graphical and non-graphical
modeling languages. Because RM-ODP supports multiple viewpoints, it is necessary to
have a logical framework that can compose viewpoints and that can detect inconsistencies …
and testing. In this paper we introduce the ConsVISor tool for consistency checking of RM-
ODP specifications. This tool is a category theory based consistency checker for formal
specifications in a variety of languages, including both graphical and non-graphical
modeling languages. Because RM-ODP supports multiple viewpoints, it is necessary to
have a logical framework that can compose viewpoints and that can detect inconsistencies …
[PDF][PDF] Consistency Checking of RM-ODP Specifications
J Smith, J Letkowski - Citeseer
Ensuring that specifications are consistent is an important part of specification development
and testing. In this paper we introduce the ConsVISor tool for consistency checking of RM-
ODP specifications. This tool is a category theory based consistency checker for formal
specifications in a variety of languages, including both graphical and non-graphical
modeling languages. Because RM-ODP supports multiple viewpoints, it is necessary to
have a logical framework that can compose viewpoints and that can detect inconsistencies …
and testing. In this paper we introduce the ConsVISor tool for consistency checking of RM-
ODP specifications. This tool is a category theory based consistency checker for formal
specifications in a variety of languages, including both graphical and non-graphical
modeling languages. Because RM-ODP supports multiple viewpoints, it is necessary to
have a logical framework that can compose viewpoints and that can detect inconsistencies …
Showing the best results for this search. See all results