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.
Filters
X3D-UML: 3D UML State Machine Diagrams
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
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. ...
Centre assistance and Laura McIntosh for graphics. ...
doi:10.1007/978-3-540-87875-9_19
fatcat:smnty54dunhy3cjwttbvepun3q
SystemC/C-based model-driven design for embedded systems
2009
ACM Transactions on Embedded Computing 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.
Section 6 illustrates the notion of model refinement (carried out at UML level) focusing, in particular, on the communication refinement aspect. ...
We then included a multithread C UML profile for modelling software applications. ...
We adopted the state machines rather than other UML behavioral diagrams (as the activity diagrams) because this kind of diagram provides a behavioral pattern appropriate for modeling the reactive and hierarchical ...
doi:10.1145/1550987.1550993
fatcat:ikn2b5yenrf5xh5nxsakzvo5km
Model transformations in the UPES/UPSoC development process for embedded systems
2009
Innovations in Systems and Software Engineering
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.
and techniques for embedded systems design and analysis based on UML, Abstract State Machines, and SystemC at STMicroelectronics, AST R&I of Agrate ...
Modeling languages, like profiles of the Unified Modeling Language (UML), are increasingly being adopted for specific domains of interest to alleviate the complexity of platforms and express domain concepts ...
an extension of the UML state machines, the SystemC process state machines [29] . ...
doi:10.1007/s11334-009-0080-9
fatcat:kubeojzn6remffzih7vbjwkadu
Summary report of the OOPSLA 2000 workshop on scenario-based round-trip engineering
2001
Software engineering notes
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 2004; you can also visit the original URL.
The file type is application/pdf.
Bordeleau introduced a pattern-based method for constructing hierarchical state machines from scenarios. ...
The UCMs are then refined into interaction diagrams such as MSCs or UML sequence diagrams. Finally, the detailed interaction diagrams are transformed to the definition of hierarchical state machines. ...
doi:10.1145/505776.505782
fatcat:z2xn6guch5bchfy5ltkbmu25iy
Modeling and Analysis of Exception Handling by Using UML Statecharts
[chapter]
2005
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.
for implementing the Java source of exception-aware statecharts. ...
at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development chain of Java programs by modeling exception handling in the abstract UML ...
These states represent simple and composite states of the UML model. States can be refined to any number of concurrently operating sequential automata. ...
doi:10.1007/978-3-540-31869-9_6
fatcat:rx2zpljhzzdbzprh75phdrfnmi
Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML
[chapter]
2005
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.
A number of requirements have to be satisfied in order to apply the model-driven development approach and the UML for mechatronic systems: The UML design models must support the specification of the required ...
The real-time coordination in the UML models must embed the continuous control behavior in form of feedback-controllers to allow for the specification of discrete and continuous hybrid systems. ...
The authors thank Oliver Oberschelp for the support in the control engineering domain. ...
doi:10.1007/11538097_4
fatcat:kicfevtr65dmpmpsqbpebhixs4
On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design
[chapter]
2001
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 2018; you can also visit the original URL.
The file type is application/pdf.
We also illustrate how such scenario relationships can be expressed in UML using stereotypes and how they guide the design of the corresponding hierarchical state machines. ...
finite state machines). ...
In this paper, hierarchical state machines are described using the UML notation [1] . ...
doi:10.1007/3-540-45314-8_12
fatcat:guoljcb2urhgbgzc3ekdzf4ed4
Class and Capsule Refinement in UML for Real Time
2004
Electronical Notes in Theoretical 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 propose refinement laws for the top level design elements of Real Time UML (UML-RT): classes and capsules. These laws can be used to develop concrete design models from abstract analysis models. ...
Laws for introducing and decomposing classes and capsules are presented. Standard data refinement techniques are adapted for classes, and process refinement techniques for capsules. ...
The case study presented here in UML-RT has previously been specified in OhCircus by Ana Cavalcanti, Augusto Sampaio and Jim Woodcock. ...
doi:10.1016/s1571-0661(04)05013-3
fatcat:i4hn4kgg3ratjb54ddvnzlkrue
Class and Capsule Refinement in UML for Real Time
2004
Electronical Notes in Theoretical 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 propose refinement laws for the top level design elements of Real Time UML (UML-RT): classes and capsules. These laws can be used to develop concrete design models from abstract analysis models. ...
Laws for introducing and decomposing classes and capsules are presented. Standard data refinement techniques are adapted for classes, and process refinement techniques for capsules. ...
The case study presented here in UML-RT has previously been specified in OhCircus by Ana Cavalcanti, Augusto Sampaio and Jim Woodcock. ...
doi:10.1016/j.entcs.2004.04.004
fatcat:5hbneebsofcunfkdwuuhh6nm5i
A Survey on Refinement in Formal Methods and Software Engineering
2019
International Journal of Advanced Trends in Computer Science and Engineering
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.
Refinement has been carried out for system artefacts ranging from modelling and design levels like architectures, and state machines to implementation and programming levels like source code. ...
Refinement is a significant way for building complicated systems starting from simple ones by adding features gradually. ...
ACKNOWLEDGEMENTS Thanks to the Faculty of Computer Science and Information Technology, UPM and the MOHE for the financial support via Fundamental Research Grant Scheme, Project Code: 08-02-13-1368FR. ...
doi:10.30534/ijatcse/2019/1681.42019
fatcat:6ns7lcojsrfurnpv2orxmte3ze
Building traceable Event-B models from requirements
2015
Science of Computer Programming
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.
UML-B provides UML graphical notation that enables the development of data structures for Event-B models, while the ERS approach provides a graphical notation to illustrate event refinement structures ...
The ERS approach also combines several constructor patterns to manage control flows in Event-B. ...
The Event-B model for the class and state machine diagrams are generated using UML-B since UML-B supports the refinement concepts. ...
doi:10.1016/j.scico.2015.06.002
fatcat:22oiwmsczna2ncjqzupfo5uebq
A UML 2.0 profile for SystemC
2005
Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05
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 paper we present a UML 2.0 profile for the SystemC language, which is a consistent set of modeling constructs designed to lift both structural and behavioral features (including events and time ...
The main target of this profile is to provide a means for software and hardware engineers to improve the current industrial Systems-on-a-Chip (SoC) design methodology joining the capabilities of UML and ...
Our current implementation is based on the Enterprise Architect (EA) tool [5] , however any other tool supporting UML 2.0 and UML pro-2 Note that the notation used for the wait state in the state machine ...
doi:10.1145/1086228.1086254
dblp:conf/emsoft/RiccobeneSRB05
fatcat:xfxukldaxfg4pkea6s7jqpk6o4
A Formal Semantics of UML Statecharts by Model Transition Systems
[chapter]
2002
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 2004; you can also visit the original URL.
The file type is application/pdf.
Since the UML standard only contains an informal description on how to execute such statemachines mathematically precise semantic frameworks are required for an automated analysis. ...
The current paper presents a formal semantics for UML statecharts based on a combination of metamodeling and graph transformation that is (i) simultaneously visual and precise, and (ii) clearly separates ...
Moreover, I am also very grateful to the anonymous reviewers for their valuable comments. ...
doi:10.1007/3-540-45832-8_28
fatcat:gqaatkwcrzbkxdfffnft2fhlka
Documenting the Progress of the System Development
[chapter]
2009
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.
Even for the combined method we need consistent and compact description of the changes made during the system development. In the development process certain design patterns can be applied. ...
While UML gives an intuitive image of the system, formal methods provide the proof of its correctness. We can benefit from both aspects by combining UML and formal methods. ...
Acknowledgements We would like to thank Dr Linas Laibinis and Dubravka Ilič for the fruitful discussions on the use of the tools supporting the research. ...
doi:10.1007/978-3-642-00867-2_12
fatcat:p3h5n6ninzc7zlawvizaf3qxom
Using UML for modeling complex real-time systems
[chapter]
1998
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 particular, we show how these architectural constructs can be derived from more general UML modeling concepts by using the powerful extensibility mechanisms of UML. ...
The constructs, derived from field-proven concepts originally defined in the ROOM modeling language, are specified using the Unified Modeling Language (UML) standard. ...
The Abstract Behavior Pattern In this section we describe a common and very useful heuristic that takes advantage of the hierarchical nature of UML state machines. ...
doi:10.1007/bfb0057795
fatcat:afenxjqkdvhqxj4d26nrxcshuu
« Previous
Showing results 1 — 15 out of 3,766 results