Modelling Java concurrency with Object-Z

Proceedings - 1st International Conference on Software Engineering and Formal Methods, SEFM 2003

Volumn , Issue , 2003, Pages 173-181

  Duke, R ^a   Wildman, L ^a   Long, B ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA PROGRAMMING LANGUAGE; LOCKS (FASTENERS); SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

CONSUMER SYSTEMS; FORMAL MODEL; JAVA THREAD; OBJECT Z; OBJECT-Z SPECIFICATION;

FORMAL METHODS;

MODELS; SPECIFICATIONS; SYSTEMS;

EID: 12444313896     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2003.1236219     Document Type: Conference Paper

References (14)

1. Brinch Hansen, P. Reproducible Testing of Monitors. Software - Practice and Experience, 8:721-729, 1978.
2. An Do. Specification-based testing of concurrent programs. Honours Thesis, School of Information Technology and Electrical Engineering, The University of Queensland, 2002.
3. Duke, R. and Rose, G. Formal Object-Oriented Specification Using Object-Z. Macmillan, 2000.
4. Dwyer, M., Clarke, L., and Nies, K. A compact Petri-net representation for concurrent programs. In Proceedings 17th International Conference on Software Engineering, pages 147-157, 1995.
5. Gosling, J., Joy, B., Steele, G., and Bracha, G. The Java Language Specification. Addison Wesley, 2nd edition, 2000. Also online at http://java.sun.com/docs/books/jls/index.html as at Sep 2002.
6. Hayes, I. Specification Case Studies. Prentice Hall, 2nd edition, 1993.
7. Lindholm, T. and Yellin, F. The Java Virtual Machine Specification. Addison Wesley, 2nd edition,1999.
8. Long, B., Hoffman, D., and Strooper, P. Tool support for testing concurrent Java components. IEEE Transactions of Software Engineering, accepted for publication 2003.
9. Long, B. and Long, B.W. Formal specification of Java concurrency to assist software verification. In Proceedings of the 5th International Workshop on Java for Parallel and Distributed Computing, April, 2003.
10. Long, B. and Strooper, P. A classification of concurrency failures in Java components. In Proceedings of the 1st International Workshop on Parallel and Distributed Systems: Testing and Debugging, April, 2003.
11. Magee, J. and Kramer, J. Concurrency: State Models and Java Programs. John Wiley & Sons, 1999.
12. Roscoe, A.W. The Theory and Practice of Concurrency. Prentice Hall International Series in Computer Science, 1997.
13. Smith, G. The Object-Z Specification Language. KluwerAcademic Publishers, 2000.
14. Welch, P.H. and Martin, J.M.R. A CSP model for Java multithreading. In P.Nixon and I.Ritchie, editors, Software Engineering for Parallel and Distributed Systems, pages 114-122, ICSE 2000, IEEE Computer Society Press, June, 2000.