IMT Institutional Repository: No conditions. Results ordered -Date Deposited. 2024-03-28T20:41:16ZEPrintshttp://eprints.imtlucca.it/images/logowhite.pnghttp://eprints.imtlucca.it/2016-05-26T10:47:34Z2016-05-26T10:47:34Zhttp://eprints.imtlucca.it/id/eprint/3493This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/34932016-05-26T10:47:34ZSoftware Engineering for Collective Autonomic Systems: The ASCENS ApproachDhaminda B. AbeywickramaJacques CombazJaroslav and Kofro\v HorkýAndrea Vandinandrea.vandin@imtlucca.itEmil VassevJan KofroňAlberto Lluch LafuenteMichele LoretiAndrea MargheriPhilip MayerGiacoma Valentina MonrealeUgo MontanariCarlo PinciroliPetr Tůma2015-02-11T14:06:11Z2015-02-11T14:06:11Zhttp://eprints.imtlucca.it/id/eprint/2599This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/25992015-02-11T14:06:11ZNon-functional properties in the model-driven development of service-oriented systemsSystems based on the service-oriented architecture (SOA) principles have become an important cornerstone of the development of enterprise-scale software applications. They are characterized by separating functions into distinct software units, called services, which can be published, requested and dynamically combined in the production of business applications. Service-oriented systems (SOSs) promise high flexibility, improved maintainability, and simple re-use of functionality. Achieving these properties requires an understanding not only of the individual artifacts of the system but also their integration. In this context, non-functional aspects play an important role and should be analyzed and modeled as early as possible in the development cycle. In this paper, we discuss modeling of non-functional aspects of service-oriented systems, and the use of these models for analysis and deployment. Our contribution in this paper is threefold. First, we show how services and service compositions may be modeled in UML by using a profile for SOA (UML4SOA) and how non-functional properties of service-oriented systems can be represented using the non-functional extension of UML4SOA (UML4SOA-NFP) and the MARTE profile. This enables modeling of performance, security and reliable messaging. Second, we discuss formal analysis of models which respect this design, in particular we consider performance estimates and reliability analysis using the stochastically timed process algebra PEPA as the underlying analytical engine. Last but not least, our models are the source for the application of deployment mechanisms which comprise model-to-model and model-to-text transformations implemented in the framework VIATRA. All techniques presented in this work are illustrated by a running example from an eUniversity case study.Stephen GilmoreLászló GönczyNora KochPhilip MayerMirco Tribastonemirco.tribastone@imtlucca.itDániel Varró2015-02-09T09:45:25Z2015-02-09T09:45:25Zhttp://eprints.imtlucca.it/id/eprint/2576This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/25762015-02-09T09:45:25ZPerformance prediction of service-oriented systems with layered queueing networksWe present a method for the prediction of the performance of a service-oriented architecture during its early stage of development. The system under scrutiny is modelled with the UML and two profiles: UML4SOA for specifying the functional behaviour, and MARTE for the non-functional performance-related characterisation. By means of a case study, we show how such a model can be interpreted as a layered queueing network. This target technique has the advantage to employ as constituent blocks entities, such as threads and processors, which arise very frequently in real deployment scenarios. Furthermore, the analytical methods for the solution of the performance model scale very well with increasing problem sizes, making it possible to efficiently evaluate the behaviour of large-scale systems.Mirco Tribastonemirco.tribastone@imtlucca.itPhilip MayerMartin Wirsing2015-02-06T13:36:11Z2015-02-06T13:36:11Zhttp://eprints.imtlucca.it/id/eprint/2566This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/25662015-02-06T13:36:11ZSafety and response-time analysis of an automotive accident assistance serviceIn the present paper we assess both the safety properties and the response-time profile of a subscription service which provides medical assistance to drivers who are injured in vehicular collisions. We use both timed and untimed process calculi cooperatively to perform the required analysis. The formal analysis tools used are hosted on a high-level modelling platform with support for scripting and orchestration which enables users to build custom analysis processes from the general-purpose analysers which are hosted as services on the platform.Ashok Argent-KatwalaAllan ClarkHoward FosterStephen GilmorePhilip MayerMirco Tribastonemirco.tribastone@imtlucca.it2014-04-14T12:10:18Z2015-11-02T11:10:14Zhttp://eprints.imtlucca.it/id/eprint/2191This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/21912014-04-14T12:10:18ZReputation-based Cooperation in the CloudsThe popularity of the cloud computing paradigm is opening new opportunities for collaborative computing. In this paper we tackle a fundamental problem in open-ended cloud-based distributed computing platforms, i.e., the quest for potential collaborators. We assume that cloud participants are willing to share their computational resources for shared distributed computing problems, but they are not willing to disclose the details of their resources. Lacking such information, we advocate to rely on reputation scores obtained by evaluating the interactions among participants. More specifically, we propose a methodology to assess, at design time, the impact of different (reputation-based) collaborator selection strategies on the system performance. The evaluation is performed through statistical analysis on a volunteer cloud simulator.Alessandro Celestinialessandro.celestini@imtlucca.itAlberto Lluch-Lafuentealberto.lluch@imtlucca.itPhilip MayerStefano Sebastiostefano.sebastio@imtlucca.itFrancesco Tiezzifrancesco.tiezzi@imtlucca.it2013-10-28T12:04:50Z2016-03-18T10:44:41Zhttp://eprints.imtlucca.it/id/eprint/1850This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/18502013-10-28T12:04:50ZThe Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud ComputingAutonomic computing - that is, the development of software and hardware systems featuring a certain degree of self-awareness and self-adaptability - is a field with many application areas and many technical difficulties. In this paper, we explore the idea of an autonomic cloud in the form of a platform-as-a-service computing infrastructure which, contrary to the usual practice, does not consist of a well-maintained set of reliable high-performance computers, but instead is formed by a loose collection of voluntarily provided heterogeneous nodes which are connected in a peer-to-peer manner. Such an infrastructure must deal with network resilience, data redundancy, and failover mechanisms for executing applications. We discuss possible solutions and methods which help developing such (and similar) systems. The described approaches are developed in the EU project ASCENS.Philip MayerAnnabelle KlarlRolf HennickerMariachiara PuvianiFrancesco Tiezzifrancesco.tiezzi@imtlucca.itRosario PuglieseTomáš Bureš2011-06-14T14:20:42Z2016-04-06T07:58:24Zhttp://eprints.imtlucca.it/id/eprint/413This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/4132011-06-14T14:20:42ZSENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and DynamicityThe IST-FET Integrated Project Sensoria is developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated into pragmatic software engineering processes. The techniques and tools of Sensoria encompass the whole software development cycle, from business and architectural design, to quantitative and qualitative analysis of system properties, and to transformation and code generation. The Sensoria approach takes also into account reconfiguration of service-oriented architectures (SOAs) and re-engineering of legacy systems.
In this paper we give first a short overview of Sensoria and then present a pattern language for augmenting service engineering with formal analysis, transformation and dynamicity. The patterns are designed to help software developers choose appropriate tools and techniques to develop service-oriented systems with support from formal methods. They support the whole development process, from the modelling stage to deployment activities and give an overview of many of the research areas pursued in the Sensoria project.
Martin WirsingMatthias HölzlLucia AcciaiFederico BantiAllan ClarkAlessandro FantechiStephen GilmoreStefania GnesiLászló GönczyNora KochAlessandro LapadulaPhilip MayerFranco MazzantiRosario PuglieseAndreas SchroederFrancesco Tiezzifrancesco.tiezzi@imtlucca.itMirco Tribastonemirco.tribastone@imtlucca.itDániel Varró2011-05-18T10:27:27Z2016-04-06T07:57:34Zhttp://eprints.imtlucca.it/id/eprint/146This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1462011-05-18T10:27:27ZA Service-Oriented UML Profile with Formal SupportWe present a UML Profile for the description of service oriented applications. The profile focuses on style-based design and reconfiguration aspects at the architectural level. Moreover, it has formal support in terms of an approach called Architectural Design Rewriting, which enables formal analysis of the UML specifications. We show how our prototypical implementation can be used to analyse and verify properties of a service oriented application.
Roberto BruniMatthias HölzlNora KochAlberto Lluch-Lafuentealberto.lluch@imtlucca.itPhilip MayerUgo MontanariAndreas SchroederMartin Wirsing