@article {7060517, title = {Cloud4sens: a cloud-based architecture for sensor controlling and monitoring}, journal = {IEEE Communications Magazine}, volume = {53}, number = {3}, year = {2015}, month = {March}, pages = {41-47}, keywords = {cloud clients, cloud computing, cloud framework, cloud service, cloud-based architecture, Cloud4Sens, Communication standards, Computer architecture, computerised instrumentation, Data models, data-centric model, Databases, device-centric model, environmental data, extensible messaging and presence protocol, Geospatial analysis, IEEE standards, open geospatial consortium, sensing resources management, sensor control, sensor monitoring, sensor web enablement, Sensors, software architecture, Standards, SWE specifications, Temperature sensors, virtual devices, virtual sensing infrastructure, Web services, X509 certificates, XMPP}, issn = {0163-6804}, doi = {10.1109/MCOM.2015.7060517}, author = {M. Fazio and A. Puliafito} } @article {Bruneo20132090, title = {Stochastic evaluation of QoS in service-based systems}, journal = {IEEE Transactions on Parallel and Distributed Systems - IEEE Computer Society}, volume = {24}, number = {10}, year = {2013}, note = {cited By 7}, pages = {2090-2099}, abstract = {

WS-BPEL language has become the industrial standard to design and orchestrate modular applications, formalizing service compositions and business relationships among providers and consumers. Once service level agreements (SLAs) among the parties are established, effective tools for evaluating appropriate measurements have to be developed to meet the requirements. However, the design of quality of service (QoS)-guaranteed composed Web services (WSes) still requires several efforts. This work aims at proposing a complete method to study the QoS of a composed WS at design time, i.e., when the process is specified by using WS-BPEL. Starting from the nonfunctional properties of the WS to compose, we propose a technique to derive non-Markovian stochastic Petri net (NMSPN) models from WS-BPEL processes, with the final goal of evaluating parameters such as the service time distribution and the service reliability. To demonstrate the effectiveness of the proposed method and to validate the obtained model, a nontrivial example implementing a travel agency flight reservation process, exposed as a synchronous composed WS, is investigated. {\textcopyright} 1990-2012 IEEE.

}, keywords = {Business Process, Business relationships, Design, Information services, Non functional properties, Performance, Quality of service, Random access storage, Reliability, Service level agreement (SLAs), Service oriented architecture (SOA), Service time distribution, Stochastic Petri Nets, Web services, WS-BPEL}, issn = {10459219}, doi = {10.1109/TPDS.2012.313}, url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84883410035\&partnerID=40\&md5=cdebb3fe5a36e131fd3a9485d01fe3c6}, author = {Dario Bruneo and Salvatore Distefano and Francesco Longo and Marco Scarpa} } @proceedings {Villari2012000820, title = {How a structured testbed enables the rapid development and deployment of cloud services: The VISION Cloud use case}, journal = {Proceedings of the 17th IEEE Symposium on Computers and Communications (ISCC)}, year = {2012}, note = {cited By 0; Conference of 17th IEEE Symposium on Computers and Communication, ISCC 2012 ; Conference Date: 1 July 2012 Through 4 July 2012; Conference Code:92819}, pages = {820-826}, publisher = {IEEE Computer Society}, address = {Cappadocia, Turkey, 1-4 July 2012}, abstract = {

The right setup of a testbed is important for enabling the rapid development and deployment of cloud services, in particular all the times the testbed hosts more concurrent interactions. This work shows how to configure an environment where more developers insist on it. In particular what tools are indispensable for managing compelling distributed cloud environments. We looked at mature Open Source solutions, performing their smoothed integration. The paper describes all parts necessary for accomplishing complex scenarios, even in a bounded perimeter as the VISION Cloud EU project offering. VISION Cloud represents the reference architecture dealing with Cloud Storage, and our work attempts to provide solutions applied on VISION, but suitable for any type of framework. {\textcopyright} 2012 IEEE.

}, keywords = {Advanced Testbed Setup, Agile software development, cloud computing, Cloud services, Concurrent interactions, Distributed database systems, Open-source solutions, Reference architecture, Software engineering, Testbeds, VISION-Cloud, Web services}, isbn = {9781467327121}, issn = {15301346}, doi = {10.1109/ISCC.2012.6249402}, url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84866596171\&partnerID=40\&md5=98dff4b158cbd130ee2ce510a4bc88fb}, author = {Massimo Villari and Francesco Longo and Maurizio Paone and Francesco Tusa and Michael C. Jaeger} } @proceedings {Bruneo2010, title = {QoS assessment of WS-BPEL processes through non-Markovian stochastic Petri nets}, journal = {Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing (IPDPS)}, year = {2010}, note = {cited By 11; Conference of 24th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2010 ; Conference Date: 19 April 2010 Through 23 April 2010; Conference Code:80843}, publisher = {IEEE Computer Society}, address = {Atlanta, GA, United States, 19-23 April 2010}, abstract = {

Service Oriented Architecture (SOA) is the most important and effective software paradigm to design Internet-based services. Using the SOA technology, value-added services can be easily deployed as a combination of existing Web services. In this context, WS-BPEL language has become the SOA industrial standard. To allow services to be composed, business relationships between providers and consumers have to be adequately managed. This implies that a formal definition of Quality of Service (QoS) is agreed and that effective tools for its measurement have to be developed. However, the design ofQoS guaranteed composed Web services still requires several efforts due to the highly distributed nature ofsuch software applications. This work aims at proposing a methodology to evaluate Web service performance at the earliest design phase. We present a novel technique to translate WS-BPEL processes into non-Markovian stochastic Petri nets with the final goal to evaluate parameters such as service time distribution and service reliability. The obtained model can be numerically solved through automatic tools, allowing to investigate the service behavior under different operating conditions and thus helping software engineers to develop QoS-guaranteed software solutions. {\textcopyright} 2010 IEEE.

}, keywords = {Automatic tools, Business relationships, Computer software, Design, Design phase, Distributed parameter networks, Effective tool, Formal definition, Graph theory, Industrial standards, Information services, Internet-based services, Non-Markovian, Novel techniques, Operating condition, Petri nets, Quality of service, Service oriented architecture (SOA), Service reliability, Service time distribution, Software applications, Software engineers, Software paradigm, Software solution, Stochastic Petri Nets, Stochastic systems, Value added service, Web services, WS-BPEL}, isbn = {9781424464432}, doi = {10.1109/IPDPS.2010.5470391}, url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-77954020712\&partnerID=40\&md5=70790f3d893defcf4e9c792d8b58c5da}, author = {Dario Bruneo and Salvatore Distefano and Francesco Longo and Marco Scarpa} }