Describing cloud use case in MetaMORP(h)OSY

Proceedings - 2012 6th International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS 2012

Volumn , Issue , 2012, Pages 793-798

  Moscato, Francesco ^a   Aversa, Rocco ^a   Amato, Alba ^a  

^a SECOND UNIVERSITY OF NAPLES   (Italy)

Author keywords

Cloud computing; Formal analysis; Multi agent systems

Indexed keywords

COMPOSITE SERVICES; FORMAL ANALYSIS; MODEL TRANSFORMATION TECHNIQUE; MODEL-DRIVEN ENGINEERING; MULTI AGENT SYSTEM (MAS); NEW SERVICES; USAGE PATTERNS; VALUE ADDED SERVICE;

CLOUD COMPUTING;

MULTI AGENT SYSTEMS;

EID: 84866634801     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CISIS.2012.143     Document Type: Conference Paper

References (18)

1. Peter Mell and Timothy Grance, "The NIST Definition of Cloud Computing (Draft)," 2011.
2. Q. Zhang, L. Cheng, and R. Boutaba, "Cloud computing: state-of-the-art and research challenges," J. Internet Serv Appl, pp. 7-18, 2010.
3. B. Chen, H. H. Cheng, and J. Palen, "Integrating mobile agent technology with multi-agent systems for distributed traffic detection and management systems," Transportation Research Part C: Emerging Technologies, vol. 17, no. 1, pp. 1 - 10, 2009.
4. M. Cossentino, P. Burrafato, S. Lombardo, and L. Sabatucci, "Introducing pattern reuse in the design of multi-agent systems," in Agent Technologies, Infrastructures, Tools, and Applications for E-Services, ser. Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2003, vol. 2592, pp. 107-120.
5. Y. Zhang, E. Manisterski, S. Kraus, V. Subrahmanian, and D. Peleg, "Computing the fault tolerance of multi-agent deployment," Artificial Intelligence, vol. 173, no. 3-4, pp. 437 - 465, 2009.
6. Z. Guessoum, J.-P. Briot, N. Faci, and O. Marin, "Towards reliable multi-agent systems: An adaptive replication mechanism," Multiagent Grid Syst., vol. 6, pp. 1-24, January 2010.
7. K. M. Kavi, M. Aborizka, D. Kung, and N. Texas, "A framework for designing, modeling and analyzing agent based software systems," in in Proc. of 5th International Conference on Algorithms and Architectures for Parallel Processing, 2002, pp. 23-25.
8. V. T. Da Silva and C. J. P. De Lucena, "From a conceptual framework for agents and objects to a multi-agent system modeling language," Autonomous Agents and Multi-Agent Systems, vol. 9, pp. 145-189, July 2004.
9. F. Moscato, S. Venticinque, R. Aversa, and B. Di Martino, "Formal modeling and verification of real-time multi-agent systems: The remm framework," in Intelligent Distributed Computing, Systems and Applications, ser. Studies in Computational Intelligence, C. Badica, G. Mangioni, V. Carchiolo, and D. Burdescu, Eds. Springer Berlin / Heidelberg, 2008, vol. 162, pp. 187-196.
10. S. Venticinque, R. Aversa, B. D. Martino, and D. Petcu, "Agent based cloud provisioning and management: design and protoypal implementation," in Proc. of Cloud Computing and Services Science (CLOSER). SciTePress, 2011, pp. 184-191.
11. B. Di Martino, D. Petcu, R. Cossu, P. Goncalves, T. Máhr, and M. Loichate, "Building a mosaic of clouds," in Proceedings of the 2010 conference on Parallel processing, ser. Euro-Par 2010. Berlin, Heidelberg: Springer-Verlag, 2011, pp. 571-578. [Online]. Available: http://dl.acm.org/ citation.cfm?id=2031978.2032056
12. "Papyrus uml."
13. M. Faugere, T. Bourbeau, R. de Simone, and S. Gerard, "Marte: Also an uml profile for modeling aadl applications," Engineering of Complex Computer Systems, IEEE International Conference on, vol. 0, pp. 359-364, 2007.
14. M. Armbrust, A. Fox, R. Griffith, A. D. Joseph, R. H. Katz, A. Konwinski, G. Lee, D. A. Patterson, A. Rabkin, I. Stoica, and M. Zaharia, "Above the clouds: A berkeley view of cloud computing," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2009-28, Feb 2009. [Online]. Available: http://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-28.html
15. S. Venticinque, R. Aversa, B. Di Martino, M. Rak, and D. Petcu, "A cloud agency for sla negotiation and management," in Proceedings of the 2010 conference on Parallel processing, ser. Euro-Par 2010. Berlin, Heidelberg: Springer-Verlag, 2011, pp. 587-594. [Online]. Available: http://dl.acm.org/ citation.cfm?id=2031978.2032058
16. M. Wooldridge, "Agent-based software engineering," in IEE Proceedings on Software Engineering, 1997, pp. 26-37.
17. S. Luke, C. Cioffi-Revilla, L. Panait, K. Sullivan, and G. C. Balan, "Mason: A multi-agent simulation environment," Simulation, vol. 81, no. 7, pp. 517-527, 2005.
18. S. Venticinque, European Research Activities in Cloud Computing. Cambridge Scholars, January 2012, ch. Agent Based Services for Negotiation, Monitoring and Reconfiguration of Cloud Resources, pp. 178-202.