Filters








29 Hits in 2.6 sec

A Bottom-Up Quality Model for QVTo

Christine M. Gerpheide, Ramon R.H. Schiffelers, Alexander Serebrenik
2014 2014 9th International Conference on the Quality of Information and Communications Technology  
The primary contribution of this paper is a QVTo quality model relevant to QVTo practitioners, while secondary contributions are a bottom-up approach to building a quality model and a validation approach  ...  We utilize a bottom-up approach, starting with a broad exploratory study including QVTo expert interviews, a review of existing material, and introspection.  ...  Due to our bottom-up approach, the QVTo quality model presented here captures the aspects most relevant for QVTo quality in practice today.  ... 
doi:10.1109/quatic.2014.18 dblp:conf/quatic/GerpheideSS14 fatcat:fthiuuxz4ravhlzhn5sov4qep4

Assessing and improving quality of QVTo model transformations

Christine M. Gerpheide, Ramon R. H. Schiffelers, Alexander Serebrenik
2015 Software quality journal  
Secondary contributions are a bottom-up approach to building a quality model, a validation approach leveraging developer perceptions to evaluate quality properties, code test coverage criteria for QVTo  ...  We then formalize QVTo transformation quality into a QVTo quality model. The quality model is validated through a survey of a broader group of QVTo developers.  ...  Formalizing QVTo quality To identify the most important aspects for QVTo quality, we follow a bottom-up approach based on grounded theory (Seaman 1999) .  ... 
doi:10.1007/s11219-015-9280-8 fatcat:ksygotajnnbj7mk6ps7q6sovqa

Getting a cohesive answer from a common start: Scalable multidisciplinary analysis through transformation of a systems model

B. Cole, S. H. Chung
2012 2012 IEEE Aerospace Conference  
encouraged to modify Composition MEL Rollup moves from top to bottom Work MEL Rollup looks for leaves and then gets count by looking up composition tree (e.g, 6 PDUs in this case)  ...  old models into new ones -Synchronized by construction -Leverages redundancies for efficiency rather than getting bogged down in continuous synchronization and consistency efforts A simple transformation  ...  Important Steps Forward • Need to enlarge the QVTo community of practice if we intend to go forward with it as a technology • Need to adapt transformation from a computer science "dark art" into systems-compatible  ... 
doi:10.1109/aero.2012.6187336 fatcat:ugyg6sh3ubdgpczohmilmzrwzu

Extracting business vocabularies from business process models: SBVR and BPNM standards-based approach

Tomas Skersys, Kestutis Kapocius, Rimantas Butleris, Tomas Danikauskas
2014 Computer Science and Information Systems  
The approach is based on novel business modeling-level OMG standards "Business Process Model and Notation" (BPMN) and "Semantics for Business Vocabularies and Business Rules" (SBVR), thus contributing  ...  In this paper, aspects of the approach for semi-automatic extraction of business vocabularies (BV) from business process models (BPM) are presented.  ...  The source model can be viewed as a tree-like structure, so the transformation program code must enable traversing this structure from top to bottom.  ... 
doi:10.2298/csis140106079s fatcat:xwk5k2it6zafxkvtum6lojdovq

A Domain-aware Framework for Integrated Model-based System Analysis and Design

Adrian Rumpold, Reinhard Pröll, Bernhard Bauer
2017 Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development  
Based on this conceptual modeling approach, we introduce a framework for automated model-based analysis of integrated system models.  ...  A case study demonstrates the suitability of this modeling and analysis approach for the design of a safety-critical embedded system, a hypothetical gas heating burner. 157  ...  ACKNOWLEDGEMENTS The research in this paper was funded by the German Federal Ministry for Economic Affairs and Energy under the Central Innovation Program for SMEs (ZIM), grant numbers KF 2751303LT4 and  ... 
doi:10.5220/0006206301570168 dblp:conf/modelsward/RumpoldPB17 fatcat:flc6p7vvx5eevdmvxdknel6ata

Applying Integrated Domain-Specific Modeling for Multi-concerns Development of Complex Systems [chapter]

Reinhard Pröll, Adrian Rumpold, Bernhard Bauer
2018 Communications in Computer and Information Science  
A case study demonstrates the suitability of this methodology for the design of a safety-critical embedded system, a hypothetical gas heating, with respect to reliability engineering and further quality  ...  In order to overcome these shortcomings of current engineering practice, we propose a holistic, model-based architecture and analysis framework for seamless design, analysis, and evolution of integrated  ...  Acknowledgements The research in this paper was funded by the German Federal Ministry for Economic Affairs and Energy under the Central Innovation Program for SMEs (ZIM), grant numbers KF 2751303LT4 and  ... 
doi:10.1007/978-3-319-94764-8_11 fatcat:3rn7gmgatngu7jwqkcovovkyxa

Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets

Abel Gómez, Ricardo J. Rodríguez, María-Emilia Cambronero, Valentín Valero
2019 Journal of Software and Systems Modeling  
Hence, our model-to-model transformation tool allows for simulating the system and finding design errors in early stages of system development, which enables us to fix them at these early phases and thus  ...  This profile is exploited to automatically obtain a representation of the system based on Colored Petri nets using a novel model-to-model (M2M) transformation.  ...  developed in the context of this work, and make our toolset for the modeling and transformation of the publish/subscribe paradigm up.  ... 
doi:10.1007/s10270-019-00716-1 fatcat:ecevufmpsrdrjglbddn4dbdlnu

A Service-Oriented Component-Based Framework for Dynamic Reconfiguration Modeling Targeting SystemC/TLM

