10,173 Hits in 5.4 sec

UML based hierarchical state diagram approach for protocol designs

Sreejith Sudhakaran, Wah Man Cheung, Klaus D. McDonald-Maier, Gareth Howells
2010 2010 2nd Computer Science and Electronic Engineering Conference (CEEC)  
Keywords-Unified Modelling Language (UML); USB3.0; Model Driven Development (MDD); State machine based design; Intellectual Property(IP); Link Training and Status State Machine (LTSSM); Verilog; Hardware  ...  It focuses on the conversion of UML structure diagrams and hierarchical state machines into synthesizable hardware description language.  ...  The Link Training and Status State Machine (LTSSM) of the USB3.0 link layer is chosen as a typical sample to start with for the development of complex state machines in UML.  ... 
doi:10.1109/ceec.2010.5606496 fatcat:m3v3lfla5nbifnavexg2ighpwm

Aspect-enhanced goal-driven sequence diagram

Jonathan Lee, Chia-Ling Wu, Wen-Tin Lee, Kuo-Hsun Hsu
2010 International Journal of Intelligent Systems  
As an attempt toward the investigation of how the crosscutting behavior takes place, we proposed, in this work, an aspect-enhanced goal-driven approach to modeling the aspectual behavior in UML state transition  ...  By introducing the proposed interaction operations in the UML combined fragment, UML sequence diagrams can be further enhanced to support the modeling of the interactions between aspectual and base behavior  ...  Aspectual scenarios are modeled as interaction pattern speciÞcations (IPSs). 22 Finite state machines will be modeled as UML state machines and an aspectual Þnite state machine will be modeled as state  ... 
doi:10.1002/int.20428 fatcat:xs4r2bo7rrdqjeyf2wj27w7h4u

Extending an ORDBMS [chapter]

Wolfgang Mahnke, Christian Mathis, Hans-Peter Steiert
2002 VLDB '02: Proceedings of the 28th International Conference on Very Large Databases  
StateManagement manages current state of state machines (SM) StateManagement manages current state of state machines (SM) ModelManagement stores the state machine specifications (UML metamodel  ...  The StateMachine Module in Detail StateMachine Module StateMachine-Management SMM manages internal queues for state machines StateMachine-Management SMM manages internal queues for state machines  ... 
doi:10.1016/b978-155860869-6/50113-x dblp:conf/vldb/MahnkeMS02 fatcat:thuswwl5hje7fasambzy53veuu

Using UML models for the performance analysis of network systems

Nico de Wet, Pieter Kritzinger
2005 Computer Networks  
With the growth in popularity of UML the most obvious question to ask is whether one can translate one or more UML diagrams describing a system to a performance model.  ...  Software Performance Engineering using XMI), for the design and performance analysis of communication protocols specified with UML.  ...  UML 2.0 offers several diagram types with different system views which may be semantically equivalent, as is the case with sequence and state machine diagrams.  ... 
doi:10.1016/j.comnet.2005.05.007 fatcat:4fl5r3752vdj3hwhwqhzedueqa

X3D-UML: 3D UML State Machine Diagrams [chapter]

Paul McIntosh, Margaret Hamilton, Ron van Schyndel
2008 Lecture Notes in Computer Science  
Using X3D-UML, 3D UML State Machine Diagrams have been evaluated against actual user tasks and data, using the Sequential Evaluation methodology.  ...  RoseRT model metrics show between 56%-90% of state machine diagram work would benefit from such 3D UML extensions; hence the 3D improvement can deliver considerable benefit to organisations.  ...  The benefit of 3D UML state machine diagrams is in the area of understanding hierarchical state machine diagrams.  ... 
doi:10.1007/978-3-540-87875-9_19 fatcat:smnty54dunhy3cjwttbvepun3q

Aspect-Oriented Modeling of Web Applications with HiLA [chapter]

Gefei Zhang, Matthias Hölzl
2012 Lecture Notes in Computer Science  
We show how HILA, an aspectoriented extensions for UML state machines, can represent these kinds of features as aspects.  ...  Modern web applications often contain features, such as landmarks, access control, or adaptation, that are difficult to model modularly with existing Model-Driven Web Engineering approaches.  ...  Modeling Web Applications with UML State Machines The language of UML state machines is very popular for behavioral modeling.  ... 
doi:10.1007/978-3-642-27997-3_22 fatcat:dt4ikso4craylbfjqqqszlrtpu

HiLA: High-Level Aspects for UML State Machines [chapter]

Gefei Zhang, Matthias Hölzl
2010 Lecture Notes in Computer Science  
We present High-Level Aspects (HiLA) for UML state machines to address this problem.  ...  UML state machines are widely used for modeling software behavior.  ...  Our aspects can considerably enhance the modularity, and thus the comprehensibility and maintainability, of UML state machines.  ... 
doi:10.1007/978-3-642-12261-3_11 fatcat:gcc5z34qgfdt7mdueyaxcp3m2q


