Henry Muccini

>Publications>UML&SA04	Henry Muccini Ph.D. in Computer Science
[UML&SA04] "Using UML for SA-based Modeling and Analysis". Authors: V. Cortellessa, A. Di Marco, P. Inverardi, H. Muccini, P. Pelliccione In: Int. Workshop on Software Architecture Description & UML. Hosted at the Seventh International Conference on UML Modeling Languages and Applications. October 11-15, 2004, Lisbon, Portugal.
Abstract: The use of UML as a language for architecture description has strongly impacted the way academia and industry approach the modelization of Software Architectures (SA). The activities of our research group are quite strictly related to the usage of different UML-like notations for analysis purposes. In this paper we outline our approaches for SA-based model-checking, testing, performance analysis and reliability. We show how the standard UML notation needs to be extended in order to provide information useful for analysis. We finally introduce an ongoing work devoted to provide a framework for software analysis integration.

Henry Muccini
muccini@di.univaq.it
http://www.HenryMuccini.com