References of "Bianculli, Domenico 50000779"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailOCLR: a More Expressive, Pattern-based Temporal Extension of OCL
Dou, Wei UL; Bianculli, Domenico UL; Briand, Lionel UL

in Proceedings of the 2014 European Conference on Modelling Foundations and Applications (ECMFA 2014) (2014, July)

Detailed reference viewed: 240 (23 UL)
Full Text
See detailA Model-Driven Approach to Offline Trace Checking of Temporal Properties with OCL
Dou, Wei UL; Bianculli, Domenico UL; Briand, Lionel UL

Report (2014)

Offline trace checking is a procedure for evaluating requirements over a log of events produced by a system. The goal of this paper is to present a practical and scalable solution for the offline checking ... [more ▼]

Offline trace checking is a procedure for evaluating requirements over a log of events produced by a system. The goal of this paper is to present a practical and scalable solution for the offline checking of the temporal requirements of a system, which can be used in contexts where model-driven engineering is already a practice, where temporal specifications should be written in a domain-specific language not requiring a strong mathematical background, and where relying on standards and industry-strength tools for property checking is a fundamental prerequisite. The main contributions are: the TemPsy language, a domain-specific specification language based on common property specification patterns, and extended with new constructs; a model-driven offline trace checking procedure based on the mapping of requirements written in TemPsy into OCL (Object Constraint Language) constraints on a conceptual model on execution traces, which can be evaluated using an OCL checker; the implementation of this trace checking procedure in the TemPsy-Check tool; the evaluation of the scalability of TemPsy-Check and its comparison to a state-of-the-art alternative technology. The proposed approach has been applied to a case study developed in collaboration with a public service organization, active in the domain of business process modeling for eGovernment. [less ▲]

Detailed reference viewed: 515 (129 UL)
Full Text
See detailOCLR: a More Expressive, Pattern-based Temporal Extension of OCL
Dou, Wei UL; Bianculli, Domenico UL; Briand, Lionel UL

Report (2014)

Modern enterprise information systems often require to specify their functional and non-functional (e.g., Quality of Service) requirements using expressions that contain temporal constraints ... [more ▼]

Modern enterprise information systems often require to specify their functional and non-functional (e.g., Quality of Service) requirements using expressions that contain temporal constraints. Specification approaches based on temporal logics demand a certain knowledge of mathematical logic, which is difficult to find among practitioners; moreover, tool support for temporal logics is limited. On the other hand, a standard language such as the Object Constraint Language (OCL), which benefits from the availability of several industrial-strength tools, does not support temporal expressions. In this paper we propose OCLR, an extension of OCL with support for temporal constraints based on well-known property specification patterns. With respect to previous extensions, we add support for referring to a specific occurrence of an event as well as for indicating a time distance between events and/or scope boundaries. The proposed extension defines a new syntax, very close to natural language, paving the way for a rapid adoption by practitioners. We show the application of the language in a case study in the domain of eGovernment, developed in collaboration with a public service partner. [less ▲]

Detailed reference viewed: 380 (88 UL)
Full Text
See detailSpecification Patterns from Research to Industry: A Case Study in Service-Based Applications (extended abstract)
Bianculli, Domenico UL; Ghezzi, Carlo; Pautasso, Cesare et al

in Software Engineering 2014: Fachtagung des GI-Fachbereichs Softwaretechnik (2014, February)

Detailed reference viewed: 71 (10 UL)
Full Text
Peer Reviewed
See detailTowards the formalization of properties of cloud-based elastic systems
Bersani, Marcello Maria; Bianculli, Domenico UL; Dustdar, Schahram et al

in Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014) (2014)

Detailed reference viewed: 196 (2 UL)
Full Text
Peer Reviewed
See detailSMT-based Checking of SOLOIST over Sparse Traces
Bersani, Marcello Maria; Bianculli, Domenico UL; Ghezzi, Carlo et al

in Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014) (2014)

Detailed reference viewed: 251 (10 UL)
See detailQASBA 2013: Proceedings of the 2013 International Workshop on Quality Assurance for Service-Based Applications
Bianculli, Domenico UL; Guinea, Sam; Hallé, Sylvain et al

Book published by ACM (2013)

Detailed reference viewed: 74 (6 UL)
See detailFrom SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications
Bianculli, Domenico UL; Krstic, Srđan; Ghezzi, Carlo et al

Report (2013)

Detailed reference viewed: 82 (1 UL)
Peer Reviewed
See detailCloud-based systems need multi-level management
Baresi, Luciano; Bianculli, Domenico UL; Guinea, Sam

in Bouguettaya, Athman; Sheng, Quan Z.; Daniel, Florian (Eds.) Advanced Web Services (2013)

Detailed reference viewed: 180 (9 UL)
See detailProceedings of 2013 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)
Bianculli, Domenico UL; Lago, Patricia; Lewis, Grace et al

Book published by IEEE (2013)

Detailed reference viewed: 52 (0 UL)
See detailReport of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012): internet of services and the quest for case studies
Lago, Patricia; Lewis, Grace; Metzger, Andreas et al

in SIGSOFT Softw. Eng. Notes (2013), 38(1), 35--38

Detailed reference viewed: 124 (1 UL)
Full Text
See detailA Syntactic-Semantic Approach to Incremental Verification
Bianculli, Domenico UL; Filieri, Antonio; Ghezzi, Carlo et al

E-print/Working paper (2013)

Software verification of evolving systems is challenging mainstream methodologies and tools. Formal verification techniques often conflict with the time constraints imposed by change management practices ... [more ▼]

