Admin: 1 revision

2011-12-12T10:06:27Z

1 revision

New page

[[Category:WG211]]

<h2>A model-based framework for statically and dynamically checking
component interactions</h2>

<h3>Anne-Francoise Le Meur</h3>

Building applications by assembling software components requires analyses of
Architecture Description (AD) models for checking that component
interactions respect the application and runtime context requirements. Most
existing interaction model analyses are static: they do not take into
account runtime information, e.g., parameter values.

We have developped CALICO, a model-based framework that enables architects
to both specify component interaction and perform dynamic validation. Our
framework analyses AD models to identify partially compatible interactions,
which require runtime checking. The application is modified in order to
reify runtime information for error detection. By using this framework in
iterative software design processes, architects can get design feedback,
i.e., detected errors, and update the AD models accordingly. Moreover, our
solution is generic regarding underlying platforms. This genericity is
achieved through the mappings from the generic AD models to
platform-specific API calls for constructing the running system.

WG211/M6LeMeur - Revision history

Admin: 1 revision