Filters








3,766 Hits in 6.3 sec

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.  ...  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

Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini
2009 ACM Transactions on Embedded Computing Systems  
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

Elvinia Riccobene, Patrizia Scandurra
2009 Innovations in Systems and Software Engineering  
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

Tarja Systä, Rudolf K. Keller, Kai Koskimies
2001 Software engineering notes  
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]

Gergely Pintér, István Majzik
2005 Lecture Notes in Computer Science  
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]

Sven Burmester, Holger Giese, Matthias Tichy
2005 Lecture Notes in Computer Science  
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]

Francis Bordeleau, Jean-Pierre Corriveau
2001 Lecture Notes in Computer Science  
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

A SAMPAIO
2004 Electronical Notes in Theoretical Computer Science  
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

Augusto Sampaio, Alexandre Mota, Rodrigo Ramos
2004 Electronical Notes in Theoretical Computer Science  
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

Muhammed Basheer Jasser, University Putra Malaysia 43400 UPM Serdang, Selangor, Malaysia
2019 International Journal of Advanced Trends in Computer Science and Engineering  
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

Eman Alkhammash, Michael Butler, Asieh Salehi Fathabadi, Corina Cîrstea
2015 Science of Computer Programming  
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

E. Riccobene, P. Scandurra, A. Rosti, S. Bocchio
2005 Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05  
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]

Dániel Varró
2002 Lecture Notes in Computer Science  
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]

Marta Pląska, Marina Waldén, Colin Snook
2009 Lecture Notes in Computer Science  
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]

Bran Selic
1998 Lecture Notes in Computer Science  
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