Software verification of evolving systems is challenging mainstream methodologies and tools. Formal verification techniques often conflict with the time constraints imposed by change management practices for evolving systems. Since changes in these systems are often local to restricted parts, an incremental verification approach could be beneficial. This paper introduces SiDECAR, a general framework for the definition of verification procedures, which are made incremental by the framework itself. Verification procedures are driven by the syntactic structure (defined by a grammar) of the system and encoded as semantic attributes associated with the grammar. Incrementality is achieved by coupling the evaluation of semantic attributes with an incremental parsing technique. We show the application of SiDECAR to the definition of two verification procedures: probabilistic verification of reliability requirements and verification of safety properties. [less ▲]

Detailed reference viewed: 98 (5 UL)
See detail5th international workshop on principles of engineering service-oriented systems (PESOS 2013)
Bianculli, Domenico UL; Lago, Patricia; Lewis, Grace et al

in Proceedings of the 2013 International Conference on Software Engineering (ICSE '13), San Francisco, CA USA (2013)

Detailed reference viewed: 121 (4 UL)
Full Text
Peer Reviewed
See detailThe tale of SOLOIST: a specification language for service compositions interactions
Bianculli, Domenico UL; Ghezzi, Carlo; San Pietro, Pierluigi

in Păsăreanu, Corina; Salaün, Gwen (Eds.) Formal Aspects of Component Software (2012, September)

Service-based applications are a new class of software systems that provide the basis for enterprises to build their information systems by following the principles of service-oriented architectures ... [more ▼]

Service-based applications are a new class of software systems that provide the basis for enterprises to build their information systems by following the principles of service-oriented architectures. These software systems are often realized by orchestrating remote, third-party services, to provide added-values applications that are called service compositions. The distributed ownership and the evolving nature of the services involved in a service composition make verification activities crucial. On a par with verification is also the problem of formally specifying the interactions—with third-party services—of service compositions, with the related issue of balancing expressiveness and support for automated verification. This paper showcases SOLOIST, a specification language for formalizing the interactions of service compositions. SOLOIST has been designed with the primary objective of expressing the most significant specification patterns found in the specifications of service-based applications. The language is based on a many-sorted first-order metric temporal logic, extended with new temporal modalities that support aggregate operators for events occurring in a certain time window. We also show how, under certain assumptions, the language can be reduced to linear temporal logic, paving the way for using SOLOIST with established verification techniques, both at design time and at run time. [less ▲]

Detailed reference viewed: 170 (12 UL)
Full Text
See detailOpen-world Software: Specification, Verification and Beyond
Bianculli, Domenico UL

Doctoral thesis (2012)

Open-world software systems are built by composing heterogeneous,third-party components, whose behavior and interactions cannot be fully controlled or predicted; moreover, the environment they interact ... [more ▼]

Open-world software systems are built by composing heterogeneous,third-party components, whose behavior and interactions cannot be fully controlled or predicted; moreover, the environment they interact with is characterized by frequent, unexpected, and welcome changes. This class of software exhibits new features that often demand for rethinking and extending the traditional methodologies and the accompanying methods and techniques. In this thesis we deal with a particular class of open- world software, represented by service-based applications (SBAs). We focus on three specific aspects related to the development and provisioning of SBAs: specification, verification, and reputation management. With respect to these aspects, we provide methods and techniques that are i) suitable to deal with aspects such as change, evolution, and reliance on third- parties, and ii) able to improve the overall quality of the systems they are applied to. More specifically, concerning specification, we report on the findings of a study that analyzed requirements specifications of SBAs developed in research settings and in industrial settings. These findings have then driven the design of SOLOIST, a language used to specify the interactions of SBAs. Regarding verification, our contribution is twofold; we propose: i) a technique for automatically generating the behavioral interfaces of the partner services of a service composition, by decomposing the requirements specification of the composite service; ii) a framework for the definition of verification procedures (encoded as synthesis of semantic attributes associated with a grammar) that are made incremental using an approach based on incremental parsing and attributes evaluation techniques. Finally, as for reputation management, we present a reputation-aware service execution infrastructure, which manages the reputation of services used by composite SBAs in an automated and transparent manner. [less ▲]

Detailed reference viewed: 64 (3 UL)
See detailMatinée with Carlo Ghezzi - from Programming Languages to Software Engineering
Bianculli, Domenico UL; Jazayeri, Mehdi; Pezzè, Mauro

Book published by CreateSpace (2012)

Detailed reference viewed: 122 (3 UL)
Full Text
Peer Reviewed
See detailSpecification Patterns from Research to Industry: a Case Study in Service-based Applications
Bianculli, Domenico UL; Ghezzi, Carlo; Pautasso, Cesare et al

in Proceedings of the 34th International Conference on Software Engineering (ICSE 2012) (2012)

Detailed reference viewed: 115 (7 UL)
See detailQASBA '11: Proceedings of the International Workshop on Quality Assurance for Service-Based Applications
Bianculli, Domenico UL; Guinea, Sam; Metzger, Andrea et al

Book published by ACM (2011)

Detailed reference viewed: 59 (1 UL)
Full Text
Peer Reviewed
See detailInterface Decomposition for Service Compositions
Bianculli, Domenico UL; Giannakopoulou, Dimitra; Pasareanu, Corina

in Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011) (2011)

Detailed reference viewed: 98 (4 UL)
Full Text
Peer Reviewed
See detailSOABench: Performance Evaluation of Service-Oriented Middleware Made Easy
Bianculli, Domenico UL; Binder, Walter; Drago, Mauro Luigi

in Proceedings (Volume 2) of the 32nd International Conference on Software Engineering (ICSE 2010) (2010)

Detailed reference viewed: 50 (2 UL)