Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems

Editor’s notes: 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 gap.” —Samarjit Chakraborty, University of North Ca...