Concurrency and refinement in the unified modeling language

Electronic Notes in Theoretical Computer Science

Volumn 70, Issue 3, 2002, Pages 577-603

  Davies, Jim ^a   Crichton, Charles ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT ENGINEERING; FAILURE ANALYSIS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; SEMANTICS;

DIAGRAMS; FORMAL METHODS; SKETCHES; UNIFIED MODELING LANGUAGE (UML);

SOFTWARE ENGINEERING;

EID: 23844538461     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80494-3     Document Type: Conference Paper

References (8)

1. Engels, G., J. Kuster, R. Heckel and L. Groenewegen, A methodology for describing and analysing consistency of object-oriented behavioral models, in: 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2001.
2. Hoare, C., "Communicating Sequential Processes," Prentice Hall, 1985.
3. Magee, J. and J. Kramer, "Concurrency: state models and Java programs," Wiley, 1999.
4. Ober, I. and I. Stan, On the concurrent object model of uml, in: Proceedings of EuroPar99, LNCS 1685 (1999).
5. Object Management Group, UML 1.4 with Action Semantics, electronic document, OMG (2002). URL http://cgi.omg.org/cgi-bin/doc?ptc/2002-01-09
6. Roscoe, A. W., "Theory and Practice of Concurrency," Prentice Hall, 1997.
7. The AGEDIS project, Automated Generation and Execution of Test Suites for Distributed Systems, (EU-IST 1999-20218). URL http://www.agedis.de
8. Uchitel, S., J. Kramer and J. Magee, Detecting implied scenarios in message sequence chart specifications, in: 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2001.