Information Technology Reference
In-Depth Information
9. Khadka, R., Sapkota, B., Ferreira Pires, L., van Sinderen, M., Jansen, S.: Model-
Driven Development of Service Compositions for Enterprise Interoperability. In:
van Sinderen, M., Johnson, P. (eds.) IWEI 2011. LNBIP, vol. 76, pp. 177-190.
Springer, Heidelberg (2011)
10. Kone, M.T., Shimazu, A., Nakajima, T.: The state of the art in agent commu-
nication languages. Knowledge and Information Systems 2(3), 259-284 (2000),
11. Lam, S.S., Shankar, A.U.: Protocol verification via projections. IEEE Trans. Soft-
ware Eng. 10(4), 325-342 (1984)
12. McNeile, A.T.: Protocol contracts with application to choreographed multiparty
collaborations. Service Oriented Computing and Applications 4(2), 109-136 (2010)
13. Mendling, J., Hafner, M.: From WS-CDL choreography to BPEL process orches-
tration. Journal of Enterprise Information Management 21, 525-542 (2005)
14. Padgham, L., Thangarajah, J., Winikoff, M.: Tool support for agent development
using the prometheus methodology. In: Proceedings of the Fifth International Con-
ference on Quality Software, QSIC 2005, pp. 383-388. IEEE Computer Society,
Washington, DC, USA (2005),
http://dx.doi.org/10.1109/QSIC.2005.66
15. Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: From stakeholder intentions to
software agent implementations. In: Conference on Advanced Information Systems
Engineering, pp. 465-479 (2006)
16. Singh, M.P.: Multiagent Systems: A Theoretical Framework for Intentions,
Know-How, and Communications. LNCS, vol. 799. Springer, Heidelberg (1994),
17. Thangarajah, J., Padgham, L.: Prometheus design tool. In: The 4th International
Joint Conference on Autonomous Agents and Multi-Agent Systems, pp. 127-128
(2005)
18. Trencansky, I., Cervenka, R.: Agent modeling language (aml): A comprehensive
approach to modelling mas. Informatica 29(4), 391-400 (2005)
19. Warwas, S., Hahn, C.: The DSML4MAS development environment. In: Proc. of the
8th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2009),
pp. 1379-1380. IFAAMAS (2009)
20. Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems:
The gaia methodology. ACM Transactions on Software Engineering and Method-
ology 12(3), 317-370 (2003)