Khaled Allem, El-Bay Bourennane, Youcef Khelfaoui, João Cardoso
2021 International Journal of Reconfigurable Computing  
In this context, model-driven engineering (MDE) provides support to build and transform precise and structured models for a particular purpose at different levels of abstraction.  ...  To achieve a high degree of expressiveness for modeling dynamic reconfiguration, we use a suitable software engineering approach based on service-oriented component architecture.  ...  Following a bottom-up approach (driven from the SystemC platform), it reviews the most important solutions for modeling Dynamically Reconfigurable Systems with SystemC and UML.  ... 
doi:10.1155/2021/5584391 fatcat:okujjxplungfffx4z63t3kdsae

Towards Abstract Test Execution in Early Stages of Model-driven Software Development

Noël Hagemann, Reinhard Pröll, Bernhard Bauer
2020 Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development  
While many process steps are applicable to the model-level, there are no sufficient realizations for test execution yet.  ...  Our concept challenges an abstract test case (derived from test model) against a system model utilizing an integrated set of domain-specific models, i.e. the omni model.  ...  ACKNOWLEDGEMENTS The research in this paper was funded by the German Federal Ministry for Economic Affairs and Energy under the Central Innovation Program for SMEs (ZIM), grant number 16KN044137.  ... 
doi:10.5220/0008934802160226 dblp:conf/modelsward/HagemannPB20 fatcat:mcebirrqqzgr7dlt73jegonfw4

Design space abstraction and metamodeling for embedded systems design space exploration

Marcio F. S. Oliveira, Francisco A. Nascimento, Wolfgang Mueller, Flávio R. Wagner
2010 Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - MOMPES '10  
In this paper, we present a design space exploration (DSE) method for embedded systems, which represents the design space as a categorical graph product, in order to overcome the challenge of performing  ...  Moreover, the method adopts a Model-Driven Engineering (MDE) approach, defining a design space metamodel to represent the categorical graph product and other DSE concepts, such as solutions, costs, and  ...  Actually, these rules can be implemented in any model-tomodel transformation language, as QVTo, QVTr, Xtend, ATL, and others.  ... 
doi:10.1145/1865875.1865880 dblp:conf/mompes/OliveiraN0W10 fatcat:pbqrh7wa3vaaxffn5sia4ddqom

Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation

Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatie, Eric Rutten, Samy Meftali, Jean Luc Dekeyser
2010 International Journal of Embedded Systems  
This paper presents a novel approach for addressing system adaptivity and reconfigurability. A generic model of reactive control is presented in a SoC co-design framework: Gaspard2.  ...  Our contributions thus relate to presenting a complete design flow to move from high level MARTE models to automatic code generation, for implementation of dynamically reconfigurable SoCs.  ...  For model transformations, Gaspard2 adapts QVTO as the de-facto tool for model transformations. It should be made evident that current model transformations are only uni-directional in nature.  ... 
doi:10.1504/ijes.2010.039025 fatcat:rd4ipbnuwzdapbfsfmlomjovky

Assessing and improving the quality of model transformations [article]

Amstel, MF (Marcel) Van, Brand, MGJ (Mark) Van Den, Serebrenik, A (Alexander)
2012
For ATL this extraction is implemented as an ATL model transformation, for QVTO as a QVTO model transformation, and for Xtend as a Java program.  ...  In the bottom part of the image, the model transformation is shown. The bottom row is for grouping all the modules of the transformation, it is labeled Transformation.  ...  A model transformation is a mapping from a set of source models to a set of target models defined as a set of transformation rules. MDE is gradually being adopted by industry.  ... 
doi:10.6100/ir719526 fatcat:ctstq2bkkzf2jeppoqklufbvwy

Empowering OCL research: a large-scale corpus of open-source data from GitHub

Josh G. M. Mengerink, Jeroen Noten, Alexander Serebrenik
2018 Empirical Software Engineering  
For his PhD, Josh studies evolution of model-driven domain-specific languages, and maintenance of their related programs (i.e. models).  ...  In addition to his doctoral research, Josh is (co-)founder of several software start-ups ranging from information systems to visual analytics.  ...  creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a  ... 
doi:10.1007/s10664-018-9641-6 fatcat:izvxsknlsfd2bfxbvaa5dfueou

Extracting business vocabularies from business process models: SBVR and BPMN standards-based approach

Tomas Skersys, Rimantas Butleris, Kestutis Kapocius
2013
The approach is based on novel business modeling-level OMG standards "Business Process Model and Notation" (BPMN) and "Semantics for Business Vocabularies and Business Rules" (SBVR), thus contributing  ...  In this paper, aspects of the approach for semi-automatic extraction of business vocabularies (BV) from business process models (BPM) are presented.  ...  The source model can be viewed as a tree-like structure, so the transformation program code must enable traversing this structure from top to bottom.  ... 
doi:10.1063/1.4825493 fatcat:pxikzubd3zdmbjefzoljqq5elu

Reflections on OCL 2

Ed Willink
2020 Journal of Object Technology  
However despite these flaws, OCL remains the language of choice for specifying model constraints.  ...  Twenty years after the OCL 2.0 Request For Proposals, it is perhaps long overdue for a review as to how well the resulting semi-formal OCL 2 specification makes the informal OCL 1 specification more precise  ...  Acknowledgments Many thanks to Horacio Hoyos Rodriguez and the anonymous reviewers for helpful comments on an inadequate initial submission.  ... 
doi:10.5381/jot.2020.19.3.a17 fatcat:en3ewp4cire6vdnho7w2pya2a4
« Previous Showing results 1 — 15 out of 29 results