A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
UML based hierarchical state diagram approach for protocol designs
2010
2010 2nd Computer Science and Electronic Engineering Conference (CEEC)
Preserved Fulltext
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
2010
International Journal of Intelligent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2002
VLDB '02: Proceedings of the 28th International Conference on Very Large Databases
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2005
Computer Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
UML-PA AS AN ENGINEERING MODEL FOR DISTRIBUTED PROCESS AUTOMATION
2005
IFAC Proceedings Volumes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
english
2014
Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
english
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 First International Workshop on User Evaluation for Software Engineering Researchers (USER)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Journal of King Saud University: Computer and Information Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
2005 Australian Software Engineering Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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