Generating snapshots of a component setting

Electronic Notes in Theoretical Computer Science

Volumn 108, Issue , 2004, Pages 83-98

  Moschoyiannis, Sotiris ^a  

^a UNIVERSITY OF SURREY   (United Kingdom)

Author keywords

Behaviour; Interactions; LSCs; Vector semantics

Indexed keywords

COMPUTER SCIENCE; EMBEDDED SYSTEMS; SEMANTICS; SOFTWARE ENGINEERING; VECTORS;

BEHAVIOR; INTERACTIONS; LIVE SEQUENCE CHARTS (LSC); VECTOR SEMANTICS;

COMPUTER SOFTWARE;

EID: 23144435349     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.01.014     Document Type: Conference Paper

References (16)

1. M. Broy Algebraic Specification of Reactive Systems Theoretical Computer Science 239 2000 2000 3 40
2. W. Damn, and D. Harel LCSs: Breathing Life into Message Sequence Charts Formal Methods in System Design 19 1 2001 45 80
3. L. de Alfaro, and T. Henzinger Interface Automata Foundations of Software Engineering (FSE'01) 2001 ACM Press 109 120
4. D. Harel, and R. Marelly Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine 2003 Springer-Verlag
5. J. Klose, and H. Wittke An Automata-based Interpretation of Live Sequence Charts T. Margaria W. Yi TACAS 2001 LNCS volume 2031 2001 Springer
6. J. Küster Filipe Giving Life to Agent Interactions H.-D. Ehrich J.-J. Meyer M. Ryan Agent, Objects and Features: Structuring mechanisms for contemporary software LNCS 2004 Springer To appear
7. S. Moschoyiannis, and M.W. Shields A Set-Theoretic Framework for Component Composition Fundamenta Informaticae 59 4 2004 373 396
8. S. Moschoyiannis, M.W. Shields, and J. Küster Filipe Formalising Well-Behaved Components Proceedings Formal Aspects of Component Software (FACS), satellite workshop of FME'03 UNU/IST No. 284 2003 121 142
9. M. Nielsen, G. Plotkin, and G. Winskel Petri Nets, Event Structures and Domains, part 1 Theoretical Computer Science 13 1981 85 108
10. OMG. UML 2.0 Superstructure Draft Adopted Specification. OMG document ad/03-01-07, available from http://www.omg.org, August 2003
11. M.W. Shields Behavioural Presentations de Bakker de Roever Rozenberg Linear Time, Branching Time and Partial Orders in Logics and Models for Concurrency, volume 354 1988 Springer Verlag 671 689
12. M.W. Shields and D. Pitt. Component-Based Systems I: Theory of a Single Component. Technical Report SCOMP-TC-01-01, University of Surrey, 2001
13. C. Szyperski Component Software: Beyond Object-Oriented Programming 1997 Addison Wesley
14. R. van Ommering Horizontal Communication: a Style to Compose Control Software. Software: Practice and Experience 2003 To appear
15. R. van Ommering, F. van der Linden, J. Kramer, and J. Magee The Koala Component Model for Consumer Electronics IEEE Transactions on Computers 33 3 2000 78 85
16. ITU-TS Recommendation Z. 120. Message Sequence Chart (MSC). ITU-TS, 1996