Dynamic Behaviour in UML Models: Semantic
Questions
On Line Proceedings
-
Semantics of UML Sequence Diagrams in PVS
Demissie B. Aredo
Department of Informatics, University of Oslo, Norway
-
From Activity Diagrams to Class Diagrams
João Paulo Barros (1) and Luìs Gomes (2)
(1) Instituto Politécnico de Beja,
Escola Superior de Tecnologia e Gestão
Beja, Portugal
(2) Universidade Nova de Lisboa,
Faculdade de Ciencias e Tecnologia,
Department of Electrical Engineering, Portugal
-
On Giving a Behavioural Semantics to Activity Graphs
Christie Bolton and Jim Davies
Oxford University - Computing Laboratory,
UK
-
Active Object Modeling
U. Brockmeyer, W. Damm, C. Essmann, J. Klose and I. Schinz
OFFIS/University of Oldenburg, Germany
-
A Semantic Model for the State Machine in the Unified Modeling Language
Kevin Compton(1), James Huggins(2) and Wuwei Shen(1)
(1) EECS Departement, University of Michigan, Ann Arbor, USA
(2) Computer Science Program, Kettering University, Flint, USA
-
A Way of Dealing with Behaviour of State Machine
E. Dominguez(1), A. L. Rubio(2) and M.A. Zapata(1)
(1) Dpto. de Informatica e Ingenieria de Sistemas, Universidad de Zaragoza, Spain
(2) Dpto. de Matematica Y Computacion, Universidad de La Roija, Spain
-
A Relationship between Sequence and Statechart Diagrams
Yves Dumond(1), Didier Girardet(1) and Flavio Oquendo(2)
(1) LLP/CESALP Laboratory, University of Savoy, Campus Scientific Le Bourget-du-Lac, France
(2) LLP/CESALP Laboratory, University of Savoy, ESIA Annecy, France
-
Modelling Concurrent Behaviour through Consistent Statechart Views
G. Engels(1), L. Groenewegen(2) and J. M. Kuster(1)
(1) Department of Computer Science, Universtity of Paderborn, Germany
(2) LIACS, Leiden Universtity, The Netherlands
-
Formal Validation of UML Statechart Diagrams Models
Stefania Gnesi(1), Diego Latella(2), Istvan Majzik(3) and Mieke Massink(2)
(1) CNR/Istituto di Elaborazione dell'Informazione, Italy
(2) CNR/Istituto CNUCE, Italy
(3) TUB/Dept. of Measurement and Information Systems, Hungary
-
Analysing Atomic Dynamic UML Notions by Surfing through the UML Metamodel
Martin Gogolla, Oliver Radfelder, Ralf Kollmann and Mark Richters
Computer Science Department, University of Bremen, Germany
-
Strengthening the Semantics of UML Collaboration Diagrams
Reiko Heckel and Stefan Sauer
Department of Computer Science and Mathematics, Univestity of Paderborn, Germany
-
UML Extensions for Quantitative Analysis
Kosmidis Konstantinos(1) and Huszerl Gábor(2)
(1) Institut of Computer Science III, FAU Erlangen, Nürnberg, Germany
(2) Dept. of Measurement and Information Systems,
Budapest University of Technology and Economics,
Hungary
-
Towards an Execution Engine for the UML
Francois Pennaneach and Gerson Sunye
IRISA/CNRS, Rennes, France
-
Validation of Dynamic Behavior in UML Using Colored Petri Nets
Robert G. Pettit(1) and Hassan Gomaa(2)
(1) The Aerospace Corporation, Chantilly, Virginia, USA
(2) Department of Information and Software Systems Engineering, George Mason University, USA
-
Towards a Rigorous Semantics of UML Supporting its Multiview Approach
G. Reggio, M. Cerioli and E. Astesiano
DISI - Università di Genova - Italy
-
Formalising UML Activity Diagrams using Finite State Processes
Roberto W. S. Rodrigues
Imperial College, Department of Computing, UK
-
Verifying Dynamic Properties of UML Models by Translation to the B Language and Toolkit
Colin Snook and Michael Butler
Department of Electronics and Computer Science, University of Southampton, UK
-
Some Questions Concerning Interactions and State Machines
Harald Störrle
Ludwig-Maximilians-Universität, München, Germany
-
Rigorously Automating Transformations of UML Behavior Models
Jon Whittle(1), João Araújo(2), Ambrosio Toval(3) and Jose Luis
Fernández Alemá(3)
(1) QSS / NASA Ames Research Center, Moffett Field, USA
(2) Departamento de Informática, Faculdade de Ciências e Tecnologia,
Universidade Nova de Lisboa, Portugal
(3) Software Engineering Research Group, Department of Informatics, University of Murcia, Spain
-
Designing Component Kits and Architectures with Catalysis
Alan Cameron Wills
TriReme International Ltd, UK
This is a chapter of a book.
The parts referring to the topic of the workshop are:
* Section 4.4 --- defining use-case postconditions in the vocabulary of the class
diagrams
* Section 4.4.2 --- refinement; and statechart transitions are use-cases or
operations
Last Updated: September 28, 2000