Filters








80 Hits in 2.9 sec

Executing Multilevel Domain-Specific Models in Maude

Alejandro Rodríguez, Francisco Durán, Adrian Rutle, Lars Michael Kristensen
2019 Journal of Object Technology  
In this paper, we propose an approach to achieve reusability and flexibility in specifying and executing multilevel model transformations.  ...  Multilevel modelling (MLM) tackles the limitation in the number of abstraction levels present in traditional modelling approaches within the model-driven software engineering (MDSE) field.  ...  Journal of Object Technology, vol. 18, no. 2, 2019 Executing Multilevel Domain-Specific Models in Maude · 21  ... 
doi:10.5381/jot.2019.18.2.a4 fatcat:aeuvly3ygfgn3n755rdj45aaoy

Empowering Multilevel DSMLs with Integrated Runtime Verification [article]

Fernando Macías, Adrian Rutle, Volker Stolz, Torben Scheffel, Malte Schmitz
2020 arXiv   pre-print
Within Model-Driven Software Engineering, Domain-Specific Modelling has proven to be a powerful technique to specify systems and systems' behaviour in a formal, yet understandable way.  ...  In this paper, we present an approach to combine MLM and RV with an example from the domain of distributed real-time systems.  ...  We believe that domain-specific (meta)modelling (DSMM) [dLGC15, MH10, TK16, KT08] is an approach that could unite software modelling and abstraction, software design and architecture, and organisational  ... 
arXiv:2005.11366v1 fatcat:nzvj3cgvpncrlgfcwlltka53ra

Automated Certification of Non-Interference in Rewriting Logic [chapter]

Mauricio Alba-Castro, María Alpuente, Santiago Escobar
2009 Lecture Notes in Computer Science  
Starting from a basic specification of the semantics of Java written in Maude, we develop an information-flow extension of this operational Java semantics which allows us to observe non-interference of  ...  Then we develop in Maude an abstract, finite-state version of the information-flow operational semantics which supports finite program verification.  ...  In order to motivate the new semantics with appropriate Java examples, let us first briefly recall the Java modeling language JML [21] .  ... 
doi:10.1007/978-3-642-03240-0_16 fatcat:b6witn5lznfahld67y6sepqzom

Multilevel Modelling and Domain-Specific Languages [article]

Fernando Macías
2020 arXiv   pre-print
Domain-Specific Modelling Languages (DSML) aim at involving domain experts with non-technical profiles in that process.  ...  Multilevel Modelling (MLM) approaches provide an unbounded number of levels of abstraction, plus other features that perfectly fit DSMLs.  ...  Summarising, this thesis focuses in the areas of Multilevel Modelling, Model Transformations and Domain-Specific Modelling Languages.  ... 
arXiv:1910.03313v2 fatcat:gw6zslbtxbdnfl5gyrdie46sbq

Abstract Certification of Global Non-Interference in Rewriting Logic [article]

Mauricio Alba-Castro, and Santiago Escobar ELP-DSIC, U. Politécnica de Valencia, Spain. alpuente,sescobar@dsic.upv.es. U. Autónoma de Manizales, Colombia. malba@autonoma.edu.co)
2010 arXiv   pre-print
Starting from an existing Java semantics specification written in Maude, we develop an extended, information-flow Java semantics that allows us to correctly observe global non-interference policies.  ...  In this paper, we present a novel security model for global non-interference which approximates non-interference as a safety property.  ...  The Java semantics is a specification in Maude.  ... 
arXiv:1006.4304v1 fatcat:acvkz35d7jewfmbm6sfkiihswa

Generic and Meta-transformations for Model Transformation Engineering [chapter]

Dániel Varró, András Pataricza
2004 Lecture Notes in Computer Science  
(i.e., it is easier to develop tools that execute operational transformations).  ...  The Model Driven Architecture necessitates not only the application of software engineering disciplines to the specification of modeling languages (language-ware) but also to design inter and intralanguage  ...  This paper was influenced by several fruitful discussions at the Dagstuhl Seminar on Language Engineering in the Model Driven Architecture (March 2004).  ... 
doi:10.1007/978-3-540-30187-5_21 fatcat:w3ueuz6cabff3hb7lvbqynwlfu

Proceedings of the Third Workshop on Formal Integrated Development Environment

Kim G. Larsen
2017 Electronic Proceedings in Theoretical Computer Science  
I have started this work together with ZoltánÉsik when I visited him in Szeged in February 2016. Unfortunately, Zoltán did not live to see it completed.  ...  We would like to put our preliminary results of our proposed approach together and evaluate (1) whether DSE is applicable to SPLs in order to e ciently derive the behavioural changes among di↵erent products  ...  The proposed operational semantics has been implemented in Maude [3] , a high-level declarative language for executable specifications based on rewriting logic.  ... 
doi:10.4204/eptcs.240.0.1 fatcat:imfjolcxmrfm7kqiz523rbyj5i

A Framework for city leadership in multilevel governance settings: the comparative contexts of Italy and the UK

Leslie Budd, Alessandro Sancino
2016 Regional Studies, Regional Science  
This paper discusses the role of city leadership in the current multilevel governance settings and provides a conceptual framework for understanding the main elements of city leadership.  ...  public service delivery; the common trend towards strengthening the executive side of political leadership rather than the representative one; the growing relevance of forms of civic leadership as a trigger  ...  Acknowledgements The authors are grateful for the feedback they received when presenting a version of this paper at the Regional Studies Association (RSA) International Conference in Piacenza, Italy, May  ... 
doi:10.1080/21681376.2015.1125306 fatcat:2idrolf3czazrc2exlgi4cvm6q