Uwe Katzke, Birgit Vogel-Heuser
2005 IFAC Proceedings Volumes  
The adoption of UML regarding applied diagrams and stereotypes for process automation will be introduced and evaluated.  ...  Model elements for control are added to UML as well as small-scale patterns for plant automation. Besides large-scale patterns are introduced as well as implementational models.  ...  Mapping of statecycle event to UML state machine with an additional timer object as an event source.  ... 
doi:10.3182/20050703-6-cz-1902.01063 fatcat:xccoyqntobafpnai3ldbpyyyn4

Toward optimized code generation through model-based optimization

Asma Charfi, Chokri Mraidha, Sebastien Gerard, Franois Terrier, Pierre Boulet
2010 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)  
Our arguments are illustrated with examples of the Unified Modeling Language (UML) state machines diagrams which are widely used for control aspect modeling of RTES.  ...  Although automatic code generation and the use of optimizing compilers bring some answers to application optimization issue, we will show in this paper that optimization results may be enhanced by adding  ...  Our arguments are illustrated with examples of the Unified Modeling Language (UML) state machines diagrams [2] which are widely used for control aspect modeling in RTES.  ... 
doi:10.1109/date.2010.5457010 dblp:conf/date/CharfiMGTB10 fatcat:fi6jgds2q5dgpkzpw7fkwcti5y

Investigation and Evaluation of UML Action Languages

Omar Bahy Badreddin, Timothy C. Lethbridge, Andrew Forward
2014 Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development  
Unlike current action languages that typically address class diagrams only, our proposal includes class and state machine modeling abstractions as part of the action language.  ...  We also present a functioning implementation of an action language and discuss our platform for experimenting with Action Language based systems.  ...  State machine UML state machines define the behavior of instances of a class. Umple generates artifacts to implement state machine semantics.  ... 
doi:10.5220/0004699902640273 dblp:conf/modelsward/BadreddinLF14a fatcat:zh3h2valuvcpzndn3y75evye5q

Tool Support for Collaborative Software Quality Management

Philipp Kalb, Ruth Breu
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
The state machine based workflow concept allows a tight integration of data and automated and manual actions on the repository in a change-driven way.  ...  In this paper we will present the essential components of our MoVE Framework, starting with an introduction of the most important concepts, followed by the state based workflow language which will be contained  ...  of a system and typically undergoes a dedicated life cycle which is represented as a UML state machine.  ... 
dblp:conf/models/KalbB14 fatcat:3be3c4czfrgofj5pv6rmsfdmbu

Combining experiments and grounded theory to evaluate a research prototype: Lessons from the umple model-oriented programming technology

Omar Badreddin, Timothy C. Lethbridge
2012 2012 First International Workshop on User Evaluation for Software Engineering Researchers (USER)  
Experimentation with toy examples and tasks suffers from significant threats to external validity.  ...  Hence, conducting realistic experimentation with professional users that reflect real life tasks is challenging.  ...  It supports UML class diagrams, UML state machines, selected software patterns and code tracing. Umple is currently in use by students and in classrooms.  ... 
doi:10.1109/user.2012.6226575 dblp:conf/icse/BadreddinL12 fatcat:opweurpqmbbv3h2emgtgq2hkq4

Pattern-based model refactoring for the introduction association relationship

Boulbaba Ben Ammar, Mohamed Tahar Bhiri
2015 Journal of King Saud University: Computer and Information Sciences  
In this paper, we propose a new approach of model refactoring based on the combined use of UML, B and CSP. UML models are described by class diagrams, OCL constraints, and state machine diagrams.  ...  This promote would enhance the comprehension of the behavioral aspects of the SAAT Application. The state machine diagrams corresponding to the other classes remain unchanged.  ...  M A sub-machine of SM M top The state machine of high-level I M The set of initial states of M u UML!  ... 
doi:10.1016/j.jksuci.2014.06.012 fatcat:cev7wy3bsrdaxpqidxg4af4hhu

B Formal Validation of ERTMS/ETCS Railway Operating Rules [chapter]

Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Akram Idani, Yves Ledru
2014 Lecture Notes in Computer Science  
In this short paper, we use the B4MSecure tool to transform the UML models, fulfilling requirements of European Railway Traffic Management System (ERTMS) operating rules, into B specifications in order  ...  Owing to the lack of dynamic aspects in UML class diagrams, we intend to explore more UML diagrams as future work.  ...  Moreover, SysML requirement diagrams combined with our UML diagrams may guarantee the traceability aspects of system requirements when they will be translated to B specifications.  ... 
doi:10.1007/978-3-662-43652-3_10 fatcat:daz3c2omwbd6dk3kxwkd3zxpze

A UML approach to the generation of test sequences for Java-based concurrent systems

S.-K. Kim, L. Wildman, R. Duke
2005 2005 Australian Software Engineering Conference  
The approach is to first extend the specification to create UML state machines that directly address those aspects of the system we wish to test.  ...  Using the SAL model checker we can generate from the extended UML state machines sequences that cover all the various possibilities of events and states.  ...  UML State Machine modelling multiple waiting threads on an object from a testing aspect The diagram in Figure 4 is an extended UML model for objects.  ... 
doi:10.1109/aswec.2005.11 dblp:conf/aswec/KimWD05 fatcat:7i3altu7jzaunfek5sjaunni54
« Previous Showing results 1 — 15 out of 10,173 results