This paper provides a methodology to build
a MultiAgent System (MAS) described in terms of interactive
components from a domain-specic User Workow
Specication (UWS). We use a Petri nets-based notation
to describe workow specications. This, besides using a
familiar and well-studied notation, guarantees an highlevel
of description and independence with more concrete
vendor-specic process denition languages. In order to
bridge the gap between workow specications and MASs,
we exploit other intermediate Petri nets-based notations.
Transformation rules are given to translate a notation to
another. The generated agent-based application implements
the original workow specication. Run-time support is
provided by a middleware suitable for the execution of the
generated code
