526 Hits in 11.3 sec

Relationships between UML Sequence Diagrams and the Topological Functioning Model for Backward Transformation

Viktoria Ovchinnikova, Erika Asnina, Vicente García-Díaz
2014 Applied Computer Systems  
A Topological Functioning Model (TFM) will be considered as a formal CIM, and UML sequence diagrams - as a behavioral PIM/PSM of the software system.  ...  The paper presents a short overview of the TFM and sequence diagrams with their constructs, as well as the example of transformation from the sequence diagrams to the TFM.  ...  RELATIONSHIPS BETWEEN THE TOPOLOGICAL FUNCTIONING MODEL AND THE UML SEQUENCE DIAGRAM The UML sequence diagrams can specify interactions between objects, showing the order of these interactions and, hence  ... 
doi:10.1515/acss-2014-0012 fatcat:r774kzq66jgsjgmhqu7vumaumu

Obtaining and Visualization of the Topological Functioning Model from the UML Model

Viktoria Ovchinnikova
2015 Applied Computer Systems  
A short overview and an example of obtaining the domain model, Topological Functioning Model (TFM), from source code are provided in the paper.  ...  Positive and negative effects of the process of TFM backward derivation are also discussed.  ...  Similarities and relationships between UML sequence diagrams and the TFM elements are provided in [2] , [18] .  ... 
doi:10.1515/acss-2015-0018 fatcat:qdosb7mhkrebzcnoodzwqm3dve

Problems and Solutions by Using the Integrated Domain Modeling Toolset

Kelly Verónica Fernández Céspedes
2015 Applied Computer Systems  
This paper recognizes the computation independent nature of a Topological Functioning Model and suggests it to be used as a CIM within a Model Driven Architecture.  ...  The author of this paper shares her experience of using the toolset and mentions several lessons learned during the usage process as well as her suggestions for improvements.  ...  functional features; 5) transforming the TFM to a UML (as a UML profile).  ... 
doi:10.1515/acss-2015-0011 fatcat:2phvurnj2nhhddi2uprlxkh2bm

UML Diagram Layouting: the State of the Art

Arthur Galapov, Oksana Nikiforova
2011 Scientific Journal of Riga Technical University Computer Sciences  
UML Diagram Layouting: the State of the Art The usual aim of the modern computer-aided system modelling is to improve a connection between software model and code components.  ...  Authors of this paper describe some concepts, which are currently being considered in the area of diagram layouting and indicate several problems and their potential solutions for use in the development  ...  Usually sequence diagram is converted into communication diagram and backwards. In every tool transformed diagram's logic stays the same but its element layout differs.  ... 
doi:10.2478/v10143-011-0027-0 fatcat:by5lcw4akrauvnljspfaatar3y

Comprehensiveness of UML in Reservoir Automation System Using Zigbee and GSM

Umasankar Ch
2013 IOSR Journal of Electronics and Communication Engineering  
Rapid development of automation and measuring techniques have left no clues what so ever for automatic recording of the data in the meter reading instruments in every field.  ...  This Paper proposes a novel method for measuring the water level in the reservoirs which collects the data from different Zigbee nodes at the project site and through a GSM Module it is transported to  ...  Acknowledgements The authors would like to thank the anonymous reviewers for their comments which were very helpful in improving the quality and presentation of this paper.  ... 
doi:10.9790/2834-0826470 fatcat:hrgcpdhhhfef3fk5sbb6yjwkhu

Verification and Trade-Off Analysis of Security Properties in UML System Models

Geri Georg, Kyriakos Anastasakis, Behzad Bordbar, Siv Hilde Houmb, Indrakshi Ray, Manachai Toahchoodee
2010 IEEE Transactions on Software Engineering  
We advocate the use of the Aspect-Oriented Risk-Driven Development (AORDD) methodology for developing secure systems.  ...  The trade-off analysis uses a Bayesian Belief Network topology to allow equally effective security mechanisms to be compared against system security requirements and other factors such as time-to-market  ...  ACKNOWLEDGMENTS This work was partially supported by the US Air Force Office of Scientific Research under Award No. FA9550-07-1-0042.  ... 
doi:10.1109/tse.2010.36 fatcat:dfgulm5sofbdtgo36y2xo2nyd4

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools [chapter]

Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell
2008 Lecture Notes in Computer Science  
Graph transformation provides an intuitive mechanism for capturing model transformations.  ...  In the current paper, we investigate and compare various graph transformation tools using a compact practical model transformation case study carried out as part of the AGTIVE 2007 Tool Contest [22] .  ...  For example the corresponding element between an Edge of activity diagram and a Process of CSP is the ProcEdge.  ... 
doi:10.1007/978-3-540-89020-1_36 fatcat:xwbyon5u6vc5rh6eg2o5y476uy

