A performance driven modelling approach for SOA based application

ESM 2008 - 2008 European Simulation and Modelling Conference: Modelling and Simulation 2008

Volumn , Issue , 2008, Pages 500-505

  Iacono, Mauro ^a   Marrone, Stefano ^a  

^a SECOND UNIVERSITY OF NAPLES   (Italy)

Author keywords

Models composition; Non functional requirements; Petri nets; Service oriented architecture; Workflow performance

Indexed keywords

INFORMATION SERVICES; MODAL ANALYSIS; PETRI NETS; SERVICE ORIENTED ARCHITECTURE (SOA);

COMPLIANCE VERIFICATION; EARLY PHASES OF DESIGNS; FUNCTIONAL REQUIREMENT; GENERALIZED STOCHASTIC PETRI NETS; NON-FUNCTIONAL REQUIREMENTS; PERFORMANCE REQUIREMENTS; STATISTICAL CHARACTERIZATION; WORKFLOW PERFORMANCE;

COMPLIANCE CONTROL;

EID: 84898960613     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Bemardi, S.; Bertoncello, C.; Donatelli, S.; Franceschinis, G.; Gacta, R.; Gribaudo, M. and Horvath, A. 2001. GrcatSPN in the new millenium, 2001.
2. Bhargavan, K.; Fournet, C. and Gordon, A.D. 2006. Verified Reference Implementations of WS-Security Protocols, In Proceeding of Workshop on Web Services and Formal Methods WS-FM 06, Lecture Notes in Computer Science, Springer- Verlag. 2006.
3. Buchs, D. and Guelfi, N. 1991. CO-OPN: A concurrent object- oriented Petri nets approach. In Proc. of the 12th International Conference on Application and Theory of Petri Nets, 1991.
4. Camarinha-Matos, L.M.; Afsarmanesh, H. 1999, The virtual enterprise concept. In Proceedings of the IFIP TC5 WG5.3/PRODNET Working Conference on Infrastructure for Virtual Enterprises (PRO VE99).
5. Camarinha-Matos, L. M. 2002, Multi-Agent System in Virtual Enterprises, In Proceedings of International Conference on AI, Simulation and Planning in High Autonomy Systems, ISBN: 1- 56555-242-3.
6. Chen, S.; Yan, B.; Zic, J.; Liu, R.; Ng, A. 2006. Evaluation and Modeling of Web Services Performance, In Proceeding of IEEE International Conference on Web Seivices (ICWS'06).
7. Diaz, G.; Cambronero, M.E.; Llanos Tobarra, M.; Valero, V and Cuartero, F. 2006. Analysis and Verification of Time Requirements Applied to the Web Services Composition, In Proceeding of Workshop on Web Services and Formal Methods WS-FM 06, Lecture Notes in Computer Science, Springer- Vcrlag 2006.
8. Deng Lin, Z.; Cheng, W.; Xiao, R.; Fang, L.; Li, L. 2007, Modeling Web Service Choreography and Orchestration with Colored Petri Nets, In Proc. of 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007.
9. Erl, T. 2005. "Service-oriented Architecture: Concepts, Technology and Design." Prentice Hall, 2005.
10. Franceschinis, G.; Marrone, S.; Mazzocca, N. and Vittorini, V. 2003. SWN clicnt-scrvcr composition operators in the OsMoSys framework, In Proc. 10th International Workshop on Petri Nets and Performance Models (PNPM), Chicago (USA) - September. 2003.
11. Franceschinis, G.; Gribaudo, M.; Iacono, M, Marrone, S.; Mazzocca, N. and Vittorini, V. 1994. Compositional modeling of complex systems: Contact center scenarios in OsMoSys, In Proc. 25th Internationa/Conference on Application and Theory of Petri Nets, Bologna (Italy) - June 2004.
12. Gilmore, S. and Tribastone, M. 2006. Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System, In Proceeding of Workshop on Web Services and Formal Methods WS-FM 06. Lecture Notes in Computer Scicnce, Springer-Verlag 2006.
13. Hamadi, R.; Benatallah, B. 2003. A Petri Net-based Model for Web Service Composition, In K.-D. Schewe and X. Zhou, editors, In Proc. of the 14th Australian Database Conference (ADC'03), 2003.
14. Hinz, S.; Schmidt, K. and Stahl, C. 2005. Transforming BPEL to Petri Nets, In Proceedings of the Third International Conference on Business Process Management (BPM 2005), 2005.
15. Ho, S.; Loucks, W.M. and Singh, A. 1998, Monitoring performance of a Web Services, 1998.
16. Kim, I. and Biswas, D. 2006. Application of Model Checking to AXML System's Security: A Case Study, In Proceeding of Workshop on Web Services and Formal Methods WS-FM 06, Lecture Notes in Computer Science, Springer-Verlag 2006.
17. Kotb, T. and Baumgart, A.S. 2005. An Extended Petri net for Modeling Workflow with Critical Sections, In Proceedings of IEEE International Conference on e-Business Engineering, 2005.
18. Lakos, C. 1995. From Coloured Petri Nets to Object Petri Nets, In Proceedings of the International Conference on Application and Theory of Petri Nets. 1995.
19. Martinelli, F. and Matteucci, I. 2007. Synthesis of Web Services Orchestrators in a Timed Setting, In Proceeding of Workshop on Web Servicei and Format Methods WS-FM 07, Lecture Notes in Computer Science, Springer-Verlag 2007.
20. Sibcrtin-Blanc, C. 1994. Cooperative Nets. In Proceedings of the 15th International Conference on Application and Theory of Petri Nets. 1994.
21. van der Aalst, W.M.P. 1998. The Application of Petri Nets to Workflow Management, The Journal of Circuits, Systems and Computers, 1998.
22. van der Aalst, W.M.P. 2000. Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques, Business Process Management, 2000.
23. van der Aalst, W.M.P. 2002. Making Work Flow: On the Application of Petri nets to Business Process Management, 2002.
24. Xia, J. and Chang, C.K. 2006. Performance-driven Performance- drivcn Service Selection Using Stochastic CPN. IEEE 2006 John Vincent Atanasoff International Symposium on Modern Computing (JVA 2006), Sofia, Bulgaria, Oct 3-6, 2006, pp. 99- 104.