IMT Institutional Repository: No conditions. Results ordered -Date Deposited. 2024-03-29T11:15:41ZEPrintshttp://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ůma2016-02-12T13:11:53Z2016-02-12T13:11:53Zhttp://eprints.imtlucca.it/id/eprint/3065This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/30652016-02-12T13:11:53ZThe SCEL Language: Design, Implementation, VerificationSCEL (Service Component Ensemble Language) is a new language specifically designed to rigorously model and program autonomic components and their interaction, while supporting formal reasoning on their behaviors. SCEL brings together various programming abstractions that allow one to directly represent aggregations, behaviors and knowledge according to specific policies. It also naturally supports programming interaction, self-awareness, context-awareness, and adaptation. The solid semantic grounds of the language is exploited for developing logics, tools and methodologies for formal reasoning on system behavior to establish qualitative and quantitative properties of both the individual components and the overall systems.Rocco De Nicolar.denicola@imtlucca.itDiego LatellaAlberto Lluch LafuenteMichele LoretiAndrea MargheriMieke MassinkAndrea MorichettaRosario PuglieseFrancesco TiezziAndrea Vandinandrea.vandin@imtlucca.it2013-10-28T12:04:06Z2014-06-16T10:42:48Zhttp://eprints.imtlucca.it/id/eprint/1852This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/18522013-10-28T12:04:06ZLinguistic abstractions for programming and policing autonomic computing systemsWe introduce PSCEL, a new language for developing autonomic software components capable of adapting their behaviour to react to external stimuli and environment changes. The application logic generating the computational behaviour of systems components is defined in a procedural style, by the programming constructs, while the adaptation logic is defined in a declarative style, by the policing constructs. The interplay between these two kinds of constructs permits to dynamically produce and enforce adaptation actions. To show PSCEL practical applicability and effectiveness, we employ it in a Cloud Computing case study.Andrea MargheriRosario PuglieseFrancesco Tiezzifrancesco.tiezzi@imtlucca.it2013-10-28T12:03:11Z2015-11-02T09:54:00Zhttp://eprints.imtlucca.it/id/eprint/1849This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/18492013-10-28T12:03:11ZDeveloping and Enforcing Policies for Access Control, Resource Usage, and Adaptation: A Practical ApproachPolicy-based software architectures are nowadays widely exploited to regulate different aspects of systems’ behavior, such as access control, resource usage, and adaptation. Several languages and technologies have been proposed as, e.g., the standard XACML. However, developing real-world systems using such approaches is still a tricky task, being them complex and error-prone. To overcome such difficulties, we advocate the use of FACPL, a formal policy language inspired to but simpler than XACML. FACPL has an intuitive syntax, a mathematical semantics and easy-to-use software tools supporting policy development and enforcement. We illustrate potentialities and effectiveness of our approach through a case study from the Cloud computing domain.Andrea MargheriMassimiliano MasiRosario PuglieseFrancesco Tiezzifrancesco.tiezzi@imtlucca.it2013-05-02T12:26:20Z2013-05-02T12:26:20Zhttp://eprints.imtlucca.it/id/eprint/1578This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/15782013-05-02T12:26:20ZOrchestrating Tuple-based LanguagesThe World Wide Web can be thought of as a global computing architecture supporting the deployment of distributed networked applications. Currently, such applications can be programmed by resorting mainly to two distinct paradigms: one devised for orchestrating distributed services, and the other designed for coordinating distributed (possibly mobile) agents. In this paper, the issue of designing a pro-
gramming language aiming at reconciling orchestration and coordination is investigated. Taking as starting point the orchestration calculus Orc and the tuple-based coordination language Klaim, a new formalism is introduced combining concepts and primitives of the original calculi.
To demonstrate feasibility and effectiveness of the proposed approach, a prototype implementation of the new formalism is described and it is then used to tackle a case study dealing with a simplified but realistic electronic marketplace, where a number of on-line stores allow client
applications to access information about their goods and to place orders.Rocco De Nicolar.denicola@imtlucca.itAndrea MargheriFrancesco Tiezzifrancesco.tiezzi@imtlucca.it2013-05-02T12:12:57Z2014-01-29T11:37:12Zhttp://eprints.imtlucca.it/id/eprint/1572This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/15722013-05-02T12:12:57ZOn a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health DataThe importance of the exchange of Electronic Health Records (EHRs) between hospitals has been recognized by governments and institutions. Due to the sensitivity of data exchanged, only mature standards and implementations can be chosen to operate. This exchange process is of course under the control of the patient, who decides who has the rights to access her personal healthcare data and who has not, by giving her personal privacy consent. Patients’ privacy consent is regulated by local legislations, which can vary frequently from region to region. The technology implementing such privacy aspects must be highly adaptable, often resulting in complex security scenarios that cannot be easily managed by patients and software designers. To
overcome such security problems, we advocate the use of a linguistic approach that relies on languages for expressing policies with solid mathematical foundations. Our approach bases on FACPL, a policy language we have intentionally designed by taking inspiration from OASIS XACML, the de-facto standard used in all projects covering secure EHRs transmission protected by patients’ privacy consent. FACPL can express policies similar to those expressible by XACML but, differently from XACML, it has an intuitive syntax, a formal semantics and easy to use software tools supporting policy development and enforcement. In this paper, we
present the potentialities of our approach and outline ongoing work.Andrea MargheriMassimiliano MasiRosario PuglieseFrancesco Tiezzifrancesco.tiezzi@imtlucca.it