<<UML>> 2000 WORKSHOP

Dynamic Behaviour in UML Models: Semantic Questions

On Line Proceedings

  1. Semantics of UML Sequence Diagrams in PVS
    Demissie B. Aredo
    Department of Informatics, University of Oslo, Norway
    Abstract      Paper

  2. 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
    Abstract      Paper

  3. On Giving a Behavioural Semantics to Activity Graphs
    Christie Bolton and Jim Davies
    Oxford University - Computing Laboratory, UK
    Abstract      Paper

  4. Active Object Modeling
    U. Brockmeyer, W. Damm, C. Essmann, J. Klose and I. Schinz
    OFFIS/University of Oldenburg, Germany
    Abstract      Paper

  5. 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
    Abstract      Paper

  6. 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
    Abstract      Paper

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

  8. 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
    Abstract      Paper

  9. 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
    Abstract      Paper

  10. 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
    Abstract      Paper

  11. Strengthening the Semantics of UML Collaboration Diagrams
    Reiko Heckel and Stefan Sauer
    Department of Computer Science and Mathematics, Univestity of Paderborn, Germany
    Abstract      Paper

  12. 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
    Abstract      Paper

  13. Towards an Execution Engine for the UML
    Francois Pennaneach and Gerson Sunye
    IRISA/CNRS, Rennes, France
    Abstract      Paper

  14. 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
    Abstract      Paper

  15. Towards a Rigorous Semantics of UML Supporting its Multiview Approach
    G. Reggio, M. Cerioli and E. Astesiano
    DISI - Università di Genova - Italy
    Abstract      Paper

  16. Formalising UML Activity Diagrams using Finite State Processes
    Roberto W. S. Rodrigues
    Imperial College, Department of Computing, UK
    Abstract      Paper

  17. 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
    Abstract      Paper

  18. Some Questions Concerning Interactions and State Machines
    Harald Störrle
    Ludwig-Maximilians-Universität, München, Germany
    Abstract      Paper

  19. 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
    Abstract      Paper

  20. Designing Component Kits and Architectures with Catalysis
    Alan Cameron Wills
    TriReme International Ltd, UK
    Paper
    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