Filters








17 Hits in 7.0 sec

CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems [chapter]

Jane Hillston, Michele Loreti
2016 Lecture Notes in Computer Science  
CARMA Eclipse plug-in An Eclipse plug-in for supporting the specification and analysis of CAS in CARMA has been developed. A screenshot of the plug-in is presented in Figure 1 .  ...  An Eclipse plug-in, integrating an editor, static analysis tools and various views on a model, has also been developed.  ... 
doi:10.1007/978-3-319-43425-4_12 fatcat:6xwnhusqm5a3lbutanjvfaurhq

Modelling movement for collective adaptive systems with CARMA

Natalia Zoń, Vashti Galpin, Stephen Gilmore
2016 Electronic Proceedings in Theoretical Computer Science  
Space and movement through space play an important role in many collective adaptive systems (CAS).  ...  The CARMA language and its associated software tools can be used to model such systems.  ...  Acknowledgements: This work is supported by the EU project QUANTICOL, 600708. We thank the anonymous reviewers for many helpful comments which encouraged us to improve the paper.  ... 
doi:10.4204/eptcs.217.6 fatcat:yv3ylpf2m5blzncmwg5gxuxqqa

Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools [chapter]

Michele Loreti, Jane Hillston
2016 Lecture Notes in Computer Science  
This chapter presents CARMA, a language recently defined to support specification and analysis of collective adaptive systems, and its tools developed for supporting system design and analysis.  ...  Finally, we show how CARMA and its tools can be used to support specification with a simple but illustrative example of a socio-technical collective adaptive system.  ...  Acknowledgements This work is partially supported by the EU project QUANTICOL, 600708. The authors thank Stephen Gilmore for his helpful comments on the chapter.  ... 
doi:10.1007/978-3-319-34096-8_4 fatcat:lhxp6cbmzzdidh55ompzo5ifsu

Rigorous Graphical Modelling of Movement in Collective Adaptive Systems [chapter]

N. Zoń, S. Gilmore, J. Hillston
2016 Lecture Notes in Computer Science  
In this paper we present a novel software tool which provides a graphical approach to modelling of Collective Adaptive Systems (CAS) with constrained movement.  ...  Formal modelling provides valuable intellectual tools which can be applied to the problem of analysis and optimisation of systems.  ...  This work is supported by the EU QUANTICOL project, 600708. We thank the anonymous referees for many helpful suggestions.  ... 
doi:10.1007/978-3-319-47166-2_47 fatcat:ljeedfgqlraubbspx2rfmkb7ly

Modelling Ambulance Deployment with CarmaCARMA [chapter]

Vashti Galpin
2016 Lecture Notes in Computer Science  
The Eclipse Carma Plug-in is used to simulate the system, and demonstrate its behaviour in different circumstances.  ...  Carma is a process-algebra influenced language for the quantitative modelling of collective adaptive systems which involve collaboration and coordination.  ...  This work is supported by the EU project QUANTICOL, 600708. The author thanks Jane Hillston and Yehia Abd Alrahman for their useful comments.  ... 
doi:10.1007/978-3-319-39519-7_8 fatcat:ih2fwk3jbjhebaiefol2d34ugu

Data-Driven Modelling and Simulation of Urban Transportation Systems Using Carma [chapter]

Natalia Zon, Stephen Gilmore
2018 Lecture Notes in Computer Science  
In this paper we present a Collective Adaptive Systems (CAS) model of an urban transportation system.  ...  We compare aspects of real data collected from a city bus system in the city of Edinburgh, UK, with the results of simulations of the CAS model constructed in the Carma language.  ...  In addition to these analysis tools, the Carma Eclipse Plug-in also provides a data modelling layer on top of the Carma process calculus.  ... 
doi:10.1007/978-3-030-03424-5_18 fatcat:e46i7t4skrdfvftadgrgdijxcm

STATISTICAL ANALYSIS OF Carma MODELS: AN ADVANCED TUTORIAL

Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin
2018 2018 Winter Simulation Conference (WSC)  
The semantics of a CARMA model are given by a continuous-time Markov chain which can be simulated using the CARMA Eclipse Plug-in.  ...  CARMA (Collective Adaptive Resource-sharing Markovian Agents) is a process-algebra-based quantitative language developed for the modeling of collective adaptive systems.  ...  ACKNOWLEDGEMENTS This work is supported by the EU project QUANTICOL, 600708 and the EPSRC Platform Grant EP/N014758/1.  ... 
doi:10.1109/wsc.2018.8632456 dblp:conf/wsc/GalpinGLV18 fatcat:wkbeifq2sfev3lark7ztux3jum

Goals and Resource Constraints in CARMA

