Abstract
In UML 2.0 sequence diagrams have been considerably extended but their expressiveness and semantics remains problematic in several ways. In other work we have shown how sequence diagrams combined with an OCL liveness template gives us a much richer language for inter-object behaviour specification. In this paper, we give a semantics of these enriched diagrams using labelled event structures. Further, we show how sequence diagrams can be embedded into a true-concurrent two-level logic interpreted over labelled event structures. The top level logic, called communication logic, is used to describe inter-object specification, whereas the lower level logic, called home logic, describes intra-object behaviour. An interesting consequence of using this logic relates to how state-based behaviour can be synthesised from inter-object specifications. Plans of extending the Edinburgh Concurrency Workbench in this context are discussed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bradfield, J., Küster-Filipe, J., Stevens, P.: Enriching OCL using observational mu-calculus. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 203–217. Springer, Heidelberg (2002)
Cavarra, A., Küster-Filipe, J.: Combining sequence diagrams and OCL for liveness. In: Proceedings of the Semantic Foundations of Engineering Design Languages (SFEDL), ETAPS 2004, Barcelona, Spain, To appear in ENTCS (2004)
Ehrich, H.-D., Sernadas, A.: Local Specification of Distributed Families of Sequential Objects. In: Reggio, G., Astesiano, E., Tarlecki, A. (eds.) Abstract Data Types 1994 and COMPASS 1994. LNCS, vol. 906, pp. 219–235. Springer, Heidelberg (1995)
Harel, D., Marelly, R.: Come, Let’s Play: Scenario-based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
Krueger, I.: Capturing overlapping, triggered, and preemptive collaborations using MSCs. In: Pezzé, M. (ed.) FASE 2003. LNCS, vol. 2621, pp. 387–402. Springer, Heidelberg (2003)
Küster-Filipe, J.: Foundations of a Module Concept for Distributed Object Systems. PhD thesis, Technische Universität Braunschweig, Germany (September 2000)
Küster-Filipe, J.: Fundamentals of a module logic for distributed object systems. Journal of Functional and Logic Programming, 2000(3) (March 2000)
OMG. UML 2.0 Superstructure Draft Adopted Specification. OMG document ptc/03-08-02 August (2003), available from http://www.uml.org
Roychoudhury, A., Thiagarajan, P.S.: Communicating transaction processes. In: Proceedings of the Third International Conference on Application of Concurrency to System Design, pp. 157–166. IEEE Computer Society Press, Los Alamitos (2003)
Winskel, G., Nielsen, M.: Models for Concurrency. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, Semantic Modelling, vol. 4, pp. 1–148. Oxford Science Publications, Oxford (1995)
ITU-TS Recommendation Z.120. Message Sequence Chart (MSC). ITU-TS, Geneva (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Küster-Filipe, J. (2004). Modelling Concurrent Interactions. In: Rattray, C., Maharaj, S., Shankland, C. (eds) Algebraic Methodology and Software Technology. AMAST 2004. Lecture Notes in Computer Science, vol 3116. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27815-3_25
Download citation
DOI: https://doi.org/10.1007/978-3-540-27815-3_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22381-8
Online ISBN: 978-3-540-27815-3
eBook Packages: Springer Book Archive