Filters








54 Hits in 2.6 sec

The SCEL Language: Design, Implementation, Verification [chapter]

Rocco De Nicola, Diego Latella, Alberto Lluch Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
2015 Lecture Notes in Computer Science  
SCEL (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  ...  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  ...  Acknowledgements We would like to thank all friends of the ASCENS project, without their contributions and stimuli, SCEL would not have been conceived.  ... 
doi:10.1007/978-3-319-16310-9_1 fatcat:xfb7tf52ivaxhfsjskgfb72enm

Toward Formal Models and Languages for Verifiable Multi-Robot Systems

Rocco De Nicola, Luca Di Stefano, Omar Inverso
2018 Frontiers in Robotics and AI  
Finally, we assessed the extent to which the considered languages captured the key features in an adequate and intuitive way by using them to implement multi-robot systems case studies.  ...  In fact, reducing the gap between typical features of an MRS and the linguistic primitives used to model them would simplify both the specification of these systems and their verification.  ...  We also evaluate to what extent these languages can support the design phase through simulation or verification. We focus on languages based on individual behavior design.  ... 
doi:10.3389/frobt.2018.00094 pmid:33500973 pmcid:PMC7806004 fatcat:kvjlryeaxfb5phqpnukv7wpt5m

The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems [chapter]

Matthias Hölzl, Nora Koch, Mariachiara Puviani, Martin Wirsing, Franco Zambonelli
2015 Lecture Notes in Computer Science  
The life cycle is characterized by three feedback loops, i.e. based on verification at design time, based on monitoring and awareness in the runtime, and the feedback provided by runtime data to the design  ...  We illustrate how the life cycle can be instantiated using specific languages, methods and tools developed within the ASCENS project.  ...  Such a pattern language enables developers to choose different design elements making the resulting models, implementation and selected verification techniques more understandable.  ... 
doi:10.1007/978-3-319-16310-9_9 fatcat:psm6q5ik4jdybhbqcpkkkqohbi

Programming and Verifying Component Ensembles [chapter]

Rocco De Nicola, Alberto Lluch Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi
2014 Lecture Notes in Computer Science  
In order to validate the amenability of the language for verification purposes, we provide a translation of SCELight specifications into Promela.  ...  A simplified version of the kernel language SCEL, that we call SCELight, is introduced as a formalism for programming and verifying properties of so-called cyber-physical systems consisting of software-intensive  ...  The design and the analysis that these classes of systems meet the expectations of their users pose big challenges to language designers and software engineers.  ... 
doi:10.1007/978-3-642-54848-2_5 fatcat:vmm6f5xucbee5lngnlnjgdnk4a

A formal approach to the engineering of domain-specific distributed systems

Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi
2019 Journal of Logical and Algebraic Methods in Programming  
We then present an overview of four different languages, namely Klaim, Cows, Scel and AbC.  ...  For each language, we discuss design choices, present syntax and semantics, show how the different formalisms can be used to model and program a travel booking scenario, and describe programming environments  ...  This work would not have been possible without the contribution of our collaborators that have helped us in shaping the four languages we have introduced.  ... 
doi:10.1016/j.jlamp.2019.100511 fatcat:g2oc2kqvenckveelm4rz5m632q

COST IC1404 WG1 Deliverable WG1.2: Framework to Relate / Combine Modeling Languages and Techniques

Rima Al-Ali, Moussa Amrani, Soumyadip Bandyopadhyay, Ankica Barisic, Fernando Barros, Dominique Blouin, Ferhat Erata, Holger Giese, Mauro Iacono, Stefan Klikovits, Eva Navarro, Patrizio Pelliccione (+3 others)
2019 Zenodo  
Ontological foundation for a framework to Relate / Combine Modeling Languages and Techniques.  ...  As part from ASCENS project, a formalism language was introduced to express the ensembles called Service Component Ensemble Language (SCEL) Figure 6 .1.  ...  Design and Runtime Regarding the design and runtime parts (35) (2) , the team developed a runtime environment which is implemented in java and is known as jDEECo.  ... 
doi:10.5281/zenodo.2538795 fatcat:ox2slzxzdbcrjha2xeoz75a7vy

COST IC1404 WG1 Deliverable WG1.2: Framework to Relate / Combine Modeling Languages and Techniques

Rima Al-Ali, Moussa Amrani, Soumyadip Bandyopadhyay, Ankica Barisic, Fernando Barros, Dominique Blouin, Ferhat Erata, Holger Giese, Mauro Iacono, Stefan Klikovits, Eva Navarro, Patrizio Pelliccione (+3 others)
2019 Zenodo  
Ontological foundation for a framework to Relate / Combine Modeling Languages and Techniques.  ...  As part from ASCENS project, a formalism language was introduced to express the ensembles called Service Component Ensemble Language (SCEL) Figure 6 .1.  ...  Design and Runtime Regarding the design and runtime parts (35) (2) , the team developed a runtime environment which is implemented in java and is known as jDEECo.  ... 
doi:10.5281/zenodo.2527577 fatcat:qsugbjnclbe4hnz46sunlqvj5a

Rigorous engineering of collective adaptive systems: special section

Rocco De Nicola, Stefan Jähnichen, Martin Wirsing
2020 International Journal on Software Tools for Technology Transfer (STTT)  
It presents the seven contributions of the section and gives a short overview of the field of rigorously engineering collective adaptive systems by structuring it according to three topics: systematic  ...  This paper introduces the special section on "Rigorous Engineering of Collective Adaptive Systems."  ...  The Service Component Ensemble Language (SCEL) [32] has been designed to deal with collective adaptation.  ... 
doi:10.1007/s10009-020-00565-0 fatcat:wudyead6tffhxczdq63ave3lty

A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase

Tomas Bures, Rocco De Nicola, Ilias Gerostathopoulos, Nicklas Hoch, Michal Kit, Nora Koch, Giacoma Valentina Monreale, Ugo Montanari, Rosario Pugliese, Nikola Serbedzija, Martin Wirsing, Franco Zambonelli
2013 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops  
studies of the project.  ...  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  ...  The proposed abstractions are the basis of SCEL (Software Component Ensemble Language) [8] , [9] .  ... 
doi:10.1109/sasow.2013.23 dblp:conf/saso/BuresNGHKKMMPSWZ13 fatcat:i7jr56ul7vf5dg7o5vojqlfjxe

Formalising Adaptation Patterns for Autonomic Ensembles [chapter]

Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, Franco Zambonelli
2014 Lecture Notes in Computer Science  
Autonomic behavior and self-adaptation in software can be supported by several architectural design patterns.  ...  Specifically, we present a compositional approach: first we show how a single generic component is modelled in SCEL, then we show that each pattern is rendered as the (parallel) composition of the SCEL  ...  In the near future, in order to provide a more concrete evidence of the benefits brought by the proposed formalisation, we plan to implement the formalised adaptation patterns considered in this work in  ... 
doi:10.1007/978-3-319-07602-7_8 fatcat:jovjre6ucvhbrfn4jqofxs6wqq

COST IC1404 WG1 Deliverable WG1.1: State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Stefan Klikovits, Rima Al-Ali, Moussa Amrani, Ankica Barisic, Fernando Barros, Dominique Blouin, Etienne Borde, Didier Buchs, Holger Giese, Miguel Goulao, Mauro Iacono, Florin Leon (+3 others)
2019 Zenodo  
It consists of a catalog of formalisms, modelling languages and tools for cyberphysical systems development.  ...  Vandin (2015), The SCEL Language: Design, Implementation, Verification, Springer International Publishing, Cham, pp. 3-71, ISBN 978-3-319-16310-9, doi: 10.1007/978-3-319-16310-9_1. https://doi.org/10.1007  ...  The designed system follows the concepts presented in SCEL, which includes systems consisting of ensembles of components (e.g. DEECo-based systems).  ... 
doi:10.5281/zenodo.2538711 fatcat:itthyvenhfhmdn3f3jap7yf42y

Preface for the 27th Nordic Workshop on Programming Theory (NWPT 2015)

Luca Aceto, Anna Ingolfsdottir
2017 Journal of Logical and Algebraic Methods in Programming  
In his talk, Rocco presented the SCEL language developed by his research group for programming collective adaptive systems and its underlying theory.  ...  interactions, and the uncertainty both at design-time and at run-time.  ...  The implementation of the algorithms is freely available as a part of the model checker TAPAAL, which we encourage you to try.  ... 
doi:10.1016/j.jlamp.2017.01.001 fatcat:jo7r7geqqnfublut2yry3ki23u

Towards adaptive multi-robot systems: self-organization and self-adaptation

Christopher-Eyk Hrabia, Marco Lützenberger, Sahin Albayrak
2018 Knowledge engineering review (Print)  
The reason for this is that system designers are not able to fully specify the system during specification and development and before it is being deployed.  ...  The development of complex systems ensembles that operate in uncertain environments is a major challenge.  ...  Acknowledgement The authors thank all reviewers and editors for comments that greatly improved the manuscript.  ... 
doi:10.1017/s0269888918000176 fatcat:ryxqd3qmkbe7xeg5cok43wrs7m

Autonomic Computing: A Framework to Identify Autonomy Requirements

Mona A. Yahya, Manal A. Yahya, Ajantha Dahanayake
2013 Procedia Computer Science  
The findings shall ease the understanding of the complex problem of capturing Adaptive requirements.  ...  With that growth, the challenge of operating and maintaining them increased.  ...  These challenges are manifested in all development stages: design, implementation, testing, and verification and validation. Autonomic computing design is a current research topic.  ... 
doi:10.1016/j.procs.2013.09.267 fatcat:4eeyafbie5bp3nb6qogqsulixm

Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling [article]

Roberto Casadei
2022 arXiv   pre-print
Macroprogramming refers to the theory and practice of conveniently expressing the macro(scopic) behaviour of a system using a single program.  ...  Macroprogramming approaches are motivated by the need of effectively capturing global/system-level aspects and the collective behaviour of a set of interacting components, while abstracting over low-level  ...  Languages exist for specification, design, implementation, and verification of software, and contribute to a vision of language-based software engineering (Gupta, 2015) , which promotes the use of high-level  ... 
arXiv:2201.03473v1 fatcat:5c3fthlzind63pqngqxahlsxum
« Previous Showing results 1 — 15 out of 54 results