Modelling concurrent interactions

Theoretical Computer Science

Volumn 351, Issue 2, 2006, Pages 203-220

  Küster Filipe, Juliana ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

Distributed temporal logic; Labelled event structures; Semantics; Sequence diagrams; UML 2.0

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTER GRAPHICS; FORMAL LOGIC; INFORMATION TECHNOLOGY; MATHEMATICAL MODELS; SEMANTICS;

DISTRIBUTED TEMPORAL LOGIC; LABELLED EVENT STRUCTURES; SEQUENCE DIAGRAMS; UML 2.0;

SOFTWARE ENGINEERING;

EID: 31544443827     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.09.068     Document Type: Conference Paper

References (15)

1. J. Bradfield, J. Küster-Filipe, P. Stevens, Enriching OCL using observational mu-calculus, in: FASE 2002, Lecture Notes in Computer Science, Vol. 2306, Springer, Berlin, 2002, pp. 203-217.
2. A. Cavarra, J. Küster-Filipe, Combining sequence diagrams and OCL for liveness, in: Proc. Semantic Foundations of Engineering Design Languages (SFEDL), Workshop at ETAPS 2005, Barcelona, Spain, 2005, ENTCS, Vol. 115, Elsevier Amsterdam, pp. 19-38.
3. H.-D. Ehrich, C. Caleiro, A. Sernadas, G. Denker, Logics for Specifying Concurrent Information Systems, Logics for Databases and Information Systems, Kluwer Academic Publishers, Dordrecht, 1998, pp. 167-198.
4. B. Genest, M. Minea, A. Muscholl, D. Peled, Specifying and Verifying Partial Order Properties using Template MSCs, FOSSACS 2004, Lecture Notes in Computer Science, Vol. 2987, Springer, Berlin, 2004, pp. 195-210.
5. D. Harel, and R. Marelly Come, Let's Play: Scenario-based Programming using LSCs and the Play-Engine 2003 Springer Berlin
6. ITU-TS Recommendation Z.120 (11/99): MSC 2000. ITU-TS, Geneva, 1999.
7. I. Krueger, Capturing overlapping, triggered, and preemptive collaborations using MSCs, in: FASE 2003, Lecture Notes in Computer Science, Vol. 2621, Springer, Berlin, 2003, pp. 387-402.
8. J. Küster-Filipe, Foundations of a module concept for distributed object systems, Ph.D. Thesis, Technische Universität Braunschweig, Germany, September 2000.
9. J. Küster-Filipe, Fundamentals of a module logic for distributed object systems, J. Funct. Logic Programming 2000 (3).
10. M. Mukund, M. Nielsen, CCS, locations and asynchronous transition systems, in: FSTTCS 1992, Lecture Notes in Computer Science, Vol. 652, Springer, Berlin, 1992, pp. 328-341.
11. OMG, UML 2.0 Superstructure Draft Adopted Specification, OMG document ptc/03-08-02, available from < www.uml.org >, August 2003.
12. A. Roychoudhury, and P. Thiagarajan Communicating transaction processes ACSD'03 2003 IEEE Computer Society Press Silverspring, MD 157 166
13. B. Sengupta, R. Cleaveland, Triggered message sequence charts, in: ACM SIGSOFT 2002, 10th Internat. Symp. on the Foundations of Software Engineering, 2002.
14. S. Smith, and C. Talcott Specification diagrams for actor systems Higher-Order Symbolic Comput. 15 4 2002 301 348
15. G. Winskel, and M. Nielsen Models for Concurrency, Handbook of Logic in Computer Science Semantic Modelling Vol. 4 1995 Oxford Science Publications Oxford 1 148