Paul Piho, Anastasis Georgoulas, Jane Hillston
2018 Electronical Notes in Theoretical Computer Science  
Carma is a recently developed, high-level quantitative modelling language developed for the design and analysis of collective adaptive systems.  ...  In the current Carma language, agents within a system consist of a behaviour, captured as a process, and knowledge, represented as a store of attributes.  ...  Acknowledgement This work was supported by grant EP/L01503X/1 for the University of Edinburgh School of Informatics Centre for Doctoral Training in Pervasive Parallelism (http://pervasiveparallelism.inf.ed.ac.uk  ... 
doi:10.1016/j.entcs.2018.03.039 fatcat:j5f3i6347zf5fasjcq3avuk7ze

Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools

Vashti Galpin, Natalia Zoń, Pia Wilsdorf, Stephen Gilmore
2018 ACM Transactions on Modeling and Computer Simulation  
In this paper we assess the suitability of the C (Collective Adaptive Resource-sharing Markovian Agents) modelling language for mesoscopic modelling of spatially-distributed systems where the desired model  ...  Mesoscopic modelling of pedestrian movement using C and its tools.  ...  ed in C SL, the language of the C Eclipse Plug-In, a fully-featured modelling and analysis environment for C .  ... 
doi:10.1145/3155338 fatcat:6ugqgbdwcrhbjaoitndzikkyse

Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations [chapter]

Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall
2018 IFIP Advances in Information and Communication Technology  
This mathematical analysis is extended by two tool-based stochastic formal models, one formalized in UPPAAL and the other in CARMA.  ...  We analyse the impacts of two Sneak-Peek mitigations, namely, noise addition and path hopping. We provide a precise mathematical model of the attack and of the effectiveness these defences.  ...  The UPPAAL and CARMA models and experimental data are available at the web site http://groups.inf.ed.ac.uk/security/RasE/.  ... 
doi:10.1007/978-3-319-99828-2_22 fatcat:aw7eaau6avdrtevs6y4zvprnwe

Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems

Cheng Feng, Jane Hillston, Vashti Galpin
2016 ACM Transactions on Modeling and Computer Simulation  
Spatially distributed collective adaptive systems are an important class of systems, which pose significant challenges to modelling due to the size and complexity of their state spaces.  ...  In this paper we present an abstraction technique which automatically derives a moment-closure approximation of the dynamic behaviour of a spatially distributed collective adaptive system from a discrete  ...  The tool is developed as an Eclipse plug-in which is available on https://github.com/cfeng783/paloma/ wiki#the-paloma-eclipse-plug-in.  ... 
doi:10.1145/2883608 fatcat:j5icd55ctjentpjjjpftm6m43e

An empirical study on the impact of AspectJ on software evolvability

Adam Przybyłek
2017 Empirical Software Engineering  
Since a minor language was compared to the mainstream, the experiments were designed so as to anticipate that the participants were much more experienced in one of the treatments.  ...  The overall result indicates that AspectJ has a different effect on two sub-characteristics of the evolvability: understandability and changeability.  ...  Acknowledgments The study is cofounded by the European Union from resources of the European Social Fund.  ... 
doi:10.1007/s10664-017-9580-7 fatcat:g5l456o5pzakljjitvrcx7gopa

Whiteoak

Joseph Gil, Itay Maman
2008 Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '08  
We have developed an Eclipse plug-in that runs JTL queries and presents the result in a dedicated view.  ...  To test this prospect, we developed a collection of JTL patterns that implement the entire set of warnings issued by Eclipse and PMD (a popular open source LINT tool for JAVA).  ...  Finally, here is a rewrite of these two queries this time with the # parameter being explicitly defined and used: Appendix C Micro Pattern Catalog-Addendum Limited Self A class that the methods it  ... 
doi:10.1145/1449764.1449771 dblp:conf/oopsla/GilM08 fatcat:tl6bydglirduzeyp5bpz665acm

Whiteoak

Joseph Gil, Itay Maman
2008 SIGPLAN notices  
We have developed an Eclipse plug-in that runs JTL queries and presents the result in a dedicated view.  ...  To test this prospect, we developed a collection of JTL patterns that implement the entire set of warnings issued by Eclipse and PMD (a popular open source LINT tool for JAVA).  ...  Finally, here is a rewrite of these two queries this time with the # parameter being explicitly defined and used: Appendix C Micro Pattern Catalog-Addendum Limited Self A class that the methods it  ... 
doi:10.1145/1449955.1449771 fatcat:gehhgajvmbaljjcuma72fm57ay

Domain-specific languages for modeling and simulation

Tom Warnke
2020
This thesis explores the potential of employing DSLs in modeling and simulation.  ...  We study different DSL design and implementation techniques and illustrate their benefits for expressing simulation models as well as simulation experiments with several examples.  ...  Acknowledgements I would have never finished this thesis without the support and assistance of many people. First and foremost, I want to thank my supervisor Prof. Lin Uhrmacher.  ... 
doi:10.18453/rosdok_id00002966 fatcat:44xl3g5wbjgs5gvqcz6tqb5osa
« Previous Showing results 1 — 15 out of 17 results