Filters








1,659 Hits in 4.7 sec

Model Synchronisation: Definitions for Round-Trip Engineering [chapter]

Thomas Hettel, Michael Lawley, Kerry Raymond
Lecture Notes in Computer Science  
This paper presents a formal definition of round-trip engineering and the semantics of target changes in the context of partial and non-injective transformations.  ...  Following the MDA vision, model transformation is used to support the gradual refinement from abstract models into more concrete models.  ...  Related Work Definitions of Model Round-Trip Engineering To the best of our knowledge, there is only one general formal definition of RTE by Aßman [1] .  ... 
doi:10.1007/978-3-540-69927-9_3 fatcat:dz47yebntzcpbli5h7djzb2tf4

Towards Better Document to Model Synchronisation: Experimentations with a Proposed Architecture

Arnaud Michot, Christophe Ponsard, Quentin Boucher
2018 Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development  
The Model Based Engineering approach is centred around the use of a model repository and a modelling tool.  ...  Towards Better Document to Model Synchronisation: Experimentations with a Proposed Architecture.  ...  We thank Respect-IT for giving us access to their SDK and Obéo for their support about Sirius and M2Doc.  ... 
doi:10.5220/0006687505670574 dblp:conf/modelsward/MichotPB18 fatcat:odbqlrqd5bdfzo4zhaqob3bwtm

TRIPWIRE: A SYNCHRONISATION PRIMITIVE FOR VIRTUAL MEMORY MAPPED COMMUNICATION

DAVID RIDDOCH, STEVE POPE, DEREK ROBERTS, GLENFORD MAPP, DAVID CLARKE, DAVID INGRAM, KIERAN MANSLEY, ANDY HOPPER
2001 Journal of Interconnection Networks (JOIN)  
In this paper we present a new primitive for in-band synchronisation: the Tripwire. Tripwires provide a flexible, efficient and scalable means for synchronisation that is orthogonal to data transfer.  ...  Often this is because the network abstraction is presented at too high a level, and support for synchronisation is inflexible.  ...  Acknowledgements The authors would like to thank all of the members of AT&T Laboratories Cambridge and the Laboratory for Communications Engineering.  ... 
doi:10.1142/s0219265901000439 fatcat:h5vpnsq25bgrrjcowiesa2paai

TRIPWIRE: A SYNCHRONISATION PRIMITIVE FOR VIRTUAL MEMORY MAPPED COMMUNICATION

DAVID RIDDOCH, STEVE POPE, DEREK ROBERTS, DAVID CLARKE, DAVID INGRAM, KIERAN MANSLEY, ANDY HOPPER
2000 Algorithms and Architectures for Parallel Processing  
In this paper we present a new primitive for in-band synchronisation: the Tripwire. Tripwires provide a flexible, efficient and scalable means for synchronisation that is orthogonal to data transfer.  ...  Often this is because the network abstraction is presented at too high a level, and support for synchronisation is inflexible.  ...  Acknowledgements The authors would like to thank all of the members of AT&T Laboratories Cambridge and the Laboratory for Communications Engineering.  ... 
doi:10.1142/9789812792037_0006 fatcat:oe5ojw6anndq3hdqr553nemoka

Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)

Anthony Cleve, Ekkart Kindler, Perdita Stevens, Vadim Zaytsev, Michael Wagner
2019 Dagstuhl Reports  
synchronisations and sketch a road map for developing relevant concepts, theories and tools.  ...  Bx technologies have been developed for practical engineering purposes in many diverse fields.  ...  Open problems: Up to now, however, there is no general solution (based on bx-methods) for appropriate update propagation and consistency restoration, if n > 2.  ... 
doi:10.4230/dagrep.8.12.1 dblp:journals/dagstuhl-reports/CleveKSZ18 fatcat:mdln6uhtojam3gjmyqxr4wxmoq

No-boarding buses: Synchronisation for efficiency [article]

Vee-Liem Saw, Lock Yue Chew
2019 arXiv   pre-print
We investigate a no-boarding policy in a system of N buses serving M bus stops in a loop, which is an entrainment mechanism to keep buses synchronised in a reasonably staggered configuration.  ...  We let buses move with the same natural speed (applicable to programmable self-driving buses) and analytically calculate the average waiting time experienced by passengers waiting at the bus stop for a  ...  to set any value as desired for the model.  ... 
arXiv:1905.07613v1 fatcat:dt2llxwy3vabjba546u3p2yxle

Chirped Frequency Transfer with an accuracy of 10^-18 and its Application to the Remote Synchronisation of Timescales [article]

S. M. F. Raupach, G. Grosche
2014 arXiv   pre-print
In a second step, we demonstrate the remote measurement of synchronisation taking advantage of chirped-frequency transfer. The uncertainty of time transfer here is around 500 ps.  ...  Financial support by the European Metrology Research Programme (SIB-02, "NEAT-FT") and the Centre for Quantum Engineering and Space-Time Research QUEST is gratefully acknowledged.  ...  Misera for excellent technical support.  ... 
arXiv:1308.6725v3 fatcat:wqkvrvrhlncxhbc5v4nkwwl6mu

Towards Model Round-Trip Engineering: An Abductive Approach [chapter]

