• Süloğlu S., Ulu C., Oğuztüzün H. "Specification and Analysis of an Outpatient Clinic Software Architecture"Technical Report, draft, Dept. of Computer Engineering, Middle East Technical University, May 2006.
• Yolaçan B., Ulu C., Oğuztüzün H. "An XML Schema for Wright with Confidentiality Extensions (in Turkish)". Proceedings of the National Symposium on Software Engineering (UYMS'03). İzmir, Turkey, October 2003.
• Yolaçan B., Ulu C., Oğuztüzün H. "An XML Schema for Wright with Confidentiality Extensions (in English)". Proceedings of the National Symposium on Software Engineering (UYMS'03). İzmir, Turkey, October 2003.
• Ulu C., Oğuztüzün H. "Verification of Confidentiality in Software Architectures". Technical Report, Dept. of Computer Engineering, Middle East Technical University, January 2004.
• Yolaçan B. "An XML Schema for Wright Descriptions with Confidentiality Annotations" Project Report, Dept. of Computer Engineering, Middle East Technical University, June 2003.
• Eroğlu K. "CSP-in-XML" Project Report, Dept. of Computer Engineering, Middle East Technical University, February 2004.

BNFs and XML Schemas

• Extended Wright BNF
• Extended Wright Schema
• Lattice BNF
• Lattice Schema

Schema Overviews

• Extended Wright
• Lattice

Samples

• A SAMPLE Wright/C Description in XML
• Abstract Representation of the SAMPLE in ML

Implementation

• parser.jar
• extendedwright.xsd
• lattice.xsd
• Data flow Analysis of an ADL described in Wright/C (in ML)
• CSP Analysis implementation in ML (used by the Data Flow Analysis)