Solution workflows for model-based analysis of complex systems

IEEE Transactions on Automation Science and Engineering

Volumn 9, Issue 1, 2012, Pages 83-95

  Moscato, Francesco ^a   Vittorini, Valeria ^b   Amato, Flora ^b   Mazzeo, Antonino ^b   Mazzocca, Nicola ^b  

^a SECOND UNIVERSITY OF NAPLES   (Italy)

^b UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Complex systems; Formal modeling; Model engineering; Scientific workflow; Workflow patterns

Indexed keywords

ANALYSIS AND SIMULATION; COMPLEX MODEL; DISTRIBUTED TOOLS; EXECUTION ENVIRONMENTS; FORMAL MODEL; FORMAL MODELING; FORMAL SEMANTICS; GRAPH-BASED; HOME LAND SECURITY; KEY ELEMENTS; MODEL ENGINEERING; MODEL-BASED ANALYSIS; REAL-WORLD SYSTEM; SCIENTIFIC WORKFLOWS; SOLUTION PROCESS; SYSTEMS MODELING; WORK-FLOWS; WORKFLOW PATTERNS;

FORMAL METHODS; LARGE SCALE SYSTEMS; MODELS; SEMANTICS; SPECIFICATIONS;

COMPUTER SIMULATION;

EID: 84855349761     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2011.2161981     Document Type: Article

References (35)