An Investigation into Healthcare-Data Patterns

Aaron Boddy, William Hurst, Michael Mackay, Abdennour El Rhalibi, Thar Baker, Casimiro Montañez
2019 Future Internet  
In this paper, an investigation into modelling data flow within healthcare infrastructures is presented; where a dataset from a Liverpool-based (UK) hospital is employed for the case study.  ...  In addition, a filtering algorithm is proposed for noise reduction in the TCP dataset.  ...  Modern malware models in healthcare scenarios become particularly malicious [16] .  ... 
doi:10.3390/fi11020030 fatcat:doojfim7pjbkdkcvgjesrxqu4e

A metaobject architecture for fault-tolerant distributed systems: the FRIENDS approach

J.-C. Fabre, T. Perennou
1998 IEEE transactions on computers  
About Metaobject Development A multilevel approach enables group communications to be disregarded a priori since they are provided by a (next) metalevel.  ...  Nevertheless, we restrict ourselves here to the following properties in the case of hardware fault tolerance and communication security.  ...  ACKNOWLEDGMENTS The authors wish to thank our FRIENDS, Brian Randell, Robert Stroud, and Zhixue Wu in the PDCS and, now, DeVa projects, who participated in the elaboration of these ideas, Paulo Veríssimo  ... 
doi:10.1109/12.656088 fatcat:f5vpg76unbh2jizgwv62cjcbyy

Reliability engineering applications in electronic, software, nuclear and aerospace industries: A 20 year review (2000–2020)

Ahmad Kamal M. Nor, Srinivasa R. Pedapati, Masdi Muhammad
2021 Ain Shams Engineering Journal  
In the general maintenance domain, HRA has only existed in reliability-centric domain and restricted only on human error models and methods [156] .  ...  In fault modelling domain, PoF methods treating temperature related failures are various: Arrhenius Model, Thermo-Mechanical Stress Model, Eyring Model, Peck Model, Reich-Hakim Model and Lawson Model are  ... 
doi:10.1016/j.asej.2021.02.015 fatcat:eteehfrgsrbpdlx3vloyz2h6i4

Protocol for a mixed-method analysis of implementation of case management in primary care for frequent users of healthcare services with chronic diseases and complex care needs

Alya Danish, Maud-Christine Chouinard, Kris Aubrey-Bassler, Fred Burge, Shelley Doucet, Vivian R Ramsden, Mathieu Bisson, Monique Cassidy, Brian Condran, Mireille Lambert, Carla Penney, Véronique Sabourin (+2 others)
2020 BMJ Open  
Dissemination of results is planned and executed based on the needs of various stakeholders involved in the research.  ...  Despite evidence supporting CM and interest in implementing it in Canada, little is known about how to do this.  ...  The constructs are categorised into five major domains that similar to the Valentijn et al 18 framework, reflect a multilevel perspective.  ... 
doi:10.1136/bmjopen-2020-038241 pmid:32487584 fatcat:ixtrprjevfhyvcp3f44oslmg7u

Information leak detection in business process models: Theory, application, and tool support

Rafael Accorsi, Andreas Lehmann, Niels Lohmann
2015 Information Systems  
An extensive evaluation comprising over 550 industrial process models is carried out and shows that information flow analysis of process models can be done in milliseconds.  ...  Despite the correct deployment of access control mechanisms, information leaks can persist and threaten the reliability of business process execution.  ...  The work is partially funded by the German Research Foundation in the project WS4Dsec of the priority program Reliably Secure Software Systems (SPP 1496).  ... 
doi:10.1016/j.is.2013.12.006 fatcat:ev25aru23zeltpr6gb52pkq63i

Sex differences in thickness, and folding developments throughout the cortex

A. Kadir Mutlu, Maude Schneider, Martin Debbané, Deborah Badoud, Stephan Eliez, Marie Schaer
2013 NeuroImage  
Significant sex differences in the trajectories of cortical thickness change with age were evidenced using non-linear mixed effects models.  ...  a r t i c l e i n f o While significant differences in male and female brain structures have commonly been reported, only a few studies have focused on the sex differences in the way the cortex matures  ...  Acknowledgments We are grateful to all the subjects who participated in this study. We thank Sarah Menghetti, Frank Henry, and Yohann Ouvrier-Buffet for their help with data collection.  ... 
doi:10.1016/j.neuroimage.2013.05.076 pmid:23721724 fatcat:cbsxnvrl2vbmhgoxhlv7bmcvxe

Reflective fault-tolerant systems: from experience to challenges

J.C. Ruiz, M. Killijian, J. Fabre, P. Thevenod-Fosse
2003 IEEE transactions on computers  
Two different instances of the specified MOP have been implemented in order to study the impact of different MOP implementations in the development of a reflective fault-tolerant system.  ...  This framework includes: (i) the specification of a MetaObject Protocol suited for the implementation of fault-tolerant systems, and (ii) the definition of a general test strategy to guide its verification  ...  and for various application domains.  ... 
doi:10.1109/tc.2003.1176989 fatcat:w4ej45vo4zgynfgodunojdqu3i
« Previous Showing results 1 — 15 out of 80 results