On the emergence of properties in component-based systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1101, Issue , 1996, Pages 421-443

  Fiadeiro, J L ^a  

^a UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SOFTWARE ENGINEERING;

COMPONENT BASED SYSTEMS; COMPONENT SPECIFICATION; CONCURRENT SYSTEMS; CONNECT COMPONENTS; INDIVIDUAL COMPONENTS; MORPHISMS; RELY GUARANTEES; SYSTEM SPECIFICATION;

SPECIFICATIONS;

EID: 84947911980     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0014331     Document Type: Conference Paper

References (20)

1. M.Abadi and L.Lamport, "Composing Specifications," ACM TOPLAS 15(1), 1993, 73-132.
2. R.Back and R.Kurki-Suonio, "Distributed Cooperation with Action Systems," ACM TOPLAS 10(4), 1988, 513-554.
3. N.Barreiro, J.Fiadeiro and T.Maibaum, "Politeness in Object Societies," in R.Wieringa and R.Feenstra (eds) Information Systems - Correctness and Reusability, World Scientific Publishing Company 1995, 119-134.
4. L.Bougé and N.Francez, "A Compositional Approach to Superimposition," in Proc. 15th ACM Symposium on Principles of Programming Languages, ACM Press 1988, 240-249.
5. R.Burstall and J.Goguen, "Putting Theories together to make Specifications," in R.Reddy (ed) Proc Fifth International Joint Conference on Artificial Intelligence, 1977, 1045-1058.
6. K.Chandy and J.Misra, Parallel Program Design-A Foundation, Addison-Wesley 1988.
7. P.Collette, "Application of the Composition Principle to UNITY-like Specifications," in M.C.Gaudel and J.P.Jouannaud (eds)TAPSOFT'93, LNCS 668, Springer-Verlag 1993, 230-242.
8. J.Fiadeiro and T.Maibaum, "Temporal Theories as Modularisation Units for Concurrent System Specification," Formal Aspects of Computing 4(3), 1992, 239-272.
9. J.Fiadeiro and T.Maibaum, "Interconnecting Formalisms: supporting modularity, reuse and incrementality," in G.E.Kaiser (ed) Proc. 3rd Symp. on Foundations of Software Engineering, ACM Press 1995, 72-80.
10. J.Fiadeiro and T.Maibaum, Categorical Semantics of Parallel Program Design, Technical Report, available at http://www.di.fc.ul.pt/∼llf
11. N.Francez and I.Forman, "Superimposition for Interacting Processes," in CONCUR'90, LNCS 458, Springer-Verlag 1990, 230-245.
12. J.Goguen, "Mathematical Representation of Hierarchically Organised Systems," in E.Attinger (ed) Global Systems Dynamics, Krager 1971, 112-128.
13. J.Goguen, "Categorical Foundations for General Systems Theory," in F.Pichler and R.Trappl (eds) Advances in Cybernetics and Systems Research, Transcripta Books 1973, 121-130.
14. J.Goguen and R.Burstall, "Institutions: Abstract Model Theory for Specification and Programming," Journal of the ACM39(1), 1992, 95-146.
15. J.Goguen and S.Ginali, "A Categorical Approach to General Systems Theory," in G.Klir (ed) Applied General Systems Research, Plenum 1978, 257-270.
16. R.Goldblatt, Logics of Time and Computation, CSLI 1987.
17. S.Katz, "A Superimposition Control Construct for Distributed Systems," ACM TOPLAS 15(2), 1993, 337-356.
18. R.Kurki-Suonio and H.Järvinen, "Action System Approach to the Specification and Design of Distributed Systems," inProc. 5th Int. Workshop on Software Specification and Design, IEEE Press 1989, 34-40.
19. Z.Manna and A.Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag 1991.
20. D.Sannella and A.Tarlecki, "Building Specifications in an Arbitrary Institution," Information and Control 76, 1988, 165-210.