From Requirements to code: an Architecture-centric Approach for producing Quality Systems (2009)
Bucchiarone, Antonio, Di Ruscio, Davide, Muccini, Henry, Pelliccione, Patrizio
When engineering complex and distributed software and hardware systems (increasingly used in many sectors, such as manufacturing, aerospace, transportation, communication, energy, and health-care),...
Dynamic Software Architectures Verification using DynAlloy (2009)
Antonio Bucchiarone, Juan P. Galeotti, Claudia Ermel, Reiko Heckel, Juan De Lara, Tiziana Margaria, ...
Abstract: Graph Grammars have been often used for modeling dynamic changes in software architectures. In particular, we have previously characterized some classes of dynamicity in terms of particular...
Formal Methods for Service Composition ⋆ (2008)
Antonio Bucchiarone, Stefania Gnesi
Abstract. Current approaches to service composition range from industrial standards (like BPEL and OWL-S) to formal methods (like Petri nets and process algebras). In this paper, we survey several...
Formal Methods for Service Composition (2008)
Antonio Bucchiarone, Stefania Gnesi
Abstract — Current approaches to service composition In this paper, we first describe and compare these range from industrial standards (like BPEL and OWL-S) to formal methods (like Petri nets and...
Testing Service Composition (2008)
Antonio Bucchiarone, Hernán Melgratti, Francesco Severoni
Abstract. Service Oriented Computing (SOC) is aimed at providing the bases for building software by assembling independent, loosely coupled services. As any software development activity, also...
A New Quality Model for Natural Language Requirements Specifications (2008)
Daniel M. Berry, Antonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni
Abstract. This paper describes an extension to the natural language requirements specification quality model that is the basis for the QuARS (Quality Analyzer of Requirements Specification) tool. The...
Formal Methods for Service Composition ⋆ (2008)
Antonio Bucchiarone, Stefania Gnesi
Abstract. Current approaches to service composition range from industrial standards (like BPEL and OWL-S) to formal methods (like Petri nets and process algebras). In this paper, we survey several...
Modelling Dynamic Software Architectures using Typed Graph Grammars Abstract (2007)
Antonio Bucchiarone, Hernán Melgratti, Stefania Gnesi, Roberto Bruni
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of the structure of a...
A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods (2006)
Maurice Beek, Antonio Bucchiarone, Stefania Gnesi
Abstract — Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approaches range from...