Results 31 to 40 of about 24,109,276 (315)
Transforming BPMN Processes to SBVR Process Rules with Deontic Modalities
Applied Sciences, 2022 The Object Management Group (OMG) has put considerable effort into the standardization of various business modeling aspects within the context of model-driven systems development. Indeed, the Business Process Model and Notation (BPMN) is now arguably the
Tomas Skersys +3 more
doaj +1 more source
Expressive and Efficient Model Transformation with an Internal DSL of Xtend
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018 Model transformation (MT) of very large models (VLMs), with millions of elements, is a challenging cornerstone for applying Model-Driven Engineering (MDE) technology in industry.
A. Boronat
semanticscholar +1 more source
Improvement of the Two-Hemisphere Model-Driven Approach for Generation of the UML Class Diagram
Applied Computer Systems, 2013 In this paper an ability to apply the two-hemisphere model-driven approach for creation of the UML class diagram is discussed and the way to avoid the limitations of the approach is offered.
Nikiforova Oksana +3 more
doaj +1 more source
Recovery And Migration Of Application Logic From Legacy Systems
Computer Science, 2012 Future Internet technologies necessitate dramatic changes in system design, deliveryand usage patterns. For many legacy applications it means that their furtherdevelopment and transition to the Internet becomes problematic or evenimpossible due to the ...
Wiktor Nowakowski +4 more
doaj +1 more source
Model Transformation as Conservative Theory-Transformation. [PDF]
The Journal of Object Technology, 2020 Model transformations play a central role in model-driven software development. Hence, logical unsafe model transformation can result in erroneous systems. Still, most model transformations are written in languages that do not provide built-in safeness guarantees.We present a new technique to construct tool support for domain-specific languages (DSLs ...
Brucker, AD, Tuong, F, Wolff, B
openaire +2 more sources
On the Achievable Stabilization Delay Margin for Linear Plants with Time-Varying Delays
Mathematics, 2017 The paper contributes to stabilization problems of linear systems subject to time-varying delays. Drawing upon small gain criteria and robust analysis techniques, upper and lower bounds on the largest allowable time-varying delay are developed by using ...
Jing Zhu
doaj +1 more source
Computer Sciences & Mathematics Forum, 2023 Recommender Systems (RSs) have become essential for suggesting personalized recommendations to users across various fields, especially in tourism. Due to the rising popularity of mobile devices, mobile RSs have emerged as a potential research area ...
Loubna Mamad +3 more
doaj +1 more source
Expressing Confidence in Models and in Model Transformation Elements
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018 The expression and management of uncertainty, both in the information and in the operations that manipulate it, is a critical issue in those systems that work with physical environments.
Loli Burgueño +3 more
semanticscholar +1 more source
Transformation-Consistent Self-Ensembling Model for Semisupervised Medical Image Segmentation [PDF]
IEEE Transactions on Neural Networks and Learning Systems, 2019 A common shortfall of supervised deep learning for medical imaging is the lack of labeled data, which is often expensive and time consuming to collect. This article presents a new semisupervised method for medical image segmentation, where the network is
X. Li +4 more
semanticscholar +1 more source
A Model Transformation Method Based on Simulink/Stateflow for Validation of UML Statechart Diagrams
MathematicsA model transformation method based on state refinement and semantic mapping is proposed to address the challenges of high modeling complexity and resource consumption in symbolic validation of industrial software requirements.
Runfang Wu, Ye Du, Meihong Li
doaj +1 more source