Filters








2,339 Hits in 3.2 sec

Automatically Bridging UML Profiles to MOF Metamodels

Ivano Malavolta, Henry Muccini, Marco Sebastiani
2015 2015 41st Euromicro Conference on Software Engineering and Advanced Applications  
In general, profiled UML models are very much used since they are intuitive for designers and model editors already exist, however they are intrinsically complex for model manipulation (e.g., transformation  ...  In this paper we propose an approach that allows getting the best of the two worlds: on one side designers can use UML profiles familiar to them, on the other side DSML models (automatically generated  ...  Slicing metamodels. As can be seen in Figure 7a , the slicing algorithm is used at the M2 level by a model-to-model transformation called MMslicer.  ... 
doi:10.1109/seaa.2015.64 dblp:conf/euromicro/MalavoltaMS15 fatcat:hj53ockaqngnzg7egptxavrqqa

Mingling of Program Slicing to Designing Phase

Preeti Sikka, Kulwant Kaur
2016 Indian Journal of Science and Technology  
Mingling of the program slicing with UML model slicing is done by applying the program slicing technique to code related to the remaining relevant model that is extracted from the large software architecture  ...  Findings: Using a case study it is concluded that the complexity of the complete software cycle is reduced as compared to the complexity of program slicing if applied directly to the code.  ...  Step 3: Code Transformation-To transform the Sliced Model to Code: UML Lab offers software developers a complete and reliable adjustment of source code and diagrams 17 .  ... 
doi:10.17485/ijst/2016/v9i44/105091 fatcat:yumgcbcppzcdtn3dgdsgvadjhu

Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams

Asadullah Shaikh, Uffe Kock Wiil
2018 IEEE Access  
Although this work is limited to slicing using model transformation, it reduces the complexity of the model by identifying the elements of interest, which can therefore be used for model transformation  ...  Have you ever used UML/OCL Model as your development methodology? Have you ever transformed any model into code? Yes • No 5) Have you ever transformed a UML/OCL model into code?  ...  His current research topics are UML model verification, UML class diagrams verification with OCL constraints for complex models, formal verification, and feedback technique for unsatisfiable UML/OCL class  ... 
doi:10.1109/access.2018.2797695 fatcat:ysfymg2q7ja6nanwxlg4gndmam

Literature Analysis on Model based Slicing

Rupinder Singh, Vinay Arora
2013 International Journal of Computer Applications  
This literature analysis presents an overview of Model based slicing, including the various general approaches and techniques used to compute slices.  ...  models at the early stage of SDLC (Software Development Life Cycle).  ...  Lano et al. [36] defined the technique for slicing of UML model using Model Transformation, particular for restriction of model to those parts which specifies the properties of subset within.  ... 
doi:10.5120/12155-8185 fatcat:grjopbfjkja47ajvtdhryhleia

A practical approach for model based slicing

Rupinder Singh
2013 IOSR Journal of Computer Engineering  
The proposed methodology use the concept of model based slicing to slice the sequence diagram to extract the desired chunk.  ...  We have presented a novel methodology to extract the sub-model from model diagrams correspond to point of interest to ease the software visualization.  ...  [24] defined the technique for slicing of UML model using Model Transformation, particular for restriction of model to those parts which specifies the properties of subset within.  ... 
doi:10.9790/0661-1241826 fatcat:qzhx6k73jnef7fj22bpctkt4dm

Generation of Test Cases from Sliced Sequence Diagram

Manpreet Kaur, Rupinder Singh
2014 International Journal of Computer Applications  
UML diagrams are vital design and modeling artifacts. These UML models can also be used to create test cases.  ...  The proposed methodology also use the notion of model based slicing to compute the slice of the sequence diagram by extracting the desired chunk.  ...  [21] [22] explain a dynamic backward slicing approach for model transformation programs and their transformed models.  ... 
doi:10.5120/17006-7157 fatcat:iqvymks3efe6jlxxoocdtiuoaq

Slicing-Based Techniques for Visualizing Large Metamodels

Arnaud Blouin, Naouel Moha, Benoit Baudry, Houari Sahraoui
2014 2014 Second IEEE Working Conference on Software Visualization  
In this work, we promote the use of model slicing techniques to build visualization techniques dedicated to metamodels.  ...  In model-driven engineering, a model describes an aspect of a system. A model conforms to a metamodel that defines the concepts and relationships of a given domain.  ...  A modeler has to write a model transformation that generates Java code from UML models. The modeler has already a rough idea of main classes of the UML metamodel required for the transformation.  ... 
doi:10.1109/vissoft.2014.14 dblp:conf/vissoft/BlouinMBS14 fatcat:awszehxz5rgyvk3pxnqyxmmmhq

More Than Two Decades of Research on Verification of UML Class Models: A Systematic Literature Review

Asadullah Shaikh, Abdul Hafeez, Asif Ali Wagan, Mesfer Alrizq, Abdullah Alghamdi, Mana Saleh Al Reshan
2021 IEEE Access  
ACKNOWLEDGMENT The authors would like to express their gratitude to the ministry of education and the deanship of scientific research Najran University Kingdom of Saudi Arabia for their  ...  for the Verification of UML/OCL Specification 2013 07 Contract-Aware Slicing of UML class models 2013 08 On challenges of model transformation from UML to Alloy 2010 09 Incremental Integrity  ...  Year 01 Towards the Use of Slicing Techniques for an Efficient Invariant Checking 2015 02 Using Slicing to Improve the Performance of Model Invariant Checking 2015 03 Development of Consistent  ... 
doi:10.1109/access.2021.3121222 fatcat:j6sritznorajtayufj67blumae

Specification and Verification of Model Transformations Using UML-RSDS [chapter]

Kevin Lano, Shekoufeh Kolahdouz-Rahimi
2010 Lecture Notes in Computer Science  
The use of UML 2 notations to specify model transformations facilitates the integration of model transformations with other software development processes, and the reflexive application of model transformations  ...  In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods.  ...  This set of transformations has been incorporated into the UML-RSDS toolset. Case Study: State Machine Slicing Model transformations can be used to carry out the slicing of UML state machines.  ... 
doi:10.1007/978-3-642-16265-7_15 fatcat:xy5kko6trfgrdc2vw7zklg2tiu

UMLtoCSP (UOST)

Asadullah Shaikh, Uffe Kock Wiil
2012 Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE '12  
In this research, we present a tool named UMLtoCSP (UOST) that uses a UML/OCL Slicing Technique (UOST) to verify complex UML/OCL class diagram.  ...  Model errors are a major concern in the paradigm of Model-Driven Development (MDD) because of model transformations and code generation.  ...  In MDD, Unified Modeling Language/Object Constraint Language (UML/OCL) class diagrams play an important role for model design, analysis, and transformation.  ... 
doi:10.1145/2393596.2393639 dblp:conf/sigsoft/ShaikhW12 fatcat:qsdupgwtvfhfvbsxyeecpibgxy

SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts [chapter]

Sara Van Langenhove, Albert Hoogewijs
2007 Lecture Notes in Computer Science  
Model checking object-based systems designed in UML necessitates the transformation of the statechart diagrams (describing the behavior of the objects) to a verification model.  ...  The SV t L (System Verification through Logic) framework is the core of a slicing-based verification environment for improving the quality of systems whose behavior is designed using UML statechart models  ...  Model checking object-based systems designed in UML necessitates the transformation of the statechart diagrams (describing the behavior of the objects) to a verification model.  ... 
doi:10.1007/978-3-540-71998-4_9 fatcat:qwysce2p4vg27pfa23nraxxx7m

Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams

Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon
2011 Advances in Software Engineering  
Currently, UML/OCL class diagrams are highly used for code generation through several transformations in order to save time and effort of software developers.  ...  Therefore, verification of these class diagrams is essential in order to generate accurate transformations.  ...  Another slicing technique for static and dynamic UML models presents the transformation of a UML architectural model into a model dependency graph (MDG).  ... 
doi:10.1155/2011/370198 fatcat:7htowfoamfamliuxza57pxxxoa

Efficient Verification-Driven Slicing of UML/OCL Class Diagrams

Asadullah Shaikh, Uffe Kock
2016 International Journal of Advanced Computer Science and Applications  
Model defects are a significant concern in the Model-Driven Development (MDD) paradigm, as model transformations and code generation may propagate errors present in the model to other notations where they  ...  The definition of the slicing procedure ensures that the property under verification is preserved after partitioning.  ...  ACKNOWLEDGEMENTS This paper is a revised and extended version of the one presented at Automated Software Engineering (ASE 2010), Antwerp, Belgium had have received 38 citations.  ... 
doi:10.14569/ijacsa.2016.070571 fatcat:7iflosu3nnhrpdjrbqqqpnhjci

Context-free slicing of UML class models

H. Kagdi, J.I. Maletic, A. Sutton
2005 21st IEEE International Conference on Software Maintenance (ICSM'05)  
A concrete application of model slicing in software maintenance is presented to support the usefulness and validity of the method.  ...  The goal of this work is to allow us to automatically extract a pertinent and meaningful UML class diagram from a very large UML class model.  ...  All elements and relationships defined for the UML class models can be used in the computations of a model slice.  ... 
doi:10.1109/icsm.2005.34 dblp:conf/icsm/KagdiMS05 fatcat:l5z2kx7u4jhqle5en6wagpatje

Kompren: modeling and generating model slicers

Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux
2012 Journal of Software and Systems Modeling  
We detail the semantics of the Kompren language and of the model slicer generator. This provides a set of expected properties about the slices that are extracted by the different forms of the slicer.  ...  Among model comprehension tools, model slicers are tools that extract a subset of model elements, for a specific purpose.  ...  The goal of this slicer is two-fold: providing transformation slices depending on the slicing criterion; providing model slices (model footprints) composed the model elements used by the transformation  ... 
doi:10.1007/s10270-012-0300-x fatcat:vrhovuhhi5gunod7e75pri7ydy
« Previous Showing results 1 — 15 out of 2,339 results