Formalising Behaviour Trees with CSP

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

Volumn 2999, Issue , 2004, Pages 148-167

  Winter, Kirsten ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; MODEL CHECKING; REQUIREMENTS ENGINEERING; SEMANTICS;

BEHAVIOUR TREES; FORMAL SEMANTICS; FRONT END; MODELLING STRATEGIES; TOOL SUPPORT;

FORESTRY;

EID: 35048868379     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24756-2_9     Document Type: Article

References (9)

1. [BD00] C. Bolton and J. Davies. Activity graphs and processes. In W. Grieskamp, T. Santen, and B. Stoddart, editors, Int. Conference on Integrated Formal Methods (IFM 2000), volume 1945 of Lecture Notes in Computer Science, pages 77 - 96. Springer-Verlag, 2000.
2. [BRJ99] G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modelling Language User Guide. Addison-Wesley, 1999.
3. [Dro03] R.G. Dromey. From requirements to design: Formalizing the key steps. In A. Cerone and P. Lindsay, editors, Int. Conference on Software Engineering and Formal Methods (SEFM 2003), pages 2-11. IEEE Computer Society, 2003.
4. [For96] Formal Systems (Europe) Ltd. Failure Divergence Refinement, FDR 2.0, User Manual, August 1996.
5. [Har87] D. Harel. Statecharts: Visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
6. [HD99] D. Harel and W. Damm. LSCs: Breathing life into message sequence charts. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, IFIP Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 99), pages 293-312. Kluwer Academic Publishers, 1999.
7. [Hoa85] C.A.R. Hoare. Communicating Sequential Processes. Series in Computer Science. Prentice Hall, 1985.
8. [NB02] M.Y. Ng and M. Butler. Tool support for visualizing CSP in UML. In C. George and H. Miao, editors, Int. Conference on Formal Engineering Methods (ICFEM S002), volume 2495 of Lecture Notes in Computer Science, pages 287-298. Springer-Verlag, 2002.
9. [Ros98] A.W. Roscoe. The Theory and Practice of Concurrency. Series in Computer Science. Prentice Hall, 1998.