Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems

An important role of cross-layer design is to reconcile model-implementation differences, often stemming from how the two layers are specified. This article shows how a single method and tool can support both the specification and implementation stages, resulting in better closing the “model-implementation