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

Electronic Notes in Theoretical Computer Science

Volumn 70, Issue 3, 2002, Pages 282-296

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

^a UNIVERSITY OF LISBON   (Portugal)

^b ATX Software SA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAM LISTINGS; DISTRIBUTED COMPUTER SYSTEMS; PARALLEL PROCESSING SYSTEMS; TOPOLOGY;

ACTION-BASED SYSTEMS; PROGRAM DESIGN; STEPWISE REFINEMENT METHOD; SUPERPOSITION;

COMPUTER SCIENCE;

EID: 23844516209     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)82562-9     Document Type: Conference Paper

References (19)

1. Allen, R., and D.Garlan, "A Formal Basis for Architectural Connectors", ACM TOSEM, 6(3):213-249, 1997.
2. Bougé, L., and N.Francez, "A compositional approach to superposition", Proc. of 14th ACM POPL, pages 240-249, 1988.
3. Bosch, J., "Superimposition - A Component Adaptation Technique", Information and Software Technology 1999.
4. Back, R.J., "Refinement calculus II: Parallel and reactive programs", in J. deBakker,W. deRoever and G.Rozenberg (eds), Stepwise Refinement of Distributed Systems, LNCS 430, pages 67-93, Springer-Verlag, 1990.
5. Back, R.J., and K.Sere, "Superposition Refinement of Reactive Systems", Formal Aspects of Computing, 8(3):324-346, 1996.
6. Chandy, K., and J.Misra, Parallel Program Design - A Foundation, Addison-Wesley 1988.
7. Dijkstra, E., A Discipline of Programming, Prentice-Hall International 1976.
8. Francez, F., and I.Forman, Interacting Processes, Addison-Wesley 1996.
9. Fiadeiro, J.L., and A.Lopes, "Semantics of Architectural Connectors", in Proceedings of TAPSOFT'97, LNCS 1214, pages 505-519, Springer-Verlag, 1997.
10. Fiadeiro, J.L., and T.Maibaum, "Categorical Semantics of Parallel Program Design", Science of Computer Programming, 28:111-138,1997.
11. Goguen, J., "Categorical Foundations for General Systems Theory", in F.Pichler and R.Trappl (eds), Advances in Cybernetics and Systems Research, Transcripta Books 1973, 121-130.
12. Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall International 1985.
13. Katz, K., "A Superimposition Control Construct for Distributed Systems", ACM TOPLAS 15(2):337-356, 1993.
14. Lopes, A., "Non-determinism and compositionality in the specification of reactive systems", PhD thesis, Universidade de Lisboa, January 1999.
15. Lopes, A.,and J.L.Fiadeiro, "Preservation and Reflection in Specification", in M.Johnson (ed), Proceedings of AMAST'97, LNCS 1349, pages 380- 394, Springer-Verlag, 1997.
16. Lopes, A., J.L.Fiadeiro and M.Wermelinger, "Architectural Primitives for Distribution and Mobility", 10th Symposium on Foundations of Software Engineering, in print.
17. Lopes, A., J.L.Fiadeiro, "Using explicit state do describe architectures", Proceedings of Fundamental Approaches to Software Engineering, LNCS 1577, pages 144-160, Springer-Verlag, 1999.
18. Shaw, M. and D.Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall, 1996.
19. Wermelinger, M. and J.L.Fiadeiro, "Connectors for Mobile Programs", IEEE Transactions on Software Engineering 24(5), 1998, 331-341.