Consistency checking for multiple view software architectures

doi:10.1145/318774.319258

Consistency checking for multiple view software architectures

1999-10-01

0

PRE

AI

DOI：10.1145/318774.319258

原文链接

原文求助

摘要

En 中文

Consistency is a major issue that must be properly addressed when considering multiple view architectures. In this paper, we provide a formal definition of views expressed graphically using diagrams with multiplicities and propose a simple algorithm to check the consistency of diagrams. We also put forward a simple language of constraints to express more precise (intra-view and inter-view) consistency requirements. We sketch a complete decision procedure to decide whether diagrams satisfy a given constraint expressed in this language. Our framework is illustrated with excerpts of a case study: the specification of the architecture of a train control system.

Consistency checking for multiple view software architectures

摘要

AI总结

期刊

机构

引用论文