IMT Institutional Repository: No conditions. Results ordered -Date Deposited. 2024-03-28T22:11:40ZEPrintshttp://eprints.imtlucca.it/images/logowhite.pnghttp://eprints.imtlucca.it/2015-11-30T12:37:23Z2016-04-06T07:56:18Zhttp://eprints.imtlucca.it/id/eprint/2936This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/29362015-11-30T12:37:23ZA Life Cycle for the Development of Autonomic Systems: The E-mobility ShowcaseComponent ensembles are a promising way of building self-aware autonomic adaptive systems. This approach has been promoted by the EU project ASCENS, which develops the core idea of ensembles by providing rigorous semantics as well as models and methods for the whole development life cycle of an ensemble-based system. These methods specifically address adaptation, self-awareness, self-optimization, and continuous system evolution. In this paper, we demonstrate the key concepts and benefits of the ASCENS approach in the context of intelligent navigation of electric vehicles (e-Mobility), which itself is one of the three key case studies of the project.Tomáš BurešRocco De Nicolar.denicola@imtlucca.itIlias GerostathopoulosNicklas HochMichal KitNora KochGiacoma Valentina MonrealeUgo MontanariRosario PuglieseNikola SerbedzijaMartin WirsingFranco Zambonelli2015-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ó2013-05-02T12:47:10Z2013-05-02T12:47:10Zhttp://eprints.imtlucca.it/id/eprint/1574This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/15742013-05-02T12:47:10ZTowards Model-Driven Development of Access Control Policies for Web ApplicationsWe introduce a UML-based notation for graphically modeling
systems’ security aspects in a simple and intuitive
way and a model-driven process that transforms graphical
specifications of access control policies in XACML. These
XACML policies are then translated in FACPL, a policy
language with a formal semantics, and the resulting policies
are evaluated by means of a Java-based software tool.Marianne BushNora KochMassimiliano MasiRosario PuglieseFrancesco Tiezzifrancesco.tiezzi@imtlucca.it2011-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-06-06T09:03:49Z2011-09-19T10:00:54Zhttp://eprints.imtlucca.it/id/eprint/323This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/3232011-06-06T09:03:49ZAGILE: Software Architecture for MobilityArchitecture-based approaches have been promoted as a means of controlling the complexity of system construction and evolution, in particular for providing systems with the agility required to operate in turbulent environments and to adapt very quickly to changes in the enterprise world. Recent technological advances in communication and distribution have made mobility an additional factor of complexity, one for which current architectural concepts and techniques can be hardly used. The AGILE project is developing an architectural approach in which mobility aspects can be modelled explicitly and mapped on the distribution and communication topology made available at physical levels. The whole approach is developed over a uniform mathematical framework based on graph-oriented techniques that support sound methodological principles, formal analysis, and refinement. This paper describes the AGILE project and some of the results gained during the first project year. Luis Filipe AndradePaolo BaldanHubert BaumeisterRoberto BruniAndrea CorradiniRocco De Nicolar.denicola@imtlucca.itJose Luiz FiadeiroFabio GadducciStefania GnesiPiotr HoffmanNora KochPiotr KosiuczenkoAlessandro LapadulaDiego LatellaAntonia LopesMichele LoretiMieke MassinkFranco MazzantiUgo MontanariCristóvão OliveiraRosario PuglieseAndrzej TarleckiMichel WermelingerMartin WirsingArtur Zawlocki2011-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