1.0 Participants

Carnegie Mellon University

Faculty

David Garlan Associate Professor of Computer Science
Mary Shaw Alan J. Perlis Professor of Computer Science, Associate Dean for Professional Programs
Jeannette Wing Professor of Computer Science

Graduate Students

Craig Damon
Darrell Kindred
Robert O'Callahan
Bridget Spitznagel
Zhenyu Wang
Jianing Hu

Staff

Andrew Kompanek Senior Research Programmer

Work on AcmeStudio and related tools continued. A prototype tool integration mechanism based on COM was prototyped. Work continued on supporting Armani features within AcmeStudio. We continued to support users using AcmeStudio and the Acme and Armani toolkits.

Work continued on tool support for compositional connectors and on the Acme mapping extension (see below).

Work continued on ATAM integration.  Supported development of Acme-based ATAM tools for editing/managing requirements and other ATAM-related modeling information.

Work on UML and Architectures culminated in a paper on using UML for architectural description.

David Garlan began work on a book on Software Architecture Documentation with members of SEI.

Work was begun on tools for analysis in the publish-subscribe architectural style.

Extended the set of transformations supported by the prototype connector composition tool. As a specific exploration we composed an initial version of a "Java RMI with Kerberos" connector generator using the prototype tool, after having extended the set of transformations.

Extended the Armani programmer's library and parser with mapping support and implemented a mapping checker that checks validity of mappings (i.e., satisfaction of constraints associated with mappings). Began work on a technical reporting documenting the extension.

Judith Dahman, Richard Weatherly (HLA)

We continued collaboration with DMSO on the effort the formalize the HLA standard. During this period, we extended the formal model to investigate "Bridge Federate" anomalies.

Rick Kazman, Mark Kline (SEI)

Began collaboration with Rick Kazman and Mark Kline at the SEI to support ATAM with AcmeStudio and Acme.

David Wile (USC ISI)

We continued to collaborate with Dave Wile at USC ISI on application of Acme to our ADLs and tools.

No new progress to report.

No new progress to report.

No new progress to report.

5.0 Publications

The following are the papers that have been authored by the members of this contract during the reporting period. They have been organized into groups based on their status as submitted, accepted, or published. They represent transition of our research to the community at large.

Submitted:

David Garlan and Andrew Kompanek
Reconciling the Needs of Architectural Description with Object-Modeling Notations
Submitted to ICSE'2000
November 1999

Joao Pedro Sousa and David Garlan
Formal Modeling of the Enterprise JavaBeans Component Integration Framework
Proceedings of FM'99 -- Formal Methods: World Congress on Formal Methods in the Development of Computing Systems
Springer Verlag, Lecture Notes in Computer Science vol #1709, pp1281-1300
Toulouse, France
November 1999

6.0 Travel

The following are the talks, presentations, panels, lectures, workshops, and demonstrations given by the members of this contract during the reporting period. They represent transition of our research to the community at large.

David Garlan
Attended: Formal Methods 99 (FM'99)
Toulouse France.
Presented paper on EJB Architecture.

David Garlan
Attended: Product Line Workshop: Tools for Software Architecture,
October 1999

• None to report.

We will continue continue on improving and supporting AcmeStudio, the Acme programmer's libraries, the Armani language other Acme-based tools. We will also continue research into ways in which to better support architectural modeling in this context, including support for mapping between different architectural views and relating architectures to implementations. (Compositional Connectors)

We will also continue work on the ADL toolkit and related efforts to integrate the various ADL-related technologies developed within the EDCS community.