Article: Towards Automated Checking of Component-Oriented Enterprise Applications
- Author:
- Jukka Järvenpää and
Marko Mäkelä
- Published in:
- Daniel Moldt, editor, Second Workshop
on Modelling of Objects, Components and Agents,
DAIMI report PB-561, University of Århus, Denmark, August 2002
- Pages:
- 67–85
- Abstract:
- Building enterprise applications using component-based frameworks
has been suggested as a way to help companies manage their software
assets. We propose tool support for managing these high-level
data-centric applications with formal methods. Our method is based
on extracting a system model from the models of components and from
the application code which glues the components together. This model
is used for generating state spaces that can be checked for desired
or undesired properties. In order to manage the state space
explosion problem we propose that the application developer controls
some parameters of the model. Even though the insight of the
application developer is still needed, we believe that creating tool
support for the proposed method could contribute to the success of
the component-based approach.
- Keywords:
- software components, transactions, abstractions, verification, Java
Available in electronic form