|
|
|
 |
|
|
| |
References: Semantics of UML State Machines (Statechart Diagrams)
| [Are00] |
D.B. Aredo.
Semantics of UML statecharts in PVS.
Research Report 299, Department of Informatics, University of Oslo,
2000. [ .pdf | Abstract ] |
| [BCR00] |
E. Börger, A. Cavarra, and E. Riccobene.
Modeling the dynamics of UML state machines.
In Proceedings of the International Workshop on Abstract State
Machines, Theory and Applications, volume 1912 of Lecture Notes in
Computer Science, pages 223-241. Springer, 2000. [ .pdf | Abstract ] |
| [BDM02] |
S. Bernardi, S. Donatelli, and J. Merseguer.
From UML sequence diagrams and statecharts to analysable Petri
net models.
In Proceedings of the 3rd International Workshop on Software and
Performance (WOSP'02), pages 35-45. ACM Press, 2002. [ http | Abstract ] |
| [BGH+98] |
R. Breu, R. Grosu, F. Huber, B. Rumpe, and W. Schwerin.
Systems, views and models of UML.
In The Unified Modeling Language, Technical Aspects and
Applications, pages 93-109. Physica Verlag, 1998. [ .html | .pdf ] |
| [BP01] |
L. Baresi and M. Pezzè.
On formalizing UML with high-level Petri nets.
In Proceedings of Concurrent Object-Oriented Programming and
Petri Nets, volume 2001 of Lecture Notes in Computer Science, pages
271-300. Springer, 2001. [ http | .pdf | Abstract ] |
| [CD05a] |
M.L. Crane and J. Dingel.
On the semantics of UML state machines: Categorization and
comparison.
Technical Report 2005-501, School of Computing, Queen's University,
2005. |
| [CD05b] |
M.L. Crane and J. Dingel.
UML vs. Classical vs. Rhapsody statecharts: Not all models are
created equal.
In Proceedings of the 8th International Conference on Model
Driven Engineering Languages and Systems (MoDELS/UML 2005), volume 3713 of
Lecture Notes in Computer Science, pages 97-112. Springer, 2005. |
| [CHS00] |
K. Compton, J.K. Huggins, and W. Shen.
A semantic model for the state machine in the Unified Modeling
Language.
In Dynamic Behaviour in UML Models: Semantic Questions, Workshop
Proceedings, UML 2000 Workshop. Ludwig-Maximilians-Universität München,
Institut für Informatik, 2000. [ .html | .ps | Abstract ] |
| [Dou] |
B.P. Douglass.
UML statecharts.
Whitepaper, I-Logix. [ http ] |
| [EHHS00] |
G. Engels, J.H. Hausmann, R. Heckel, and S. Sauer.
Dynamic meta modeling: A graphical approach to the operational
semantics of behavioral diagrams in UML.
In Proceedings of the 3rd International Conference on the
Unified Modeling Language (UML 2000), volume 1939 of Lecture Notes in
Computer Science, pages 323-337. Springer, 2000. [ Abstract ] |
| [EW00] |
R. Eshuis and R. Wieringa.
Requirements-level semantics for UML statecharts.
In Proceedings of Formal Methods for Open Object-Based
Distributed Systems FMOODS, pages 121-145. Kluwer Academic Publishers,
2000. [ Abstract ] |
| [FSKdR05] |
Harald Fecher, Jesn Schönborn, Marcel Kyas, and Wellem-Paul de Roever.
29 new unclarities in the semantics of UML 2.0 state machines.
In Kung-Kiu Lau and Richard Banach, editors, Proceedings of the
7th International Conference on Formal Engineering Methods, ICFEM 2005,
volume 3785 of LNCS, pages 52-65. Springer, 2005. |
| [GLM02] |
S. Gnesi, D. Latella, and M. Massink.
Modular semantics for a UML statecharts diagrams kernel and its
extension to multicharts and branching time model-checking.
The Journal of Logic and Algebraic Programming, 51:43-75,
2002. [ http | .pdf | Abstract ] |
| [GPP98] |
M. Gogolla and F. Parisi-Presicce.
State diagrams in UML: A formal semantics using graph
transformations.
In Proceedings of the Workshop on Precise Semantics for
Modelling Techniques (PSMT'98), pages 55-72. Technische Universität
München, TUM-I9803, 1998. [ Abstract ] |
| [Hus02] |
H. Hussmann.
Loose semantics for UML, OCL.
In Proceedings of the 6th World Conference on Integrated Design
and Process Technology (IDPT 2002). Society for Design and Process Science,
2002. [ .pdf | Abstract ] |
| [JEJ04] |
Y. Jin, R. Esser, and J.W. Janneck.
A method for describing the syntax and semantics of UML
statecharts.
Software and Systems Modeling, 3(2):150-163, 2004. [ http | Abstract ] |
| [JS04] |
S. Jansamak and A. Surarerks.
Formalization of UML statechart models using concurrent regular
expressions.
In Proceedings of the 27th Australasian Computer Science
Conference (ACSC 2004), volume 26 of CRPIT, pages 83-88. Australian
Computer Society, 2004. [ .pdf | Abstract ] |
| [Jür02] |
J. Jürjens.
A UML statecharts semantics with message-passing.
In Proceedings of the 2002 ACM Symposium on Applied Computing
(SAC'02), pages 1009-1013. ACM Press, 2002. [ http | Abstract ] |
| [KC02] |
S-K. Kim and D. Carrington.
A formal metamodeling approach to a transformation between the UML
state machine and object-Z.
In Proceedings of the International Conference on Formal
Engineering Methods, volume 2495 of Lecture Notes in Computer Science,
pages 548-560. Springer, 2002. |
| [KM02] |
A. Knapp and S. Merz.
Model checking and code generation for UML state machines and
collaborations.
In Proceeding of the 5th Workshop on Tools for System Design and
Verification (FM-TOOLS 2002), Report 2002-11. Institut für Informatik,
Universität Augsburg, 2002. [ .html | .pdf ] |
| [KP99] |
P. King and R. Pooley.
Using UML to derive stochastic Petri net models.
In Proceedings of the 15th UK Performance Engineering Workshop
(UKPEW'99), pages 45-56. Department of Computer Science, The University of
Bristol, 1999. [ .html | Abstract ] |
| [Kus01] |
S. Kuske.
A formal semantics of UML state machines based on structured graph
transformation.
In Proceedings of the 4th International Conference on the Unifed
Modeling Language (UML 2001), volume 2185 of Lecture Notes in Computer
Science, pages 241-256. Springer, 2001. [ Abstract ] |
| [Kwo00] |
G. Kwon.
Rewrite rules and operational semantics for model checking UML
statecharts.
In Proceedings of the 3rd International Conference on the
Unified Modeling Language (UML 2000), volume 1939 of Lecture Notes in
Computer Science, pages 528-540. Springer, 2000. [ Abstract ] |
| [LBE00] |
K. Lano, J. Bicarregui, and A. Evans.
Structured axiomatic semantics for UML models.
In Rigorous Object-Oriented Methods (ROOM 2000). Electronic
Workshops in Computing (eWiC), 2000. [ http | Abstract ] |
| [LMM99a] |
D. Latella, I. Majzik, and M. Massink.
Automatic verification of UML statechart diagrams using the SPIN
model-checker.
Formal Aspects of Computing, 11(6):637-664, 1999. [ .html | Abstract ] |
| [LMM99b] |
D. Latella, I. Majzik, and M. Massink.
Towards a formal operational semantics of UML statechart diagrams.
In Proceedings of the 3rd International Conference on Formal
Methods for Open Object-Based Distributed Systems (FMOODS'99), pages
331-347. Kluwer, 1999. [ Abstract ] |
| [LP99a] |
J. Lilius and I. Porres Paltor.
Formalising UML state machines for model checking.
In Proceedings of The Unified Modeling Languge (UML'99), volume
1723 of Lecture Notes in Computer Science, pages 430-445. Springer,
1999. [ Abstract ] |
| [LP99b] |
J. Lilius and I. Porres Paltor.
vUML: A tool for verifying UML models.
In Proceedings of the 14th IEEE International Conference on
Automated Software Engineering (ASE'99), pages 255-258. IEEE Computer
Society, 1999. [ http | Abstract ] |
| [LP99c] |
Johan Lilius and Iván Porres Paltor.
The semantics of uml state machines.
TUCS Technical Report 273, Turku Centre for Computer Science, 1999. [ http | Abstract ] |
| [LS99] |
Johan Lilius and Henri Sara.
An implementation of UML state machine semantics for model
checking.
In Proceedings of the 11th Nordic Workshop on Programming
Theory. Uppsa la University, 1999. [ http | Abstract ] |
| [Mar98] |
R.C. Martin.
UML tutorial: Finite state machines.
Engineering Notebook Column, C++ Report, 1998. [ http | Abstract ] |
| [MCBD02] |
J. Merseguer, J. Campos, S. Bernardi, and S. Donatelli.
A compostional semantics for UML state machines aimed at
performance evaluation.
In Proceedings of the 6th International Workshop on Discrete
Event Systems, pages 295-302. IEEE Computer Society Press, 2002. [ Abstract ] |
| [MNA04] |
S. Meng, Z. Naixiao, and B.K. Aichernig.
The formal foundations in RSL for UML statechart diagrams.
Technical Report 299, The United Nations University International
Institute for Software Technology (UNU/IIST), 2004. [ .html | .ps.gz | .pdf | Abstract ] |
| [MNB04] |
S. Meng, Z. Naixiao, and L.S. Barbosa.
On semantics and refinement of UML statecharts: a coalgebraic view.
In Proceedings of the 2nd International Conference on Software
Engineering and Formal Methods (SEFM 2004), pages 164-173. IEEE Computer
Society, 2004. [ http | Abstract ] |
| [RACH00] |
G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann.
Analysing UML active classes and associated state machines - a
lightweight formal approach.
In Proceedings of Fundamental Approaches to Software Engineering
(FASE 2000), volume 1783 of Lecture Notes in Computer Science, pages
127-146. Springer, 2000. [ http | .ps | Abstract ] |
| [Reg02] |
G. Reggio.
Metamodelling behavioural aspects: the case of the UML state
machines (complete version).
Technical Report DISI-TR-02-3, DISI-Università di Genova, Italy,
2002. [ .html | Abstract ] |
| [SCH02] |
W. Shen, K. Compton, and J. K. Huggins.
A toolset for supporting UML static and dynamic model checking.
In Proceedings of the 26th International Computer Software and
Applications Conference (COMPSAC 2002), pages 147-152. IEEE Computer
Society, 2002. [ .pdf | Abstract ] |
| [SKM01] |
T. Schäfer, A. Knapp, and S. Merz.
Model checking UML state machines and collaborations.
In Electronic Notes in Theoretical Computer Science, volume 55.
Elsevier, 2001.
Issue 3. [ http | Abstract ] |
| [Tra00] |
I. Traoré.
An outline of PVS semantics for UML statecharts.
Journal of Universal Computer Science, 6(11):1088-1108, 2000. [ http | Abstract ] |
| [Var02] |
D. Varró.
A formal semantics of UML Statecharts by model transition systems.
In Proceeding of the 1st International Conference on Graph
Transformation (ICGT 2002), volume 2505 of Lecture Notes in Computer
Science, pages 378-392. Springer, 2002. [ .pdf | Abstract ] |
| [Var04] |
D. Varró.
Automated formal verification of visual modeling langauges by model
checking.
Software Systems Modelling, 3:85-113, 2004. [ Abstract ] |
| [vdB02] |
M. von der Beeck.
A structured operational semantics for UML-statecharts.
Software and Systems Modeling, 1(2):130-141, 2002. [ http | Abstract ] |
| [ZM04] |
X. Zhan and H. Miao.
An approach to formalizing the semantics of UML statecharts.
In Proceeding of the 23rd International Conference on Conceptual
Modeling (ER 2004), volume 3288 of Lecture Notes in Computer Science,
pages 753-765. Springer, 2004. [ Abstract ] |
| [ZML04] |
X. Zhan, H. Miao, and L. Liu.
Formalizing the semantics of UML statecharts with Z.
In Proceedings of the 4th International Conference on Computer
and Information Technology (CIT '04), pages 1116-1121. IEEE Computer
Society, 2004. [ http | Abstract ] |