Configuration-based programming systems

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

Volumn 1338, Issue , 1997, Pages 183-200

  Issarny, Valérie ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; INFORMATION SCIENCE;

APPLICATION BEHAVIORS; DISTRIBUTED APPLICATIONS; FUNCTIONAL BEHAVIORS; NON FUNCTIONAL PROPERTIES; PROGRAMMING SYSTEM; RESOURCE MANAGEMENT POLICY; RUNTIME SYSTEMS; SOFTWARE COMPONENT;

APPLICATION PROGRAMS;

EID: 84958057341     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63774-5_106     Document Type: Conference Paper

References (30)

1. G. Abowd, E. Allen, and D. Garlan. Using style to understand descriptions of software architecture. In Proceedings of the ACM SIGSOFT’93 Symposium on Foundations of Software Engineering, pages 9-20, 1993.
2. R. Allen and D. Garlan. Formalizing architectural connection. In Proceedings of the Sixteenth International Conference on Software Engineering, pages 71-80, 1994.
3. M. R. Barbacci, D. L. Doubleday, M. J. Gardner, R. W. Lichota, and C. B. Weinstock. DURRA: A Task-Level Description Language-Reference Manual (Version 3). Technical Report 18, Software Engineering Institute, 1991.
4. C. Bidan and V. Issarny. Security Benefits from Software Architecture. In Proceedings of COORDINATION’97: Coordination Languages and Models, 1997. LNCS.
5. J. Bishop and R. Faria. Connectors in configuration programming languages: Are they necessary. In Proceedings of the Third International Conference on Configurable Distributed Systems, pages 11-18, 1996.
6. J. R. Callahan and J. M. Purtilo. A packaging system for heterogeneous execution environments. IEEE Transactions on Software Engineering, 17(6):626-635, 1991.
7. D. Garlan, R. Allen, and J. Ockerbloom. Exploiting style in architectural design environments. In Proceedings of the ACM SIGSOFT’94 Symposium on Foundations of Software Engineering, pages 175-188, 1994.
8. C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12:576-580, 1969.
9. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
10. V. Issarny and C. Bidan. Aster: A CORBA-based software interconnection system supporting distributed system customization. In Proceedings of the Third International Conference on Configurable Distributed Systems, pages 194-201, 1996.
11. V. Issarny and C. Bidan. Aster: A framework for sound customization of distributed runtime systems. In Proceedings of the Sixteenth IEEE International Conference on Distributed Computing Systems, pages 586-593, 1996.
12. V. Issarny, C. Bidan, and T. Saridakis. Designing an open-ended distributed file system in Aster. In Proceedings of the Ninth International Conference on Parallel and Distributed Computing Systems, pages 163-168, 1996.
13. D. Le Metayer. Software architecture styles as graph grammars. In Proceedings of the ACM SIGSOFT’96 Symposium on Foundations of Software Engineering, pages 15-23, 1996.
14. D. C. Luckham, J. J. Kenney, L. M. Augustin, J. Vera, D. Bryan, and W. Mann. Specification and analysis of system architecture using Rapide. IEEE Transactions on Software Engineering, 21(4):336-355, 1995.
15. J. Magee and J. Kramer. Dynamic structure in software architecture. In Proceedings of the ACM SIGSOFT’96 Symposium on Foundations of Software Engineering, pages 3-14, 1996.
16. J. Magee, J. Kramer, and M. Sloman. Constructing distributed systems in Conic. IEEE Transactions on Software Engineering, 15(6):663-675, 1989.
17. A. Mili, R. Mili, and R. Mittermeir. Storing and retrieving software components: A refinement based system. In Proceedings of the Sixteenth International Conference on Software Engineering, pages 91-100, 1994.
18. M. Moriconi, X. Qian, and R. A. Riemenschneider. Correct architecture refinement. IEEE Transactions on Software Engineering, 21(4):356-372, 1995.
19. OMG. Object Management Architecture Guide (OMA Guide). Technical Report 92. 11. 1, OMG, 1992. ftp: omg. org.
20. OMG. Common Object Services Specification, Volume 1-Revision 1. 0. Technical Report 94. 1. 1, OMG Document, 1994. ftp: omg. org.
21. OMG. Object Transaction Service. Technical Report 94. 8. 4, OMG Document, 1994. ftp: omg. org.
22. OMG. The Common Object Request Broker: Architecture and Specification-Revision 2. 0. Technical report, OMG Document, 1995. ftp: omg. org.
23. D. E. Perry. The Inscape environment. In Proceedings of the Eleventh International Conference on Software Engineering, pages 2-12, 1989.
24. J. M. Purtilo. The Polylith software bus. ACM Transactions on Programming Languages and Systems, 16(1):151--174, 1994.
25. E. J. Rollins and J. M. Wing. Specifications as search keys for software libraries. In Proceedings of the Eighth International Conference on Logic Programming, pages 173-187, 1991.
26. T. Saridakis, C. Bidan, and V. Issarny. A programming system for the development of TINA services. In Proceedings of the Joint IFIP International Conference on Open Distributed Processing and Distributed Platforms, pages 3-14, 1997.
27. T. Saridakis and V. Issarny. Towards formal reasoning on failure behaviors. In Second European Research Seminar on Advances In Distributed Systems (ERSADS), 1997.
28. M. Shaw, R. DeLine, D. Klein, T. Ross, D. Young, and G. Zelesnik. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, 21(4):314-335, 1995.
29. TINA-C. Overall Concepts and Principle of TINA-Version 1. 0. Technical Report TB_MDC. 018_1. 0_94, TINA-C Document, 1995. Url: http://wsw. tinac. com.
30. A. M. Zaremski and J. M. Wing. Specification matching of software components. In Proceedings of the ACM SIGSOFT’95 Symposium on Foundations of Software Engineering, pages 6-17, 1995.