Modelling component behaviour with concurrent automata

Electronic Notes in Theoretical Computer Science

Volumn 141, Issue 3, 2005, Pages 199-220

  Moschoyiannis, Sotiris ^a   Shields, Michael W ^a   Krause, Paul J ^a  

^a UNIVERSITY OF SURREY   (United Kingdom)

Author keywords

Automata; Component behaviour; Concurrency

Indexed keywords

CONCURRENCY CONTROL; INTERFACES (COMPUTER); MATHEMATICAL MODELS; NETWORK PROTOCOLS; SYSTEMS ANALYSIS;

COMPONENT BEHAVIOUR; COMPONENT INTERFACES; CONCURRENCY; CONCURRENT AUTOMATA;

AUTOMATA THEORY;

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

References (29)

1. S. Becker, R.H. Reussner, and V. Firus. Specifying Contractual Use, Protocols and Quality Attributes for Software Components. In Proc. of 1st Int'l Workshop on Component Engineering and Methodology, pages 13-22, 2003
2. M.A. Bednarczyk. Categories of Asynchronous Systems. PhD thesis, University of Sussex, 1988
3. M. Broy Algebraic Specification of Reactive Systems Theoretical Computer Science 239 2000 2000 3 40
4. W. Damm, and D. Harel LCSs: Breathing Life into Message Sequence Charts Formal Methods in System Design 19 1 2001 45 80
5. B.A. Davey, and H.A. Priestley Introduction to Lattices and Order Cambridge Mathematical Textbooks 1990 Cambridge University Press
6. L. de Alfaro, and T. Henzinger Interface Automata Proc. of Foundations of Software Engineering (FSE'01) 2001 ACM Press 109 120
7. D. Harel Statecharts: A Visual Formalism for Complex Systems Science of Computer Programming 8 3 June 1987 231 274
8. D. Harel, and A. Naamad The STATEMATE Semantics of Statecharts ACM Trans. on Software Engineering and Methodology 5 4 October 1996 293 333
9. C. Heitmeyer Managing Complexity in Software Development with Formally Based Tools Proc. ETAPS 2004 workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA'04) ENTCS 108 2004 11 19 Elsevier
10. T.H. Hildebrandt and V. Sassone. Comparing Transition Systems with Independence and Asynchronous Transitions Systems. Technical Report RS-96-18, BRICS Report Series, University of Aarhus, June, 1996
11. C.A.R. Hoare Communicating Sequential Processes 1985 Prentice Hall
12. R. Janicki, and P.E. Lauer Specification and Analysis of Concurrent Systems: The COSY Approach EATCS Monographs in Theoretical Computer Science volume 26 1992 Springer Verlag
13. J. Küster-Filipe Modelling Concurrent Interactions C. Rattray S. Maharaj C. Shankland Proceedings of Algebraic Methodology and Software Technology (AMAST 2004) Lecture Notes in Computer Science volume 3116 2004 Springer 304 318
14. M.Z. Kwiatkowska. Fairness in Non-Interleaving Concurrency. PhD thesis, University of Leicester, 1989
15. B. Meyer Applying "design by contract" IEEE Computer 25 1992 40 51
16. A.J.R. Milner Communication and Concurrency 1989 Prentice Hall
17. S. Moschoyiannis Generating Snapshots of a Component Setting Proc. ETAPS 2004 workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA'04) ENTCS 108 2004 83 98 Elsevier
18. S. Moschoyiannis, and M.W. Shields A Set-Theoretic Framework for Component Composition Fundamenta Informaticae 59 4 2004 373 396
19. S. Moschoyiannis, M. W. Shields, and J. Küster-Filipe. Formalising Well-Behaved Components. In H. Dang Van and Z. Liu, editors, Proc. of FME 2003, workshop on Formal Aspects of Component Software (FACS'03), pages 121-142. UNU/IST Report No. 284, 2003
20. M. Nielsen, G. Plotkin, and G. Winskel Petri Nets, Event Structures and Domains, part 1 Theoretical Computer Science 13 1981 85 108
21. OMG UML 2.0 Superstructure Draft Adopted Specification OMG document ad/03-01-07, available from http://www.omg.org August 2003
22. C.A. Petri Concurrency G. Goos J. Hartmanis Proceedings of Advanced Course on General Net Theory of Processes and Systems Lecture Notes in Computer Science volume 84 1979 Springer-Verlag 251 260
23. M.W. Shields Concurrent Machines Computer Journal 28 1985 449 465
24. M.W. Shields Behavioural Presentations de Bakker de Roever Rozenberg Linear Time, Branching Time and Partial Orders in Logics and Models for Concurrency Lecture Notes in Computer Science volume 354 1988 Springer Verlag 671 689
25. M.W. Shields Semantics of Parallelism 1997 Springer-Verlag London
26. M.W. Shields. An Automata Theory for Components. Technical Report SCOMP-TC-04-04, Department of Computing, University of Surrey, 2004
27. M.W. Shields and S. Moschoyiannis. An Automata-Theoretic View of Software Components. Technical Report SCOMP-TC-02-04, Department of Computing, University of Surrey, 2004
28. R. van Ommering Building Product Populations with Software Components Proceedings of International Conference on Software Engineering (ICSE'02) 2002 ACM Press 255 265
29. G. Winskel, and M. Nielsen Models for Concurrency S. Abramsky D. Gabbay T. Maibaum Handbook of Logic in Computer Science, vol. 4, Semantic Modelling 1995 Oxford Science Publications 1 148