Superposition: Composition vs refinement of non-deterministic, action-based systems

Formal Aspects of Computing

Volumn 16, Issue 1, 2004, Pages 5-18

  Lopes, Antónia ^a,c   Fiadeiro, José Luiz ^b  

^a UNIVERSITY OF LISBON   (Portugal)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

^c UNIVERSITY OF LISBON   (Portugal)

Author keywords

Composition; Refinement; Superposition

Indexed keywords

ALGEBRA; COMPUTATIONAL METHODS; COMPUTER SOFTWARE; CRYSTALLIZATION; DATA REDUCTION; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PARALLEL PROCESSING SYSTEMS; SEMANTICS; SOFTWARE ENGINEERING;

ACTION-BASED SYSTEMS; REFINEMENT; SEMANTIC LEVELS; SUPERPOSITION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 21044457100     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00165-003-0021-6     Document Type: Conference Paper

References (19)

1. [AlG97] Allen R, Garlan D (1997) A formal basis for architectural connectors. ACM TOSEM 6(3):213-249
2. [BoF88] Bougé L, Francez N (1988) A compositional approach to superposition. In: Proceedings of the 14th ACM POPL, pp 240-249
3. [Bos99] Bosch J (1999) Superimposition: a component adaptation technique. Inf Software Technol
4. [Bac90] Back RJ (1990) Refinement calculus II: parallel and reactive programs. Stepwise Refinement of Distributed Systems, LNCS 430, Springer, Berlin Heidelberg New York, pp 67-93
5. [BaS96] Back RJ, Sere K (1996) Superposition refinement of reactive systems. Formal Aspects Comput 8(3):324-346
6. [ChM88] Chandy K, Misra J (1988) Parallel program design: a foundation. Addison-Wesley
7. [Dij76] Dijkstra E (1976) A discipline of programming. Prentice-Hall International
8. [FrF96] Francez N, Forman I (1996) Interacting processes. Addison-Wesley
9. [FiL97] Fiadeiro JL, Lopes A (1997) Semantics of architectural connectors. In: Proceedings of TAPSOFT'97, LNCS 1214. Springer, Berlin Heidelberg New York, pp 505-519
10. [FiM97] Fiadeiro JL, Maibaum T (1997) Categorical semantics of parallel program design. Sci Comput Programming 28:111-138
11. [Gog73] Goguen J (1973) Categorical foundations for general systems theory. In: Advances in Cybernetics and Systems Research. Transcripta Books, pp 121-130
12. [Hoa85] Hoare CAR (1985) Communicating sequential processes. Prentice-Hall International
13. [Kat93] Katz S (1993) A Superimposition control construct for distributed systems. ACM TOPLAS 15(2):337-356
14. [Lop99] Lopes A (1999) Non-determinism and compositionality in the specification of reactive systems. PhD Thesis, Universidade de Lisboa
15. [LoF97] Lopes A, Fiadeiro JL (1997) Preservation and reflection in specification. In: Proceedings of AMAST'97 LNCS 1349. Springer, Berlin Heidelberg New York, pp 380-394
16. [LFW02] Lopes A, Fiadeiro JL, Wermelinger M (2002) Architectural primitives for distribution and mobility. In: Proceedings of 10th symposium on the foundations of software engineering, ACM Press, pp 41-50
17. [LoF99] Lopes A, Fiadeiro JL (1999) Using explicit state to describe architectures. In: Proceedings of fundamental approaches to software engineering, LNCS 1577. Springer, Berlin Heidelberg New York, pp 144-160
18. [ShG96] Shaw M, Garlan D (1996) Software architecture: perspectives on an emerging discipline. Prentice-Hall
19. [WeF98] Wermelinger M, Fiadeiro JL (1998) Connectors for mobile programs. IEEE Trans Software Eng 24(5):331-341