|
|
|
 |
|
|
| |
References: All
| [Are00] |
D.B. Aredo.
Semantics of UML statecharts in PVS.
Research Report 299, Department of Informatics, University of Oslo,
2000. [ .pdf | Abstract ] |
| [ATK01] |
T. Aoki, T. Tateishi, and T. Katayama.
An axiomatic formalization of UML models.
In Practical UML-Based Rigorous Development Methods - Countering
or Integrating the eXtremists. Workshop of the pUML-Group held together with
UML 2001, volume P-7 of LNI, pages 13-28. German Informatics Society,
2001. [ .pdf | Abstract ] |
| [BC95] |
R. Bourdeau and B. Cheng.
A formal semantics for object model diagrams.
IEEE Transactions on Software Engineering, 21(10):799-821,
1995. |
| [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 ] |
| [Ber03] |
P. Bernstein.
Applying model management to classical metadata problems.
In Proc. CIDR'2003, pages 209-220, 2003. |
| [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 ] |
| [BHH+97] |
R. Breu, U. Hinkel, C. Hofmann, C. Klein, B. Paech, B. Rumpe, and V. Thurner.
Towards a formalization of the Unified Modeling Language.
In Proceedings of the 11th European Conference on
Object-Oriented Programming (ECOOP'97), volume 1241 of Lecture Notes in
Computer Science, pages 344-366. Springer, 1997. [ http | .pdf | Abstract ] |
| [Bjø03a] |
Dines Bjørner.
Models, semiotics, documents and descriptions - towards software
engineering literacy.
Technical report, Informatics and Mathematical Modelling, Technical
University of Denmark, 2003.
This paper is one of a series of papers currently being submitted for
publication. [ .ps ] |
| [Bjø03b] |
Dines Bjørner.
Principles and techniques of abstract modelling - some basic
classifications - towards a methodology of software engineering.
Technical Report DK-2800, Informatics and Mathematical Modelling,
Technical University of Denmark, 2003.
This paper is one of a series of papers currently being submitted for
publication. [ .ps ] |
| [Bjø05] |
Dines Bjørner.
On formal & practical aspects of software engineering.
A series of books to be published by Springer-Verlag, Berlin –
Heidelberg in 2005, 2005. [ http ] |
| [BLMF00] |
Jean-Michel Bruel, Johan Lilius, Ana Moreira, and Robert B. France.
Defining precise semantics for UML.
In Object-Oriented Technology, ECOOP 2000 Workshops, volume
1964 of Lecture Notes in Computer Science, pages 113-122.
Springer-Verlag, 2000. [ http | Abstract ] |
| [BLP00] |
Ralph-Johan Back, Johan Lilius, and Ivan Porres.
Towards a semantics for behavioural model elements.
In Object-Oriented Technology, ECOOP 2000 Workshops, Panels and
Posters, volume 1964 of Lecture Notes in Computer Science.
Springer-Verlag, 2000.
Position Paper. [ http | .ps ] |
| [Boc03a] |
Conrad Bock.
UML 2 activity and action models.
Journal of Object Technology, 2(4):43-53, 2003. [ http | .pdf | Abstract ] |
| [Boc03b] |
Conrad Bock.
UML 2 activity and action models, part 2.
Journal of Object Technology, 2(5):41-56, 2003. [ http | .pdf | Abstract ] |
| [Boc03c] |
Conrad Bock.
UML 2 activity and action models, part 3: Control nodes.
Journal of Object Technology, 2(6):7-23, 2003. [ http | .pdf | Abstract ] |
| [Boc04a] |
Conrad Bock.
UML 2 activity and action models, part 4: Object nodes.
Journal of Object Technology, 3(1):27-41, 2004. [ http | .pdf | Abstract ] |
| [Boc04b] |
Conrad Bock.
UML 2 activity and action models, part 5: Partitions.
Journal of Object Technology, 3(7):37-56, 2004. [ http | .pdf | Abstract ] |
| [Boc05] |
Conrad Bock.
UML 2 activity and action models, part 6: Structured activities.
Journal of Object Technology, 4(4):43-66, 2005. [ http | .pdf | Abstract ] |
| [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 ] |
| [BRJ99] |
G. Booch, J. Rumbaugh, and I. Jacobson.
The Unified Modeling Language User Guide.
Addison-Wesley, 1999. [ Abstract ] |
| [BS01] |
Manfred Broy and Ketil Stoelen.
Specification and Development of Interactive Systems: Focus on
Streams, Interfaces, an drefinement.
Springer, 2001. |
| [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 ] |
| [CK04] |
María Victoria Cengarle and Alexander Knapp.
UML 2.0 Interactions: Semantics and Refinement.
In Workshop on Critical Systems Development with UML (CSDUML'04,
Proceedings), pages 85-99. Technical Report TUM-I0415, Institut für
Informatik, Technische Universität München, 2004. |
| [Cra04] |
Michelle L. Crane.
UML 2.0 under the hood.
Presentation, 2004. [ .pdf ] |
| [Dis] |
Zinovy Diskin.
On mathematical foundations for business modeling. [ .pdf ] |
| [Dis99] |
Zinovy Diskin.
Abstract metamodeling, I: How to reason about meta- and metamodels
in a formal way.
In Behavioral Semantics of OO Business and System
Specifications, Proceedings of the 8th OOPSLA Workshop, Denver (Colorado),
USA, 1999. Northeastern University, College of Computer Science, 1999. [ .pdf | Abstract ] |
| [Dis01] |
Zinovy Diskin.
On modeling, mathematics, category theory and RM-ODP.
In WOODPECKER'2001: Workshop On Open Distributed
Processing: (In conjunction with ICEIS'2001), pages 35-54. ICEIS Press,
Portugal, 2001.
ISBN 972-98050-5-9. [ .pdf | Abstract ] |
| [Dis02] |
Zinovy Diskin.
Visualization vs. specification in diagrammatic notations: A case
study with the UML.
In Diagrammatic Representation and Inference, 2nd Int. Conf. on
the theory and applications of diagrams, Diagrams '2002, volume 2317 of
LNAI, pages 112-115. Springer, 2002.
Full version of the 4pp. poster published in Diagrams '2002. [ .pdf | Abstract ] |
| [Dis03] |
Zinovy Diskin.
Mathematics of UML Making the Odysseys of UML less
dramatic, chapter 8, pages 145-178.
Kluwer Academic Publishers, 2003.
ISBN 1-4020-1480-5. [ .pdf | Abstract ] |
| [Dis05] |
Z. Diskin.
Mathematics of generic specifications for model management.
In Rivero, Doorn, and Ferraggine, editors, Encyclopedia of
Database Technologies and Applications, pages 351-366. Idea Group, 2005. [ .pdf ] |
| [DJHP98] |
Werner Damm, Bernhard Josko, Hardi Hungar, and Amir Pnueli.
A compositional real-time semantics of STATEMATE designs.
In Compositionality: The Significant Difference, volume 1536 of
Lecture Notes in Computer Science, pages 186-238. Springer-Verlag,
1998. [ Abstract ] |
| [DJPV03] |
W. Damm, B. Josko, A. Pnueli, and A. Votintseva.
Understanding UML: A formal semantics of concurrency and
communication in real-time UML.
In Formal Methods for Components and Objects, volume 2852 of
Lecture Notes in Computer Science, pages 71-98. Springer, 2003. [ Abstract ] |
| [DK03] |
Z. Diskin and B. Kadish.
Variable set semantics for keyed generalized sketches: Formal
semantics for object identity and abstract syntax for conceptual modeling.
Data & Knowledge Engineering, 47:1-59, 2003. [ http ] |
| [DK05] |
Z. Diskin and B. Kadish.
Generic model management.
In Rivero, Doorn, and Ferraggine, editors, Encyclopedia of
Database Technologies and Applications, pages 258-265. Idea Group, 2005. [ .pdf ] |
| [DKP99] |
Zinvoy Diskin, Borish Kadish, and Frank Piessens.
What vs. How of Visual Modeling: The Arrow Logic of Graphic
Notations, chapter 3, pages 27-44.
Kluwer Publishing Company, 1999. [ .pdf | Abstract ] |
| [DKPJ00] |
Zinovy Diskin, Boris Kadish, Frank Piessens, and Michael Johnson.
Universal arrow foundations for visual modeling.
In Diagrams '2000: Proceedings 1st International Conference on
the theory and applications of diagrams, Edinburgh (Scotland), UK, September
1-13, 2000, volume 1889 of LNAI, pages 345-360. Springer, 2000. [ .pdf | Abstract ] |
| [Dou] |
B.P. Douglass.
UML statecharts.
Whitepaper, I-Logix. [ http ] |
| [Dou04] |
B.P. Douglass.
Real Time UML.
Object Technology Series. Addison-Wesley, third edition, 2004. [ Abstract ] |
| [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 ] |
| [FBLPS97] |
Robert B. France, Jean-Mechel Bruel, Maria M. Larrondo-Petrie, and Malcom
Shroff.
Exploring the semantics of UML type structures with Z.
In Proceedings of the Second IFIP International Conference on
Formal Methods for Open Object-based Distributed Systems (FMOODS'97), pages
247-260. Chapman & Hall, 1997. [ http | .ps | Abstract ] |
| [FELR97] |
R. France, A. Evans, K. Lano, and B. Rumpe.
The UML as a formal modeling notation.
In Proceedings OOPSLA'97 Workshop on Object-oriented
Behavioral Semantics, pages 75-81. Technische Universität München,
TUM-I9737, 1997. [ Abstract ] |
| [FKS05] |
H. Fecher, M. Kyas, and J. Schönborn.
Semantic issues in UML 2.0 state machines.
Technical Report 0507, Christian-Albrechts-Universität zu Kiel,
2005. [ .html | .pdf | Abstract ] |
| [FM77] |
A.B. Ferrentino and H.D. Mills.
State machines and their semantics in software engineering.
In Proceedings of the First International Software and
Applications Conference (COMPSAC 77), pages 242-251. IEEE Computer Society,
1977. [ 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 ] |
| [GR99] |
Martin Gogolla and Mark Richters.
Transformation rules for UML class diagrams.
In First International Workshop on The Unified Modeling
Language, UML'98 - Beyond the Notation, volume 1618 of Lecture Notes in
Computer Science, pages 92-106. Springer, 1999. |
| [GZK03] |
M. Gogolla, P. Ziemann, and S. Kuske.
Towards an integrated graph based semantics for UML.
Electronic Notes in Theoretical Computer Science, 72(3):1-16,
2003. [ http | .pdf | Abstract ] |
| [Har87] |
D. Harel.
Statecharts: A visual formalism for complex systems.
Science of Computer Programming, 8(3):231-274, 1987. [ Abstract ] |
| [Har97] |
D. Harel.
Some thoughts on statecharts, 13 years later.
In Proceedings of the 9th International Conference on Computer
Aided Verification (CAV'97), volume 1254 of Lecture Notes in Computer
Science, pages 226-231. Springer, 1997. [ Abstract ] |
| [HdR91] |
C. Huizing and W.P. de Roever.
Introduction to design choices in the semantics of statecharts.
Information Processing Letters, 37(4):205-213, 1991. [ .pdf | Abstract ] |
| [HG97] |
D. Harel and E. Gery.
Executable object modeling with statecharts.
Computer, 30(7):31-42, 1997. [ http | http | Abstract ] |
| [HGR88] |
C. Huizing, R. Gerth, and W.P. de Roever.
Modelling Statecharts behaviour in a fully abstract way.
In CAAP '88: 13th Colloquium on Trees in Algebra and
Programming, volume 299 of Lecture Notes in Computer Science, pages
271-294. Springer-Verlag, 1988. [ http | Abstract ] |
| [HLN+90] |
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman,
A. Shtull-Trauring, and M. Trakhtenbrot.
STATEMATE: A working environment for the development of complex
reactive systems.
IEEE Transactions on Software Engineering, 16(4):403-414,
1990. [ http | Abstract ] |
| [HN96] |
D. Harel and A. Naamad.
The STATEMATE semantics of statecharts.
ACM Transactions on Software Engineering and Methodology
(TOSEM), 5(4):293-333, 1996. [ http | Abstract ] |
| [HP98] |
D. Harel and M. Politi.
Modeling Reactive Systems with Statecharts: The STATEMATE
Approach.
McGraw-Hill, 1998. [ Abstract ] |
| [HPSS87] |
D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman.
On the formal semantics of statecharts.
In Proceedings of the 2nd IEEE Symposium on Logic in Computer
Science, pages 54-64. Computer Society Press of the IEEE, 1987. [ Abstract ] |
| [HR04] |
David Harel and Bernhard Rumpe.
Meaningful modeling: What's the semantics of ``semantics''?
IEEE Computer Magazine, 37(10):64-72, 2004. [ http | Abstract ] |
| [HS03] |
Øystein Haugen and Ketil Stølen.
STAIRS - Steps to Analyze Interactions with Refinement Semantics.
In International Conference on the Unified Modeling Language
(UML'03, Proceedings), volume 2863 of Lecture Notes in Computer
Science, pages 388-402. Springer-Verlag, 2003. |
| [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. |
| [KER99] |
S. Kent, A. Evans, and B. Rumpe.
UML semantics FAQ.
In Object-Oriented Technology, ECOOP'99 Workshop Reader, volume
1743 of Lecture Notes in Computer Science, pages 33-56. Springer,
1999. [ http | .pdf | Abstract ] |
| [KFdB+04] |
Marcel Kyas, Harald Fecher, Franks S. de Boer, Joost Jacob, Jozef Hooman, Mark
van der Zwaag, Tamarah Arons, and Hillel Kugler.
Formalizing UML models and OCL constraints in PVS.
In Proceedings Semantic Foundations of Engineering Design
Languages (SFEDL'04), Electronic Notes in Theoretical Computer Science
(ENTCS), 2004. [ .html | .pdf | Abstract ] |
| [KGKK02] |
S. Kuske, M. Gogolla, R. Kollmann, and H.-J. Kreowski.
An integrated semantics for UML class, object and state diagrams
based on graph transformation.
In Proceedings of the 3rd International Conference on Integrated
Formal Methods (IFM 2002), volume 2335 of Lecture Notes in Computer
Science, pages 11-28. Springer, 2002. [ http | .ps.gz | Abstract ] |
| [KH00] |
Florian Kammüller and Steffen Helke.
Mechanical analysis of UML state machines and class diagrams.
In Object-Oriented Technology, ECOOP 2000 Workshops, Panels and
Posters, volume 1964 of Lecture Notes in Computer Science.
Springer-Verlag, 2000.
Position Paper. [ http | .ps | Abstract ] |
| [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 ] |
| [Kob02] |
Cris Kobryn.
Technical opinion: Will UML 2.0 be agile or awkward?
Communications of the ACM, 45(1):107-110, 2002. [ http | Abstract ] |
| [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 ] |
| [LA05] |
Luigi Lavazza and Alberto Agostini.
Automated measurement of UML models: an open toolset approach.
Journal of Object Technology, 4(4):115-134, 2005. [ http ] |
| [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 ] |
| [LM02] |
Gerald Lüttgen and Michael Mendler.
The intuitionism behind statecharts steps.
ACM Transactions on Computational Logic, 3(1):1-41, 2002. [ 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 ] |
| [LvdBC99] |
Gerald Lüttgen, Michael von der Beeck, and Rance Cleaveland.
Statecharts via process algebra.
In Proceedings of CONCUR'99: Concurrency Theory, 10th
International Conference, Eindhoven, The Netherlands, August 24-27, 1999,
volume 1664 of Lecture Notes in Computer Science, pages 399-414.
Springer-Verlag, 1999. [ Abstract ] |
| [LvdBC00] |
G. Lüttgen, M. von der Beeck, and R. Cleaveland.
A compositional approach to statecharts semantics.
In Proceedings of the 8th ACM SIGSOFT International Symposium on
Foundations of Software Engineering, pages 120-129. ACM Press, 2000. [ http | Abstract ] |
| [Mar98] |
R.C. Martin.
UML tutorial: Finite state machines.
Engineering Notebook Column, C++ Report, 1998. [ http | Abstract ] |
| [MC01] |
W.E. McUmber and B.H.C. Cheng.
A general framework for formalizing UML with formal languages.
In Proceedings of the 23rd International Conference on Software
Engineering (ICSE 2001), pages 433-442, Toronto, Canada, May 2001.
Formalization based on homomorphic mappings between metamodels of UML
and target specification languages. Paper focuses on the Promela formal
specification language for SPIN model checker. [ http ] |
| [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 ] |
| [MCF03] |
Stephen J. Mellor, Anthony N. Clark, and Takao Futagami.
Model-driven development.
IEEE Software, 20(5):14-18, 2003. [ .pdf | Abstract ] |
| [Mik00] |
E. Mikk.
Semantics and Verification of Statecharts.
PhD thesis, Christian-Albrechts University of Kiel, 2000.
Bericht Nr. 2011. |
| [MLS97] |
E. Mikk, Y. Lakhnech, and M. Siegel.
Hierarchical automata as model for statecharts.
In Proceedings of the Asian Computing Science Conference (ASIAN
'97), volume 1345 of Lecture Notes in Computer Science, pages
181-196. Springer, 1997. [ Abstract ] |
| [MLSH98] |
E. Mikk, Y. Lakhnech, M. Siegel, and G.J. Holzmann.
Implementing statecharts in PROMELA/SPIN.
In Proceedings 2nd IEEE Workshop on Industrial Strength Formal
Specification Techniques, pages 90-101. Inst. fur Inf. und Praktische
Math., Kiel Univ., Germany, 1998. [ http | .ps | 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 ] |
| [Mos92] |
Peter D. Mosses.
Action Semantics.
Cambridge Tracts in Theoretical Computer Science. Cambridge
University Press, 1992. [ Abstract ] |
| [MRB03] |
S. Melnik, E. Rahm, and P. Bernstein.
Developing metadata-intensive applications with Rondo.
J. Web Semantics, 1:47-74, 2003. |
| [MSP94] |
Andrea Maggiolo-Schettini and Adriano Peron.
Semantics of full statecharts based on graph rewriting.
In Proceedings of the International Workshop on Graph
Transformations in Computer Science, volume 776 of Lecture Notes in
Computer Science, pages 265-279. Springer-Verlag, 1994. |
| [MSP96] |
A. Maggiolo-Schettini and A. Peron.
A graph rewriting framework for statecharts semantics.
In Proceedings of the International Conference on Graph Grammars
(GRAGRA), volume 1996 of Lecture Notes in Computer Science, pages
107-121. Springer, 1996. [ .html | Abstract ] |
| [MSPT03] |
Andrea Maggiolo-Schettini, Adriano Peron, and Simone Tini.
A comparison of statecharts step semantics.
Theoretical Computer Science, 290(1):465-498, 2003. [ http | Abstract ] |
| [MTAL00] |
Stephen J. Mellor, Steve Tockey, Rodolphe Arthaud, and Phillipe Leblanc.
Software-platform-independent, precise action specifications for
UML.
Technical report, Project Technology, Inc., 2000. [ http | Abstract ] |
| [NW03] |
Andrey Naumenko and Alain Wegmann.
Triune continuum paradigm and problems of UML semantics.
Technical Report EPFL-IC-LAMS, CH-1015, Laboratory of Systematic
Modeling, Swiss Federal Institute of Technology - Lausanne, 2003. [ http | Abstract ] |
| [OMG01a] |
OMG.
Action semantics for the UML.
Response to OMG RFP ad/98-11-01 OMG ad/2001-08-04, Object Management
Group, 2001.
Newer version; does not include trace semantics appendix. [ .pdf ] |
| [OMG01b] |
OMG.
Action semantics for the UML.
Response to OMG RFP ad/98-11-01 OMG ad/2001-03-01, Object Management
Group, 2001.
Older version of action semantics; contains appendix with some
formalism. [ .pdf ] |
| [OMG02] |
OMG.
Human Usable Textual Notation (HUTN) Specification.
Final Adopted Specification ptc/02-12-01, Object Management Group,
2002. [ http | .pdf | Abstract ] |
| [OMG03] |
OMG.
UML specification.
Document formal/03-03-01, Object Management Group, 2003.
Version 1.5. |
| [OMG04a] |
OMG.
UML 2.0 infrastructure specification.
Document ptc/03-09-15, Object Management Group, 2004. [ .pdf | Abstract ] |
| [OMG04b] |
OMG.
UML 2.0 superstructure specification.
Document ptc/03-08-02, Object Management Group, 2004. [ Abstract ] |
| [OMG04c] |
OMG.
UML 2.0 superstructure specification.
Document ptc/04-10-02, Object Management Group, 2004. [ .pdf | Abstract ] |
| [OMG05a] |
OMG.
Semantics for a foundational subset for executable UML models -
request for proposal.
Request for Proposal ad/2005-04-02, Object Management Group, 2005. [ .pdf | Abstract ] |
| [OMG05b] |
OMG.
Unified Modeling Language: Superstructure version 2.0.
Document formal/05-07-04, Object Management Group, 2005. [ .pdf ] |
| [OMG06] |
OMG.
Unified Modeling Language: Superstructure version 2.1.
Document ptc/06-01-02, Object Management Group, January 2006. |
| [PS91] |
A. Pnueli and M. Shalev.
What is in a step: On the semantics of statecharts.
In Proceedings of the International Conference on Theoretical
Aspects of Computer Software (TACS'91), volume 526 of Lecture Notes in
Computer Science, pages 244-264. Springer, 1991. [ 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 ] |
| [Ree02] |
Trygve Reenskaug.
A rudimentary UML virtual machine.
Draft, 2002. [ 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 ] |
| [RJB05] |
J. Rumbaugh, I. Jacobson, and G. Booch.
The Unified Modeling Language Reference Manual.
Addison-Wesley, second edition, 2005. [ Abstract ] |
| [Rum98] |
B. Rumpe.
A note on semantics (with an emphasis on UML).
In Proceedings Second ECOOP Workshop on Precise Behavioral
Semantics (with an Emphasis on OO Business Specifications), pages 177-197.
Technische Universität München, TUM-I9813, 1998. [ .pdf | Abstract ] |
| [Rys03] |
O. Rysavy.
A survey on approaches to formal representation of UML.
Technical report, Brno University of Technology, 2003. [ http | 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 ] |
| [SDKB00] |
Jeffrey Smith, Scott DeLoach, Mieczyslaw Kokar, and Ken Baclawski.
Category theoretic approaches of representing precise UML
semantics.
In ECOOP'2000 Workshop on Defining Precise Semantics for UML,
2000. [ http | Abstract ] |
| [Sel03] |
B. Selic.
The pragmatics of model-driven development.
IEEE Software, 20(5):19-25, 2003. [ http | Abstract ] |
| [Sel04] |
Bran Selic.
On the semantic foundations of standard UML 2.0.
Draft, 2004. [ .pdf | Abstract ] |
| [SGW94] |
Bran Selic, Garth Gullekson, and Paul T. Ward.
Real-Time Object-Oriented Modeling.
John Wiley & Sons, Inc., 1994. [ 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 ] |
| [Ste01] |
P. Stevens.
On associations in the Unified Modeling Language.
In Proceedings of the 4th International Conference UML 2001 -
The Unified Modeling Language, Modeling Languages, Concepts, and Tools,
Toronto, Canada, October 1-5, 2001, volume 2185 of Lecture Notes in
Computer Science, pages 361-375. Springer-Verlag, 2001. |
| [Stö03] |
Harald Störrle.
Assert, Negate and Refinement in UML-2 Interactions.
In Workshop on Critical Systems Development with UML (CSDUML'03,
Proceedings), pages 79-94. Technical Report TUM-I0317, Institut für
Informatik, Technische Universität München, 2003. |
| [Tch02] |
Alexei Tchertchago.
Formal semantics for a UML fragment using UML/OCL metamodeling.
Technical report, Dresden University of Technology, 2002. [ 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 ] |
| [US94a] |
Andrew C. Uselton and Scott A. Smolka.
A compositional semantics for statecharts using labeled transition
systems.
In Proceedings of Concurrency Theory (CONCUR '94), volume 836
of Lecture Notes in Computer Science, pages 2-17. Springer-Verlag,
1994. [ Abstract ] |
| [US94b] |
Andrew C. Uselton and Scott A. Smolka.
A process algebraic semantics for statecharts via state refinement.
In Proceedings of IFIP Working Conference on Programming
Concepts, Methods and Calculi (PROCOMET), volume A-56 of IFIP
Transactions, pages 267-286. North-Holland, 1994. [ .pdf | 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 ] |
| [vdB94] |
M. von der Beeck.
A comparison of statecharts variants.
In Formal Techniques in Real-Time and Fault-Tolerant Systems
(FTRTFT'94), volume 863 of Lecture Notes in Computer Science, pages
128-148. Springer, 1994. [ Abstract ] |
| [vdB02] |
M. von der Beeck.
A structured operational semantics for UML-statecharts.
Software and Systems Modeling, 1(2):130-141, 2002. [ http | Abstract ] |
| [WB98] |
R. Wieringa and J. Broersen.
Minimal transition system semantics for lightweight class- and
behavior diagrams.
In Proceedings PSMT'98 Workshop on Precise Semantics for
Modeling Techniques. Technische Universität München TUM-I9803, 1998. [ 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 ] |