TY - GEN
T1 - Checking interaction consistency in MARMOT component refinements
AU - Choi, Yunja
PY - 2007
Y1 - 2007
N2 - The refinement process of component designs is one of the basic building blocks for systematic component-based development. In this process, identifying inconsistent specifications of interactions among refined and refining components can be a critical issue for system safety and/or reliability. To efficiently identify interaction inconsistencies, we have been developing a consistency checking framework integrated into the model-driven component-based development methodology MARMOT, using model checking as a debugging tool. We introduce our notion of interaction consistency, propose a general framework for integrating the consistency checking mechanism into the refinement process, and demonstrate how the efficiency of identifying inconsistencies can be improved through abstractions.
AB - The refinement process of component designs is one of the basic building blocks for systematic component-based development. In this process, identifying inconsistent specifications of interactions among refined and refining components can be a critical issue for system safety and/or reliability. To efficiently identify interaction inconsistencies, we have been developing a consistency checking framework integrated into the model-driven component-based development methodology MARMOT, using model checking as a debugging tool. We introduce our notion of interaction consistency, propose a general framework for integrating the consistency checking mechanism into the refinement process, and demonstrate how the efficiency of identifying inconsistencies can be improved through abstractions.
UR - http://www.scopus.com/inward/record.url?scp=38149082070&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-69507-3_72
DO - 10.1007/978-3-540-69507-3_72
M3 - Conference contribution
AN - SCOPUS:38149082070
SN - 9783540695066
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 832
EP - 843
BT - SOFSEM 2007
PB - Springer Verlag
T2 - 33rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2007
Y2 - 20 January 2007 through 26 January 2007
ER -