Using types to enforce architectural structure

7th IEEE/IFIP Working Conference on Software Architecture, WICSA 2008

Volumn , Issue , 2008, Pages 211-220

  Aldrich, Jonathan ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL DESCRIPTIONS; IMPLEMENTATION TECHNIQUES; KEY OBJECT; OBJECT-ORIENTED; OBJECT-ORIENTED IMPLEMENTATION; QUALITY ATTRIBUTES; SHARED DATA; STRUCTURAL CONFORMANCE; STRUCTURAL CONSTRAINTS;

ARCHITECTURAL DESIGN; ARCHITECTURE; CODES (STANDARDS); CODES (SYMBOLS); COMPUTER SOFTWARE SELECTION AND EVALUATION; DESIGN;

SOFTWARE ARCHITECTURE;

EID: 49949106525     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WICSA.2008.48     Document Type: Conference Paper

References (29)

1. Marwan Abi-Antoun and Jonathan Aldrich. Compile-Time Views of Execution Structure Based on Ownership. International Workshop on Aliasing, Confinement and Ownership at ECOOP, July 2007.
2. Marwan Abi-Antoun, Jonathan Aldrich, and Wesley Coelho. A Case Study in Re-engineering to Enforce Architectural Control Flow and Data Sharing. Journal of Systems and Software 80(2), 240-264, 2007.
3. Marwan Abi-Antoun, Jonathan Aldrich, Nagi Nahas, Bradley Schmerl, and David Garlan. Differencing and Merging of Architectural Views. Proc. of Automated Software Engineering, September 2006.
4. Jonathan Aldrich and Craig Chambers. Ownership Domains: Separating Aliasing Policy from Mechanism. Proc. European Conference on Object-Oriented Programming, Oslo, Norway, June 2004.
5. Jonathan Aldrich, Craig Chambers, and David Notkin. ArchJava: Connecting Software Architecture to Implementation. Proc. International Conference on Software Engineering, Orlando, Florida, May 2002.
6. Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. Alias Annotations for Program Understanding. Proc. Object-Oriented Programming Systems, Languages and Applications, Seattle, Washington, November 2002.
7. Jonathan Aldrich. Using Types to Enforce Architectural Structure. Ph.D. Thesis, University of Washington, August 2003. See http://www.archjava.org/.
8. ArchJava web site. http://www.archjava.org/
9. Len Bass, Paul Clements, Rick Kazman. Software Architecture in Practice. Addison-Wesley, 2003.
10. John Boyland. Alias Burying: Unique Variables Without Destructive Reads. Software Practice & Experience, 6(31): 533-553, May 2001.
11. Boris Bokowski and André Spiegel. Barat - A Front-End for Java. Freie Universität Berlin Technical Report B-98-09, December 1998.
12. Rod Chapman. SPARK - a state-of-the-practice approach to the Common Criteria implementation requirements. Proc. International Common Criteria Conference, July 2001.
13. David G. Clarke, James Noble, and John M. Potter. Simple Ownership Types for Object Containment. Proc. European Conference on Object-Oriented Programming, Budapest, Hungary, June 2001.
14. Erich Gamma, Richard Helm, Ralph Johnson and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Reading, Massachusetts: Addison-Wesley, 1994.
15. David Garlan and Mary Shaw. An Introduction to Software Architecture. In Advances in Software Engineering and Knowledge Engineering, I (Ambriola V, Tortora G, Eds.) World Scientific Publishing Company, 1993.
16. ITU-T. Recommendation Z.100, Specification and Description Language (SDL). Geneva, Switzerland, November 1999.
17. Patrick Lam and Martin Rinard. A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. Proc. European Conference on Object-Oriented Programming, Darmstadt, Germany, July 2003.
18. David C. Luckham and James Vera. An Event Based Architecture Definition Language. IEEE Trans. Software Engineering 21(9), September 1995.
19. Testing Ada 95 Programs for Conformance to Rapide Architectures. Proc. Reliable Software Technologies - Ada Europe 96, Montreux, Switzerland, June 1996.
20. Jeff Magee and Jeff Kramer. Dynamic Structure in Software Architectures. Proc. Foundations of Software Engineering, San Francisco, California, October 1996.
21. R Morrison, G. Kirby, D. Balasubramaniam, K. Mickan, F. Oquendo, S. Cîmpan, B. Warboys, B. Snowdon, and R. Greenwood. Support for Evolving Software Architectures in the ArchWare ADL. Proc. Working IEEE/IFIP Conference on Software Architecture, 2004.
22. Gail C. Murphy, David Notkin, and Kevin J. Sullivan. Software Reflexion Models: Bridging the Gap Between Design and Implementation. IEEE Trans. Software Engineering, 27(4), April 2001.
23. Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, and Richard N. Taylor. Using Object-Oriented Typing to Support Architectural Design in the C2 Style. Proc. Foundations of Software Engineering, San Francisco, California, October 1996.
24. Mark Moriconi, Xiaolei Qian, and Robert A. Riemenschneider. Correct Architecture Refinement. IEEE Trans. Software Engineering, 21(4), April 1995.
25. Nenad Medvidovic and Richard N. Taylor. A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Trans. Software Engineering, 26(1), January 2000.
26. James Noble, Jan Vitek, and John Potter. Flexible Alias Protection. Proc. European Conference on Object-Oriented Programming, Brussels, Belgium, 1998.
27. Dewayne E. Perry and Alexander L. Wolf. Foundations for the Study of Software Architecture. ACM SIGSOFT Software Engineering Notes. 17: 40-52, October 1992.
28. Rational Software Corporation. Rational Rose RealTime. http://www.rational.com/, 2000
29. Kevin Sullivan and David Notkin. Reconciling Environment Integration and Component Independence. Trans. Software Engineering and Methodology 1(3): 229-268, July 1992.