1. R. A. Sahner, K. S. Trivedi, and A. Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package. Norwell, MA: Kluwer, 1996.
2. K. S. Trivedi, "Sharpe 2002: Symbolic hierarchical automated reliability and performance evaluator," in Proc. Int. Conf. Dependable Syst. Networks, 2002, p. 544.
3. K. S. Trivedi and R. Sahner, "Sharpe at the age of twenty two," SIGMETRICS Perform. Eval. Rev. vol. 36, pp. 52-57, Mar. 2009. [Online]. Available: http://doi.acm.org/10.1145/1530873.1530884
4. F. Bause, P. Buchholz, and P. Kemper, "A toolbox for functional and quantitative analysis of DEDS," in Proc. 10th Int. Conf. Comput. Perform. Eval. : Modelling Tech. Tools, TOOLS '98, London, U. K., 1998, pp. 356-359. [Online]. Available: http://portal.acm.org/citation.cfm?id=647808.737654 (Pubitemid 128135963)
5. H. C. Bohnenkamp, H. Hermanns, J.-P. Katoen, and R. Klaren, "The modest modeling tool and its implementation," Comput. Perform. Eval. /TOOLS, pp. 116-133, 2003.
6. H. Bohnenkamp, H. Hermanns, and J.-P. Katoen, "Motor: The modest tool environment," in Proc. 13th Int. Conf. Tools and Algorithms for the Construction Anal. Syst., TACAS'07, 2007, pp. 500-504. [Online]. Available: http://portal.acm.org/citation.cfm?id=1763507.1763557 (Pubitemid 350259316)
7. D. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster, "The mobius framework and its implementation," IEEE Trans. Softw. Eng. vol. 28, no. 10, pp. 956-969, Oct. 2002. [Online]. Available: http://dx.doi.org/10.1109/TSE.2002.1041052
8. W. H. Sanders, T. Courtney, D. Deavours, D. Daly, S. Derisavi, and V. Lam, "Multi-formalism and multi-solution-method modeling frameworks: The mobius approach," in Proc. Symp. Perform. Eval.-Stories and Perspectives, 2003, pp. 241-256.
9. S. Gaonkar, K. Keefe, R. Lamprecht, E. Rozier, P. Kemper, and W. H. Sanders, "Performance and dependability modeling with mobius," SIGMETRICS Perform. Eval. Rev. vol. 36, pp. 16-21, Mar. 2009. [Online]. Available: http://doi.acm.org/10.1145/1530873.1530878
10. G. Franceschinis, M. Gribaudo, M. Iacono, S. Marrone, F. Moscato, and V. Vittorini, "Interfaces and binding in component based development of formal models," in Proc. 4th Int. ICST Conf. Perform. Eval. Methodologies and Tools, VALUETOOLS'09, 2009, pp. 44:1-44:10.
11. B. Ludäscher, I. Altintas, C. Berkley, D. Higgins, E. Jaeger, M. Jones, E. A. Lee, J. Tao, and Y. Zhao, "Scientific workflow management and theKepler system: Research articles," Concurr. Comput. : Pract. Exper. vol. 18, pp. 1039-1065, Aug. 2006. [Online]. Available: http://portal.acm.org/ citation.cfm?id=1148437.1148454 (Pubitemid 44258497)
12. Aquaryus, "Oasis, web services business process execution language version 2. 0. " [Online]. Available: http://docs.oasis-open.org/wsbpel/2.0/ OS/wsbpel-v2.0-OS.html
13. WFMC, "Workflow management coalition workflow standard: Process definition interface. Xml process definition language,"WorkflowManagement Coalition, Tech. Rep. WFMC-TC-1025, 2005.
14. W. M. P. van der Aalst, "Patterns and XPDL: A critical evaluation of the xml process definition language," BPMcenter. org, Tech. Rep. BPM-03-09, 2003.
15. A. Lapadula, R. Pugliese, and F. Tiezzi, "A formal account of WS-BPEL," in Proc. 10th Int. Conf. Coordination Models and Languages, COORDINATION'08, 2008, pp. 199-215.
16. C. Ouyang, E. Verbeek, W. M. van der Aalst, S. Breutel, M. Dumas, and A. H. ter Hofstede, "Formal semantics and analysis of control flow in WS-BPEL," Sci. Comput. Program., vol. 67, no. 2/3, pp. 162-198, Jul. 2007. (Pubitemid 46963405)
17. C. Szyperski, Component Software: Beyond Object-Oriented Programming, 2nd ed. Boston, MA: Addison-Wesley, 2002.
18. C. Szyperski, "Component technology: What, where, and how?," in Proc. Int. Conf. Softw. Eng., 2003, pp. 684-693.
19. F. Basile, P. Chiacchio, V. Vittorini, and N. Mazzocca, "Specification and modeling of flexible manufacturing systems using behaviours and Petri nets building blocks," in Proc. Int. Symp. Softw. Eng. Parallel Distrib. Syst., PDSE '99, 1999, p. 110. [Online]. Available: http://portal.acm.org/citation.cfm?id=554221.826296
20. V. Vittorini, M. Iacono, N. Mazzocca, and G. Franceschinis, "The Os- MoSys approach to multi-formalism modeling of systems," Softw. Syst. Modeling, vol. 3, no. 1, pp. 68-81, 2004.
21. F. Moscato, N. Mazzocca, and V. Vittorini, "Workflow principles applied to multi-solution analysis of dependable distributed systems," in Proc. Euromicro Conf. Parallel, Distrib., Network-Based Process., 2004, p. 134.
22. F. Moscato, F. Flammini, G. D. Lorenzo, V. Vittorini, S. Marrone, and M. Iacono, "The software architecture of the OsMoSys multisolution framework," in Proc. 2nd Int. Conf. Perform. Eval. Method. Tools, ValueTools'07, 2007, pp. 51:1-51:10 [Online]. Available: http://portal.acm.org/ citation.cfm?id=1345263.1345328
23. D. C. Raiteri, M. Iacono, G. Franceschinis, and V. Vittorini, "Repairable fault tree for the automatic evaluation of repair policies," in Proc. Int. Conf. Dependable Syst. Networks, 2004, p. 659. [Online]. Available: http://portal.acm.org/citation.cfm?id=1009382.1009781
24. G. Franceschinis, M. Gribaudo, M. Iacono, S. Marrone, N. Mazzocca, and V. Vittorini, "Compositional modeling of complex systems: Contact center scenarios in OsMoSys," Appl. Theory of Petri Nets (ICATPN '04), vol. 3099, pp. 177-196, 2004.
25. F. Flammini, N. Mazzocca, M. Iacono, and S. Marrone, "Using repairable fault trees for the evaluation of design choices for critical repairable systems," in Proc. IEEE Int. Symp. High-Assurance Syst. Eng., 2005, pp. 163-172.
26. F. Flammini, N. Mazzocca, V. Vittorini, and S. Marrone, "Modelling structural reliability aspects of ERTMS/ETCS by fault trees and Bayesian networks," in Proc. 15th Eur. Safety and Reliability Conf., ESREL'06, 2006, pp. 2675-2683.
27. F. Flammini, N. Mazzocca, V. Vittorini, and S. Marrone, "A new modeling approach to the safety evaluation of n-modular redundant computer systems in presence of imperfect maintenance," Reliability Eng. Syst. Safety (RESS), vol. 94, pp. 1422-1432, 2009.
28. P. J. Mosterman and H. Vangheluwe, "Guest editorial: Special issue on computer automated multi-paradigm modeling," ACM Trans. Model. Comput. Simul. vol. 12, pp. 249-255, Oct. 2002. [Online]. Available: http://doi.acm.org/10.1145/643120.643121
29. J. D. Lara and H. Vangheluwe, "Atom3: A tool for multi-formalism and meta-modelling," Fundamental Approaches Softw. Eng., pp. 174-188, 2002.
30. J. D. Lara, H. Vangheluwe, and M. Alfonseca, "Meta-modelling and graph grammars for multi-paradigm modelling in atom3," Softw. Syst. Model., vol. 3, pp. 194-209, 2004.
31. V. De Antonellis, M. Melchiori, L. De Santis, M. Mecella, E. Mussi, B. Pernici, and P. Plebani, "A layered architecture for flexible web service invocation," Softw. Pract. Exper. vol. 36, pp. 191-223, Feb. 2006. [Online]. Available: http://portal.acm.org/citation.cfm?id=1115606.1115610 (Pubitemid 43206819)
32. M. Gribaudo, M. Iacono, N. Mazzocca, and V. Vittorini, "The Os- MoSys/drawnet xe! languages system: A novel infrastructure for multiformalism object-oriented modelling," in Proc. 15th Eur. Simulation Symp. Exhibition (ESSE'03), 2003, pp. 165-174.
33. N. Russell Arthur, W. M. P. van der Aalst, and N. Mulyar, "Workflow control-flow patterns: A revised view," BPMcenter. org, 2006, Tech. Rep. .
34. W. M. P. Van Der Aalst, A. H. M. Ter Hofstede, B. Kiepuszewski, and A. P. Barros, "Workflow patterns," Distrib. Parallel Databases vol. 14, pp. 5-51, Jul. 2003. [Online]. Available: http://portal.acm.org/citation.cfm?id= 640475.640516
35. P. Pettersson and K. G. Larsen, "Uppaal2k," Bull. Eur. Assoc. Theor. Comput. Sci., vol. 70, pp. 40-44, 2000.