Activity graphs and processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1945 LNCS, Issue , 2000, Pages 77-96

  Bolton, Christie ^a   Davies, Jim ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING PROCEDURES; SEMANTICS; SOFTWARE DESIGN; UNIFIED MODELING LANGUAGE; COMPUTATIONAL LINGUISTICS;

COMMUNICATING SEQUENTIAL PROCESS; DIAGRAMMATIC NOTATION; DYNAMIC PROPERTY; GRAPHICAL NOTATION; OBJECT MODEL; PROCESS SEMANTICS;

FORMAL METHODS;

EID: 84894547429     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40911-4_6     Document Type: Conference Paper

References (25)

1. D. Amyot, L. Logrippo, R.J.A. Buhr, and T. Gray. Use case maps for the capture and validation of distributed systems requirements. In Proceedings of RE '99, 1999.
2. C. Bolton and J. Davies. Using relational and behavioural semantics in the verification of object models. In C. Talcott and S. Smith, editors, Proceedings of FMOODS '00. Kluwer Academic Publishers, 2000. To appear.
3. C. Bolton, J. Davies, and J. Woodcock. On the refinement and simulation of data types and processes. In K. Araki, A. Galloway, and K. Taguchi, editors, Proceedings of IFM'99. Springer, 1999.
4. E. Bcirger, A. Cavarra, and E. Riccobene. Modeling the dynamics of UML state machines. In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, editors, Proceedings of ASM'00, LNCS. Springer-Verlag, 2000.
5. H. Bowman and J. Derrick. A junction between state-based and behavioural specification. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Proceedings of FMOODS '99. Kluwer, 1999.
6. S. J. Creese and A. W. Roscoe. Verifying an independent family of inductions simultaneously using data independence and fdr. In Proceedings of FORTE/PSTV '99. Kluwer Academic Press, 1999.
7. R. Duke, G. Rose, and G. Smith. Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces, 17:511 - 533, 1995.
8. A.S. Evans, R.B. France, K.C. Lano, and B. Rumpe. Developing the UML as a formal modelling notation. In J. Bezivin and P.-A. Muller, editors, UML'98 - Beyond the notation, volume 1618 of LNCS. Springer, 1998.
9. C. Fischer. How to combine Z with a process algebra. In J. Bowen, A. Fett, and M. Hinchey, editors, Proceedings of ZUM '98, volume 1493 of LNCS. Springer- Verlag, 1998.
10. C. Fischer. Combination and implementation of processes and data: from csp-oz to java. PhD thesis, University of Oldenburg, 2000.
11. R. B. France, J.-M. Bruel, M. M. Larrondo-Petrie, and M. Shroff. Exploring the semantics of UML type structures with Z. In H. Bowman and J. Derrick, editors, Proceedings of FMOODS '97, volume 2. Chapman and Hall, 1997.
12. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 1987.
13. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
14. D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML statechart diagrams. In A. Fantechi P. Ciancarini and R. Gorrieri, editors, Proceedings of FMOODS '99. Kluwer, 1999.
15. R. Lazic. A semantic study of data independence with applications to model checking. PhD thesis, University of Oxford, 1999.
16. J. Lilius and I. Porres Paltor. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, UML'99 - The Unified Modeling Language, volume 1723 of LNCS. Springer, 1999.
17. Object Management Group. Unified Modeling Language Specification, version 1.3. Rational Software Corporation, Santa Clara, CA 95051, USA, June 1999.
18. J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall International, 1981.
19. precise UML group, http://www.cs.york.ac.uk/puml/2000.
20. Rational Software Corporation, Santa Clara, CA 95051, USA. Rational Rose. http://www.rational.com/products/rose.
21. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall Series in Computer Science, 1998.
22. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language reference manual. Addison-Wesley, 1997.
23. G. Smith. The Object-Z specification language. Kluwer Academic Publishers, 2000.
24. J. M. Spivey. The Z notation: A reference manual. Prentice-Hall International, 1992.
25. J. C. P. Woodcock and J. Davies. Using Z: Specification, Proof and Refinement. Prentice Hall International Series in Computer Science, 1996.