Separating computation, coordination and configuration

Journal of Software Maintenance and Evolution

Volumn 14, Issue 5, 2002, Pages 353-369

  Andrade, Luís ^a   Fiadeiro, José Luiz ^a,b   Gouveia, João ^a   Koutsoukos, Georgios ^a  

^a ATX Software SA   (Portugal)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

Architectures; Coordination; Dynamic configuration; Modelling; Separation of concerns; Software evolution; Tools

Indexed keywords

COMPUTER SOFTWARE; INTERNET; NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING;

DYNAMIC CONFIGURATIONS;

SOFTWARE ENGINEERING;

EID: 0036760996     PISSN: 1532060X     EISSN: None     Source Type: Journal    
DOI: 10.1002/smr.260     Document Type: Article

References (36)

1. Booch G., Rumbaugh J., Jacobson I. The Unified Modelling Language User Guide. Addison-Wesley: Reading MA, 1998.
2. Szyperski C. Component Software: Beyond Object-Oriented Programming. Addison-Wesley: Reading MA, 1998.
3. Gamma E., Helm R., Johnson R., Vlissides J. Design Patterns: Elements of Reusable Object Oriented Software. Addison-Wesley: Reading MA, 1995.
4. Elrad T., Filman R., Bader A. (Guest eds.) Communications of the ACM 2001; 44(10). (special issue on Aspect Oriented Programming).
5. Kramer J. Exoskeletal software. Proceedings 16th International Conference on Software Engineering. IEEE Computer Society Press: Los Alamitos CA, 1994; 366.
6. Allen R., Garlan D. A formal basis for architectural connectors. ACM Transactions on Software Engineering Methodology 1993: 6(3):213-249.
7. Gelernter D., Carriero N. Coordination languages and their significance. Communications of the ACM 1992; 35(2):97-107.
8. Bass L., Clements P., Kazman R. Software Architecture in Practice. Addison-Wesley: Reading MA, 1998.
9. Proceedings 4th International Conference on Configurable Distributed Systems. IEEE Computer Society Press: Los Alamitos CA, 1998.
10. Kramer J. Configuration programming - a framework for the development of distributable systems. Proceedings of CompEuro'90. IEEE Computer Society Press: Los Alamitos CA, 1990; 374-384.
11. Carriero N., Gelernter D. LINDA in context. Communications of the ACM 1989; 32(4):444-458.
12. Andrade L.F., Fiadeiro J.L. Interconnecting objects via contracts. Proceedings UML'99 - Beyond the Standard (Lecture Notes in Computer Science, vol. 1723), France R., Rumpe B. (eds.). Springer: Berlin, 1999; 566-583.
13. Gouveia J., Koutsoukos G., Andrade L.F., Fiadeiro J.L. Tool support for coordination-based software evolution. Technology of Object-Oriented Languages and Systems - TOOLS 38, Pree W (ed.). IEEE Computer Society Press: Los Alamitos CA, 2001; 184-196.
14. Andrade L.F., Fiadeiro J.L. Wermelinger M. Enforcing business policies through automated reconfiguration. Proceeedings 16th International IEEE Conference on Automated Software Engineering, Feather M., Goedicke M. (eds.). IEEE Computer Society Press: Los Alamitos CA, 2001; 426-429.
15. Francez N., Forman I. Interacting Processes. Addison-Wesley: Reading MA, 1996.
16. Katz S. A superimposition control construct for distributed systems. ACM Transactions of Programming Languages and Systems 1993; 15(2):337-356.
17. Agha G.A. ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.
18. Meyer B. Applying design by contract. IEEE Computer 1992; 25(10):40-51.
19. Fiadeiro J.L., Lopes A. Algebraic semantics of coordination or what is in a signature? Proceedings of the International Conference on Algebraic Methodology and Software Technology (AMAST'98) (Lecture Notes in Computer Science, vol. 1548), Haeberer A (ed.). Springer: Berlin, 1999; 293-307.
20. Andrade L.F., Fiadeiro J.L. Coordination technologies for managing information system evolution. Proceedings of the 13th Conference on Advanced Information System Engineering - CAISE'01 (Lecture Notes in Computer Science, vol. 2068). Springer: Berlin, 2001; 374-387.
21. Andrade L.F., Fiadeiro J.L. Coordination: The evolutionary dimension. Technology of Object-Oriented Languages and Systems - TOOLS 38, Pree W. (ed.). IEEE Computer Society Press: Los Alamitos CA, 2001; 136-147.
22. Koutsoukos G., Gouveia J., Andrade L.F., Fiadeiro J.L. Managing evolution in telecommunications systems. New Developments on Distributed Applications and Interoperable Systems, Zielinski K., Geihs K., Laurentowski A. (eds.). Kluwer Academic Publishers: Dordrecht, 2001; 133-139.
23. Koutsoukos G., Kotridis T., Andrade L.F., Fiadeiro J.L. Gouveia J., Wermelinger M., Coordination technologies for business strategy support: a case study in stock-trading. Proceedings of European Conference on Object-Oriented Programming 2001, Workshop on Object Oriented Business Solutions (WOOBS'01), Budapest, Hungary, June 2001; 41-52. http://www.atxsoftware.com/publications/woobs.pdf.
24. Andrade L.F., Fiadeiro J.L. Gouveia J., Lopes A., Wermelinger M. Patterns for coordination. Proceeedings International Conference on Coordination Languages and Models'00 (Lecture Notes in Computer Science, vol. 1906), Catalin-Roman G., Porto A. (eds.), Springer: Berlin, 2000; 317-322.
25. Allen R., Douence R., Garlan D., Specifying and analyzing dynamic software architectures. Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering, Lisbon, Portugal, Match 1998.
26. Magee J., Kramer J. Dynamic structure in software architectures. Proceedings of the 4th Symposium on Foundations of Software Engineering. ACM Press, 1996; 3-14.
27. Oreizy P., Medvidovic N., Taylor R. Architecture-based runtime software evolution. Proceedings of ICSE'98. IEEE Computer Science Press: Los Alamitos CA, 1998.
28. Evans H., Dickman P. Zones, contracts and absorbing change: An approach to software evolution. Proceedings of OOPSLA'99. ACM Press, 1999; 415-434.
29. Arbab F. What do you mean, coordination? Issue of the Bulletin of the Dutch Association for Theoretical Computer Science (NVTI), March 1998. http://www.cwi.nl/NVTI/Nieuwsbrief/nieuwsbrief98.ps.gz.
30. Manifold. http://www.cwi.nl/projects/manifold/manifold.html.
31. Helm R., Holland I., Gangopadhyay D. Contracts: Specifying behavioral compositions in object-oriented systems. Proceedings of OOPSLA'90/ECOOP'90. ACM Press, 1990; 169-180.
32. Back R.J., Petre L., Paltor I. Analysing UML use cases as contracts. Proceedings UML'99-Beyond the Standard (Lecture Notes in Computer Science, vol. 1723), France R., Rumpe B., (eds.). Springer: Berlin, 1999; 518-533.
33. Mens T., D'Hondt T. Automating support for software evolution in UML. Automated Software Engineering Journal 2000; 7:39-59.
34. Kiczales G. et al. Aspect-oriented programming. Proceedings of ECOOP'97 (Lecture Notes in Computer Science, vol. 1241). Springer: Berlin, 1997; 220.
35. Minsky N. Law-governed regularities in object systems; Part 1: An abstract model. TAPOS 1996; II(4).
36. www.atxsoftware.com/CDE.