Thomas Hettel, Michael Lawley, Kerry Raymond
2009 Lecture Notes in Computer Science  
Providing support for reversible transformations as a basis for round-trip engineering is a significant challenge in model transformation research.  ...  In this paper, we present a novel approach to round-trip engineering that does not place restrictions on the nature of the underlying transformation.  ...  Conclusion and Future Work In this paper we presented a novel approach to model round-trip engineering based on abductive logic programming.  ... 
doi:10.1007/978-3-642-02408-5_8 fatcat:lccgzi75wnbhnpjhextde2pssu

Modeling Modeling [chapter]

Pierre-Alain Muller, Frédéric Fondement, Benoît Baudry
2009 Lecture Notes in Computer Science  
Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molière's Monsieur Jourdain was using prose  ...  At the heart of modeling, there is a relation that we establish to represent something by something else. In this paper we review various definitions of models and relations between them.  ...  Using causality to model round-trip engineering Model-Based Testing Model-based testing is performed by generating test cases that can be used to test the program.  ... 
doi:10.1007/978-3-642-04425-0_2 fatcat:w5u6fr4msja7pmeg3thbyt7yqa

Modeling modeling modeling

Pierre-Alain Muller, Frédéric Fondement, Benoît Baudry, Benoît Combemale
2010 Journal of Software and Systems Modeling  
We also define a structural definition for this language in the form of a metamodel and a formal interpretation using Prolog. Hence, this paper is a contribution towards a theory of modeling.  ...  Model-driven engineering and model-based approaches have permeated all branches of software engineering to the point that it seems that we are using models, as Molière's Monsieur Jourdain was using prose  ...  The causal nature of the relation implies that the model is always up-to-date. Figure 12 : 12 Using causality to model round-trip engineering 6.6.  ... 
doi:10.1007/s10270-010-0172-x fatcat:azcstbfysrcsvdiqyt5zmxwwoa

Automating Model Transformations for Railway Systems Engineering

Nils Weidmann, Shubhangi Salunkhe, Anthony Anjorin, Enes Yigitbas, Gregor Engels
2021 Journal of Object Technology  
In the currently applied completely manual development process, engineers (i) create models using SysML, (ii) translate relevant parts of these models to Event-B for verification, (iii) possibly improve  ...  Model-Based Systems Engineering (MBSE) enables system development and analysis on a suitable level of abstraction.  ...  We would also like to thank our anonymous reviewers for their helpful comments and suggestions.  ... 
doi:10.5381/jot.2021.20.3.a10 fatcat:4r3niallsbcyjlsdk2fcrz3o5y

Concurrent Development of Model and Implementation [article]

A.Gravell and Y. Howard and J.C. Augusto and C. Ferreira and S. Gruner
2011 arXiv   pre-print
Recommendations are therefore made for future improvements to tools supporting formal models which would, in principle, make this co-evolutionary approach attractive to industrial software developers.  ...  Some successes are reported, notably in the use of rapid throwaway modelling to investigate design alternatives, and also in the use of close team working and modelbased trace-checking to maintain synchronisation  ...  executable subsets exist, round-trip code generation, to synchronise model and code, and to allow developers to edit generated code 8/8 • a suite of tools supporting animation, model-checking, automated  ... 
arXiv:1111.2826v1 fatcat:svy5mu2fmze2dddyndsizommo4

Round-trip support for extra-functional property management in model-driven engineering of embedded systems

Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin
2013 Information and Software Technology  
Method: Following the model-driven engineering vision, (meta-) models and transformations are used as main artefacts for the realisation of the round-trip support which is finally validated against an  ...  Context: In order for model-driven engineering to succeed, automated code generation from models through model transformations has to guarantee that extra-functional properties specified at design level  ...  Acknowledgements The research work presented in this paper has been supported by the CHESS Project (Composition with Guarantees for Highintegrity Embedded Software Components Assembly, ARTEMIS Joint Undertaking  ... 
doi:10.1016/j.infsof.2012.07.014 fatcat:2i53h4g2arg6jcxyy3pkorbrdi

Notes on Model Driven Engineering [article]

Marco Craveiro
2021 Zenodo  
MDE (Model Driven Engineering) is an established approach for the engineering of software systems.  ...  The target audience for this work are experienced software engineers with little to no knowledge of model driven techniques, and practitioners who wish to revisit the fundamentals.  ...  Both approaches show a great deal of promise but, given their limited application at present, we declined to investigate them further. most difficult of all scenarios is Round-Trip Engineering (RTE), in  ... 
doi:10.5281/zenodo.5789846 fatcat:ul3edvng3vanpbh65np3oaac5y

Evolving models in Model-Driven Engineering: State-of-the-art and future challenges

Richard F. Paige, Nicholas Matragkas, Louis M. Rose
2016 Journal of Systems and Software  
The artefacts used in Model-Driven Engineering (MDE) evolve as a matter of course: models are modified and updated as part of the engineering process; metamodels change as a result of domain analysis and  ...  standardisation efforts; and the operations applied to models change as engineering requirements change.  ...  The authors thank the editors for their feedback and for the invitation to write this article.  ... 
doi:10.1016/j.jss.2015.08.047 fatcat:7liqllsefbf57cjtgurdyimw4u
« Previous Showing results 1 — 15 out of 1,659 results