Modelling concurrent interactions

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

Volumn 3116, Issue , 2004, Pages 304-318

  Küster Filipe, Juliana ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPHIC METHODS; RECONFIGURABLE HARDWARE; SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATIONS;

COMMUNICATION LOGIC; CONCURRENT INTERACTIONS; EDINBURGH CONCURRENCY WORK BENCHES; EVENT STRUCTURES; OBJECT SPECIFICATIONS; SEQUENCE DIAGRAMS; STATE BASED; SYNTHESISED;

COMPUTER CIRCUITS;

EID: 27944488482     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27815-3_25     Document Type: Article

References (11)

1. J. Bradfield, J. Ktister-Filipe, and P. Stevens. Enriching OCL using observational mu-calculus. In Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, LNCS 2306, pages 203-217. Springer, 2002.
2. A. Cavarra and J. Küster-Filipe. Combining sequence diagrams and OCL for liveness. In Proceedings of the Semantic Foundations of Engineering Design Languages (SFEDL), ETAPS 2004. Barcelona, Spain, 2004. To appear in ENTCS.
3. H.-D. Ehrich and A. Sernadas. Local Specification of Distributed Families of Sequential Objects. In Recent Trends in Data Types Specification, pages 219-235. Springer, LNCS 906, 1995.
4. D. Harel and R. Marelly. Come, Let's Play: Scenario-based Programming Using LSCs and the Play-Engine. Springer, 2003.
5. I. Krueger. Capturing overlapping, triggered, and preemptive collaborations using MSCs. In Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering, LNCS 2621, pages 387-402. Springer, 2003.
6. J. Küster-Filipe. Foundations of a Module Concept for Distributed Object Systems. PhD thesis, Technische Universität Braunschweig, Germany, September 2000.
7. J. Küster-Filipe. Fundamentals of a module logic for distributed object systems. Journal of Functional and Logic Programming, 2000(3), March 2000.
8. OMG. UML 2.0 Superstructure Draft Adopted Specification. OMG document ptc/03-08-02, available from www.uml.org, August 2003.
9. A. Roychoudhury and P.S. Thiagarajan. Communicating transaction processes. In Proceedings of the Third International Conference on Application of Concurrency to System Design, pages 157- 166. IEEE Computer Society Press, 2003.
10. G. Winskel and M. Nielsen. Models for Concurrency. In S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, Vol. 4, Semantic Modelling, pages 1-148. Oxford Science Publications, 1995.
11. ITU-TS Recommendation Z.120. Message Sequence Chart (MSC). ITU-TS, Geneva, 1996.