Symbolic invariant verification for systems with dynamic structural adaptation

Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
The system state is modeled as a graph, system transitions are modeled as rule applications in a graph transformation system, and safety properties of the system are encoded as inductive invariants (permitting  ...  Testing cannot provide safety guarantees, while current model checking and theorem proving techniques do not scale for such systems.  ...  We model the ontology of the system using UML class diagrams. Figure 1 specifies the physical entities of the system -shuttle agents and tracks-and their relationships.  ... 
doi:10.1145/1134285.1134297 dblp:conf/icse/BeckerBGKS06 fatcat:zikgtsesvvcahjbctzxtcfbi6i

Towards user-centric concrete model transformation

I. Avazpour
2012 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)  
This specification technique provides pragmatic barriers for users of model transformations and prevents them from adapting MDE technologies.  ...  These abstractions are very different from concrete visual representation of source and target models and low level coding is hard to specify and maintain, especially for novice users.  ...  DiaGen uses hyper-graphs for language definition and describes a diagram as a set of diagram components and the relationships between attachment areas of connected components of the model.  ... 
doi:10.1109/vlhcc.2012.6344520 dblp:conf/vl/Avazpour12 fatcat:izqupk5eubhalhgrfahy7y3cbm

Feature-based classification of bidirectional transformation approaches

Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu
2015 Journal of Software and Systems Modeling  
This paper tries to clarify and visualize the space of design choices for bidirectional transformations from an MDE point of view, in the form of a feature model.  ...  Then the feature model is used to highlight some unexplored research lines in bidirectional transformations.  ...  Acknowledgements We thank the anonymous reviewers for their detailed and helpful feedback on our paper, and  ... 
doi:10.1007/s10270-014-0450-0 fatcat:uyjv3l3otbhcfktfvwjrl2o7da

Model-Driven Design of Web Applications with Client-Side Adaptation [chapter]

Stefano Ceri, Peter Dolog, Maristella Matera, Wolfgang Nejdl
2004 Lecture Notes in Computer Science  
In this paper, we integrate WebML, a high-level model and technology for building server-side Web applications, with UML-Guide, a UML-based system that generates client-side guides for the adaptation of  ...  UML-Guide is used for building company-specific e-learning curricula.  ...  sequence diagrams) together with state diagrams.  ... 
doi:10.1007/978-3-540-27834-4_26 fatcat:nyiqjkxfdjcobgwsysartrowwy

Fixture knowledge model development and implementation based on a functional design approach

R. Hunter Alarcón, J. Ríos Chueco, J.M. Pérez García, A. Vizán Idoipe
2010 Robotics and Computer-Integrated Manufacturing  
Language (UML) are the methodologies and techniques used in the proposed method.  ...  The development was divided into three parts: Design Process Model, definition of Top-level functional functions and Product Knowledge Model.  ...  Acknowledgement The authors would like to express their gratitude to D. Contreras, A. Camarillo, J.V. Jiménez and the personnel from MTA Division EADS-CASA that kindly contributed to this research.  ... 
doi:10.1016/j.rcim.2009.02.001 fatcat:6iywer3myjfc5f2afyctfezx4u

Engineering model transformations with transML

Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos
2011 Journal of Software and Systems Modeling  
Moreover, following an MDE approach, we provide tools to partially automate the progressive refinement of models between the different phases and the generation of code for several transformation implementation  ...  The increasing complexity of systems and modelling languages has dramatically raised the complexity and size of model transformations as well.  ...  We thank the referees for their useful comments.  ... 
doi:10.1007/s10270-011-0211-2 fatcat:3vygx652anen7eqmpofzkpcru4

Model-based a-posteriori integration of engineering tools for incremental development processes

Simon M. Becker, Thomas Haase, Bernhard Westfechtel
2005 Journal of Software and Systems Modeling  
These tools are based on graph models of the respective document classes and graph transformation rules for maintaining inter-document consistency.  ...  To integrate heterogeneous engineering tools, wrappers are constructed for abstracting from technical details and for providing homogenized data access.  ...  Furthermore, the authors gratefully acknowledge the fruitful cooperation with innotec.  ... 
doi:10.1007/s10270-004-0071-0 fatcat:gd2crt7zbfairmtxjuytjc3prq

Model Refactoring in Web Applications

Alejandra Garrido, Gustavo Rossi, Damiano Distante
2007 2007 9th IEEE International Workshop on Web Site Evolution  
Code refactorings apply transformations to the source code while model refactorings apply to design models, both with the purpose of increasing internal qualities like maintainability and extensibility  ...  Particularly, we define refactorings on the navigation and presentation models, and present examples.  ...  Typical model refactorings are applied on UML class diagrams and include the transformations of a class hierarchy, like pushing up/down methods and instance variables, and creating an abstract superclass  ... 
doi:10.1109/wse.2007.4380249 dblp:conf/wse/GarridoRD07 fatcat:4bxf4alltnhehodult3gszdsyi
« Previous Showing results 1 — 15 out of 526 results