A Formal Approach to Heterogeneous Software Modeling

摘要: The problem of consistently engineering large, complex software systems today is often addressed by introducing new, "improved" models. Examples such models are architectural, design, structural, behavioral, and so forth. Each model intended to highlight a particular view desired system. A combination multiple needed represent understand the entire Ensuring that various used in development consistent relative each other thus becomes critical concern. This paper presents an approach integrates ensures consistency across architectural number design goal this work combine respective strengths powerful, specialized (architecture-based) modeling with widely used, general (design-based) approach. We have formally details our approach, which has allowed us construct large set supporting tools automate related activities. use example application throughout illustrate concepts.