Making Architectural Analysis Reasonable
暂无分享,去创建一个
Software systems that integrate a set of concurrent and possibly distributed components are becoming increasingly common. One architectural style that is often used in such systems is implicit invocation[1, 2]. In this style, a component communicates and passes control by announcing events, and these events are multicast to a set of consuming components that perform actions in response to events. At first glance, it would seem that the inherent concurrency associated with this style would make systems intractable: the concurrency and independence of components coupled with event multicast typically leads to a highly complex concurrent system with considerable non-determinism. We are currently exploring the problems of modeling and reasoning about highly concurrent systems at an architectural level. In particular, we have identified two approaches that help make such reasoning tractable:
[1] David Notkin,et al. Reconciling environment integration and component independence , 1990, SDE 4.
[2] David Garlan,et al. Formalizing Design Spaces: Implicit Invocation Mechanisms , 1991, VDM Europe.