The software architecture of the OsMoSys Multisolution Framework

VALUETOOLS 2007 - 2nd International ICST Conference on Performance Evaluation Methodologies and Tools

Volumn , Issue , 2007, Pages

  Moscato, F ^a   Flammini, F ^a   Di Lorenzo, G ^a   Vittorini, V ^a   Marrone, S ^a   Iacono, M ^a  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Multiformalism; Multisolution; Orchestration; System Modeling

Indexed keywords

SOFTWARE ARCHITECTURE;

ANALYSIS TECHNIQUES AND TOOLS; HETEROGENEOUS MODELS; LEVEL OF ABSTRACTION; MULTI-FORMALISM MODELS; MULTIFORMALISM; MULTISOLUTION; ORCHESTRATION; SYSTEM MODELING;

TOOLS;

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

References (23)

1. Allen, R. 2001. Workflow: An Introduction. Extracted fromThe Workflow Handbook 2001, Workflow Management Coalition, http://www.wfmc.org/standards/ docs.htm
2. Bause, F., Buchholz, P., and Kemper, P. 1998. A Toolbox for Funtional and Quantitative Analysis of DEDS. Proc. 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'98), 356-359.
3. Behrmann, G., David, A., Larsen, K. G., Möller, O., Pettersson, P., and Yi, W. 2001. Uppaal-Present and Future. Proc. of 40th IEEE Conference on Decision and Control (CDC'01), 2881-2886.
4. Bohnenkamp, H., Hermanns, H., Katoen, J. P., and Klaren, R. 2003. The Modest Modeling Tool and Its Implementation. Computer Performance: Modelling Techniques and Tools - Tools for Evaluation of Stochastic Models, LNCS 2794, 116-133. Springer-Verlag.
5. Chiola, G., Franceschinis, G., Gaeta, R., and Gribaudo, M. 1995. GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Modeling Tools 24, 1&2 (November), 47-68. Elsevier.
6. Codetta-Raiteri, D., Franceschinis, G., and Gribaudo, M. 2006. Defining formalisms and models in the Draw-Net Modeling System. Proc. of the Fourth Int. Workshop on Modelling of Objects, Components and Agents (MOCA06), 123-144.
7. Codetta Raiteri, D., Franceschinis, G., Iacono, M., and Vittorini, V. 2004. Repairable Fault Tree for the Automatic Evaluation of Repair Policies, Proc. of the Performance and Dependability Symposium, 659-668.
8. Deavours, D., Clark, G., Courtney, T., Daly, D., Derisavi, S., Doyle, J. M., Sanders, W. H., and Webster P. G. 2002. The Möbius Framework and its Implementation. IEEE Transactions on Software Engineering 28, 10, 956-U969.
9. Flammini, F., Iacono, M., Marrone, S., and Mazzocca, N. 2005. Using Repairable Fault Trees for the evaluation of design choices for critical repairable systems. Proc. 9th IEEE Symposium on High Assurance Systems Engineering (HASE2005), 163-172.
10. Flammini, F., Marrone, S., Mazzocca, N., and Vittorini, V. 2006. Modelling System Reliability Aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks. Safety and Reliability for Managing Risk: Proceedings of the 15th European Safety and Reliability Conference (ESREL'06), 2675-2683.
11. Franceschinis, G., Gribaudo, M., Iacono, M., Marrone, S., Mazzocca, N. and Vittorini, V. 2004. Compositional modeling of complex systems: contact center scenarios in OsMoSys. Proc. of Applications and Theory of Petri Nets 2004, 25th international conference (ATPN'04), LNCS 3099, 177-196. Springer-Verlag.
12. Franceschinis, G., Gribaudo, M., Iacono, M., Mazzocca, N., and Vittorini, V. 2002. Towards an object based multi-formalism multi-solution modeling approach. Proc. of the 2nd Workshop on Modelling of Objects, Components and Agents (MOCA'02).
13. Gribaudo, M., Iacono, M., Mazzocca, N., and Vittorini, V. 2003. The OsMoSys/DrawNET XE! Languages System: A Novel Infrastructure For Multi-formalism Object-Oriented Modelling. Proc. 15th European Simulation Symposium and Exhibition.
14. Gribaudo, M., Moscato, F., Mazzocca, N. and Vittorini, V. 2005. Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. Proc. 2nd International Conference on the Quantitative Evaluation of Systems (QEST'05), 85-94.
15. Moscato, F. 2005. Multisolution of Multiformalism Models: Formal Specification of the OsMoSys Framework, Ph.D. Thesis, Second University of Naples, Department of Information Engineering.
16. Moscato, F., Gribaudo, M., Franceschinis, G., Mazzocca, N., and Vittorini, V. 2007. Introducing interface polymorphism in multi-formalism modeling. Submitted to Journal of Software and System Modeling. Springer.
17. Moscato, F., Mazzocca, N., and Vittorini, V. 2004. Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. Proc. of the 12th Euromicro Conf. on Parallel, Distributed and Network-based Processing, 134-141.
18. Sahner, R. A., and Trivedi, K. S., and Puliafito, A. 1996. Performance and Reliability Analysis of Computer Systems - An Example-based Approach Using the SHARPE Software Package. Kluwer Academic Publisher.
19. Sanders, W. H., Courtney, T., Deavours, D., Daly, D., Derisavi, S., and Lam, V. 2003. Multiformalism and Multisolution-method Modeling Frameworks: The Möbius Approach. Proc. of the Symposium on Performance Evaluation - Stories and Perspectives, 241-256.
20. Trivedi, K. S. 2002. SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator. Proc. of the Symposium on Dependable Systems & Networks (DSN'02), 544.
21. van der Aalst, W. M. P., ter Hofstede, A. H. M., Kiepuszewski, B. and Barros, A. P. 2003. Workflow Patterns. Distributed and Parallel Databases 14, 3 (July), 5-51.
22. Vittorini, V., Iacono, M., Mazzocca, N., and Franceschinis, G. 2004. The OsMoSys approach to multi-formalism modeling of systems. Journal of Software and System Modeling 3, 1 (March), 68-U81. Springer.
23. WFMC Coalition. 1999. Workflow Management Coalition Terminology and Glossary, WFMC-TC-1011, http://wfmc.org.