Exploiting style in architectural design environments

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn Part F129497, Issue , 1994, Pages 175-188

  Garlan, David ^a   Allen, Robert ^a   Ockerbloom, John ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE; C (PROGRAMMING LANGUAGE); SOFTWARE ARCHITECTURE; SOFTWARE ENGINEERING;

ARCHITECTURAL DESCRIPTIONS; ARCHITECTURAL STYLE; OBJECT MODEL; PRIMARY CONTRIBUTION; SOFTWARE ARCHITECTS; SOFTWARE SUPPORT;

ARCHITECTURAL DESIGN;

EID: 84949945411     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/193173.195404     Document Type: Conference Paper

References (46)

1. [AAG93] Gregory Abowd, Robert Allen, and David Garlan. Using style to give meaning to software architecture. In Proceedings of SIGSOFT'93: Foundations of Software Engineering, Software Engineering Notes 118(3), pages 9-20. ACM Press, December 1993.
2. [AG92] Robert Allen and David Garlan. A formal approach to software architectures. In Jan van Leeuwen, editor, Proceedings of IFIP'92. Elsevier Science Publishers B. V., September 1992.
3. [AG94a] Robert Allen and David Garlan. Beyond definition/use: Architectural interconnection. In Proceedings of the ACM Interface Definition Language Workshop, volume 29 (8). SIGPLAN Notices, August 1994.
4. [AG94b] Robert Allen and David Garlan. Formalizing architectural connection. In Proceedings of the Sixteenth International Conference on Software Engineering, May 1994.
5. [B+88] G. Boudier et al. An overview of PCTE and PCTE+. In Proc. 3rd Software Development Environments Symposium, November 1988.
6. [BV93] Pam Binns and Steve Vestal. Formal real-time architecture specification and analysis. In Tenth IEEE Workshop on Real-June Operating Systems and Software, New York, NY, May 1993.
7. [C+90] M. Carey et al. The EXODUS extensible DBMS project: An overview. In S. Zdonik and D. Maier, editors, Readings in Object-Oriented Database Systems. Morgan Kaufmann, 1990.
8. [Cha93] Craig Chambers. Predicate classes. In Proceedings of ECOOP '93, 1993.
9. [Coa92] Peter Coad. Object-oriented patterns. Communications of the ACM, 35(9):153-159, 1992.
10. [Cor91] The Common Object Request Broker: Architecture and specification. OMG Document Number 91.12.1, December 1991. Revision 1.1 (Draft 10).
11. [DGHKL84] Véronique Donzeau-Gouge, Gerard Huet, Gilles Kahn, and Bernard Lang. Programming environments based on structured editors: The Mentor experience. In David R. Barstow, Howard E. Shrobe, and Erik Sandewall, editors, Interactive Programming Environments. McGraw-Hill Book Co., 1984.
12. [Fro89] Brian Fromme. HP Encapsulator: Bridging the generation gap. Technical Report SESD-89-26, Hewlett-Packard Software Engineering Systems Division, Fort Collins, Colorado, November 1989.
13. [Ger89] Colin Gerety. HP Softbench: A new generation of software developmenttools. Technical Report SESD-89-25, Hewlett-Packard Software Engineering Systems Division, Fort Collins, Colorado, November 1989.
14. [GHJV94] Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Micro-Architectures for Reusable Object-Oriented Design. Addison-Wesley, 1994.
15. [GN91] David Garlan and David Notkin. Formalizing design spaces: Implicit invocation mechanisms. In VDM'91: Formal Software Development Methods, pages 31-44, Noordwijkerhout, The Netherlands, October 1991. Springer-Verlag, LNCS 551.
16. [GP94] David Garlan and Dewayne Perry. Software architecture: Practice, potential, and pitfalls. In Proceedings of the Sixteenth International Conference on Software Engineering, May 1994. Panel Introduction.
17. [GS93a] David Garlan and Curtis Scott. Adding implicit invocation to traditional programming languages. In Proceedings of the Fifteenth International Conference on Software Engineering, Baltimore, MD, May 1993.
18. [GS93b] David Garlan and Mary Shaw. An introduction to software architecture. In V. Ambriola and G. Tortora, editors, Advances in Software Engineering and Knowledge Engineering, Volume I, New Jersey, 1993. World Scientific Publishing Company.
19. [HN86] A. Nico. Habermann and David S. Notkin. Gandalf: Software development environments. IEEE Transactions on Software Engineering, SE-12(12):11171127, December 1986.
20. [HR90] Barbara Hayes-Roth. Architectural foundations for real-time performance in intelligent agents. The Journal of Real-Time Systems, Kluwer Academic Publishers, 2:99-125, January 1990.
21. [JC94] G. R. Ribeiro Justo and P. R. Freiré Cunha. Deadlock-free configuration programming. In Proceedings of the Second International Workshop on Configurable Distributed Systems, March 1994.
22. [Jef92] Kevin Jeffay. Scheduling sporadic tasks with shared resources in hard-real-time systems. In Proceedings of the 13th IEEE Real-Time Systems Symposium, pages 89-99, Phoenix, AZ, December 1992.
23. [Jef93] Kevin Jeffay. The real-time producer/consumer paradigm: A paradigm for the construction of efficient, predictable real-time systems. In Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing, pages 796-804, Indianapolis, IN, February 1993. ACM Press.
24. [K+91] Rudolf K. Keller et al. User interface development and software environments: The Chiron-1 System. In Proc. 13th International Conference on Software Engineering, 1991.
25. [KFP88] Gail E. Kaiser, Peter H. Feiler, and Steven S. Popovich. Intelligent assistance for software development and maintenance. IEEE Software, pages 4049, May 1988.
26. [KP88] G. E. Krasner and S. T. Pope. A cookbook for using the model-view-controller user interface paradigm in Smalltalk-80. Journal of Object Oriented Programming, 1(3):26-49, August/September 1988.
27. [LAK+95] David C Luckham, Lary M. Augustin, John J. Kenney, James Veera, Doug Bryan, and Walter Mann. Specification and analysis of system architecture using Rapide. IEEE Transactions on Software Engineering, to appear, 1995.
28. [LVC89] Mark A. Linton, John M. Vlissides, and Paul R. Calden Compusing user interfaces with interviews. IEEE Computer, 22(2), February 1989.
29. [LW93] Barbara Liskov and Jeannette Wing. A new definition of the subtype relation. In Proceedings of ECOOP '93, July 1993.
30. [Mak92] Victor W. Mak. Connection: An inter-component communication paradigm for configurable distributed systems. In Proceedings of the International Workshop on Configurable Distributed Systems, London, UK, March 1992.
31. [McC91] Gary R. McClain, editor. Open Systems Interconnection Handbook. Intertext Publications McGraw-Hill Book Company, New York, NY, 1991.
32. [MQR94] Mark Moriconi, Xiaolei Qian, and R. A. Riemensh-Neider. A formal approach to correct refinement of software architectures. Technical Report SRI-CSL-94-05, SRI International Computer Science Laboratory, April 1994.
33. [MR88] Naftaly H. Minsky and David Rozenshtein. A software development environment for law-governed systems. In Proceedings of the ACM SIG-SOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Boston, MA, November 1988. Published as SIGPLAN NOTICES, 24 (2).
34. [Nii86] H. Penny Nii. Blackboard systems Parts 1 & 2. AI Magazine, 7 nos 3 (pp. 38-53) and 4 (pp. 62-69), 1986.
35. [Ous94] John K. Ousterhout. Tcl and the Tk Toolkit. Addison-Wesley, 1994.
36. [PW92] Dewayne E. Perry and Alexander L. Wolf. Foundations for the study of software architecture. ACM SIGSOFT Software Engineering Notes, 17(4):40-52, October 1992.
37. [R+91] James Rumbaugh et al. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, NJ, 1991.
38. [Rei90] S. P. Reiss. Connecting tools using message passing in the Field Environment. IEEE Software, 7(4):57-66, July 1990.
39. [RT89] Tom Reps and Tim Teitelbaum. The Synthesizer Generator: A System for Constructing Language-Based Editors. Springer-Verlag, 1989.
40. [SDK+95] Mary Shaw, Robert DeLine, Daniel V. Klein, Theodore L. Ross, David M. Young, and Gregory Zelesnik. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, to appear, 1995.
41. [Sha93] Mary Shaw. Procedure calls are the assembly language of system interconnection: Connectors deserve first-class status. In Proceedings of the Workshop on Studies of Software Design, May 1993.
42. [SLF90] Reid Simmons, Long-Ji Lin, and Christopher Fedor. Autonomous task control for mobile robots. In Proceedings of the 5th IEEE International Symposium on Intelligent Control, Philadelphia, PA, September 1990.
43. [SN92] Kevin J. Sullivan and David Notkin. Reconciling environment integration and software evolution. ACM Transactions on Software Engineering and Methodology, 1(3):229-268, July 1992.
44. [1S88] Richard N. Taylor et al. Foundations for the Arcadia environment architecture. In Proceedings of the ACM SIGSOFT/SIGPLANSoftware Engineering Symposium on Practical Software Development Environments, Boston, MA, November 1988. Published as SIGPLAN NOTICES, 24 (2).
45. [Ves94] Steve Vestal. Mode changes in real-time architecture description language. In Proceedings of the Second International Workshop on Configurable Distributed Systems, March 1994.
46. [vLDD+88] A. van Lamsweerrde, B. Delcourt, E. Delor, M. C. Schayes, and R. Champagne. Generic lifecycle support in the ALMA environment. IEEE Transactions onSoftware Engineering, 14(6):720-741, June 1988.