|
>Publications>ACM_SAC03 |
Henry Muccini
Ph.D. in Computer Science |
|
[ACM_SAC03]
"Eliciting Coordination Policies from Requirements"
H. Muccini and F. Mancinelli.
In Proc. Eighteenth ACM Symposium on Applied Computing
(ACM SAC 2003), track on "Coordination Models, Languages
and Applications", March 2003, Melbourne, Florida, USA.
|
Abstract:
Software coordination models and languages describe
how agents, resources and processes work together to
implement a software system. One of their limitations is
that they are used late in the software development and
they are not integrated in a typical software development
process.
What we claim, with our research, is that if coordination
becomes explicit and formalized as soon as possible in the
life cycle, then it is possible to create
coordinated-aware software systems.
Moreover, it is possible to verify the adequacy of a
Software Architecture (SA) model (or of the code itself)
with respect to these dynamic constraints as well as
refine or disambiguate
coordination requirements themselves.
In previous work, we presented a UML-based development
process to elicit, describe, analyze and validate system
coordination properties that might be then specified with
a suitable
coordination language. In this general picture, the aim of
this paper is to implement the first step, i.e., to elicit
and formalize coordination policies. We propose a five
steps approach that incrementally identifies the elements
to be coordinated (i.e., static coordination) and how
these entities may be coordinated (i.e., dynamic
coordination).
|
|
 | | |
|