Guo, L., Robertson, D., and Chen-Burger, Y. (2005). A
novel approach for enacting the distributed business-
workflows using BPEL4WS on the multi-agent plat-
form. In The 2005 IEEE International Conference on
e-Business Engineering.
Jensen, K. and Kristensen, L. (2009). Coloured Petri
Nets, Modelling and Validation of Concurrent Sys-
tems. Springer Heidelberg, USA.
Kahl, T., Zinnikus, I., Roser, S., Hahn, C., Ziemann, J.,
M
¨
uller, J. P., and Fischer, K. (2007). Architecture for
the design and agent-based implementation of cross-
organizational business processes. In Gonalves, R. J.,
M
¨
uller, J. P., Mertins, K., and Zelm, M., editors, En-
terprise Interoperability II, pages 207–218. Springer
London.
Nowostawski, M. (2003). JFern - Java-based petri net
framework.
OMG (2003). MDA guide v1.0.1, 03-06-01.pdf. Available:
http://www.omg.org/cgi-bin/doc?omg/03-06-01.
Roser, S. and Bauer, B. (2005). A categorization of collab-
orative business process modeling techniques. In 7th
IEEE International Conference on E-Commerce Tech-
nology Workshops, pages 43–54.
Trappey, C. V., Trappey, A. J., Huang, C.-J., and Ku,
C. (2009). The design of a JADE-based au-
tonomous workflow management system for collabo-
rative SoC design. Expert Systems with Applications,
36(2):2659–2669.
Villarreal, P., Roa, J., Salomone, H., and Chiotti, O.
(2007a). Verification of models in a MDA approach
for collaborative business processes. In 10th Ibero-
American Workshop of Requirements Engineering and
Software Environments.
Villarreal, P., Salomone, E., and Chiotti, O. (2006a). A
MDA-based development process for collaborative
business processes. In European Workshop on Mile-
stone, Models and Mappings for Model-Driven Archi-
tecture, 3M4MDA 2006.
Villarreal, P., Salomone, E., and Chiotti, O. (2006b). Trans-
forming collaborative business process models into
web services choreography specifications. In Lee, J.,
Shim, J., Lee, S., Bussler, C., and Shim, S., editors,
Data Engineering Issues in E-Commerce and Ser-
vices, Second International Workshop, DEECS 2006,
LNCS. Springer, Heidelberg.
Villarreal, P., Salomone, E., and Chiotti, O. (2007b). Mod-
eling and specifications of collaborative business pro-
cesses using a MDA approach and a UML profile. In
Rittgen, P., editor, Enterprise Modeling and Comput-
ing with UML, pages 13–45. Idea Group Inc, USA.
Villarreal, P. D., Lazarte, I., Roa, J., and Chiotti, O. (2010).
A modeling approach for collaborative business pro-
cesses based on the up-colbpip language. In Aalst, W.,
Mylopoulos, J., Sadeh, N. M., Shaw, M. J., Szyperski,
C., Rinderle-Ma, S., Sadiq, S., and Leymann, F., edi-
tors, Business Process Management Workshops, vol-
ume 43 of LNBIP, pages 318–329. Springer Berlin
Heidelberg.
Weske, M. (2007). Business Process Management. Con-
cepts, Languages, Architectures. Springer, Heidel-
berg.
Zinnikus, I., Hahn, C., and Fischer, K. (2008). A model-
driven, agent-based approach for the integration of
services into a collaborative business process. In 7th
Int. Conf. on Autonomous Agents and Multiagent Sys-
tems (AAMAS 2008), pages 241–248.
ICAART 2011 - 3rd International Conference on Agents and Artificial Intelligence
244