Status Report: A Technology Investigation Supporting Software Architecture and Analysis for Evolution
Agreement/Contract Number: F30602-97-2-0031
For the period: April 1998 through June 1998
Principal Investigators: David Garlan and Mary Shaw
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3891
E-mail: garlan@cs.cmu.edu, mary.shaw@cs.cmu.edu
WWW Homepage: http://www.cs.cmu.edu/~Compose/
Voice: 412-268-5056 (Garlan); 412-268-2589 (Shaw)
FAX: 412-268-5576
 

1.0 Participants

Carnegie Mellon University

2.0 Ongoing Research & Development

The following are the on-going research and development activities for the Composable Software Systems group.

3.0 Notable Accomplishments & Technology Transition

The following represent the accomplishments and the technology transition activities accomplished by the Composable Software Systems group during the reporting period.

4.0 Progress on Inter/Intra Cluster Collaborations
COLLABORATION WITH INTEGRATORS
Global Transportation Network
Worked with Dick Creps at Lockheed Martin to continue to transition CMU EDCS technology.
We transitioned UniCon 2, AcmeStudio, and Armani to Lockheed Martin for incorporation into their demonstration for EDCS Demo Days '98.
COLLABORATION WITH OTHER PROJECTS IN ARCHITECTURE CLUSTER
        Lockheed-Martin (Creps)

                    We continued to collaborate with Lockheed Martin, transitioning new
                    versions of our design tools to them for incorporation in demos and
                    pilot projects.
        David Wile (USC ISI)

                    We continued to collaborate with Dave Wile at USC ISI on application
                    of Acme to our ADLs and tools.
        Mario Barbacci (SEI)
                    We worked with Mario Barbacci and colleagues at the SEI to help them develop a
                    tool to map MetaH into Acme. This work is described in:
 
Mario R. Barbacci and C. B. Weinstock and J. M. Wing
Programming at the Processor-Memory-Switch Level
Proceedings of the Tenth International Conference on Software Engineering
March 1998
COLLABORATION WITH PROJECTS IN HIGH ASSURANCE CLUSTER
No new progress to report.
COLLABORATION WITH PROJECTS IN DESIGN MANAGEMENT CLUSTER
No new progress to report.
COLLABORATION WITH PROJECTS IN DYNAMIC LANGUAGES CLUSTER
We met with Paul Hudak (Yale) to discuss his proposals for higher-order, polymorphic extensions to ACME.

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.

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:
International Conference on Software Engineering
Kyoto, Japan
April 21-24, 1998
 
David Garlan (invited talk):
An Engineering Basis for Software Architecture
MIT
May 15, 1998

David Garlan:
Workshop on the Role Of Software Architecture
in Testing and Analysis
ROSATEA-98
June 30, 1998
 
Jeannette Wing:
NSF CISE Advisory Board
Washington DC
April 28-30, 1998

Jeannette Wing:
OOPSLA Program Committee
Seattle, WA
June 7-8, 1998

Jeannette Wing:
DARPA, visit with David Tennenhouse
Washington DC
June 11, 1998

Jeannette Wing:
Model Checking and Security Protocols
Workshop associated with Logic
in Computer Science.
co-chair with Nevin Heintze.
Bloomington, Indiana
June 25, 1998

 
7.0 Miscellaneous/Administrative/Problematic Issues

8.0 Plans For The Next Reporting Period

We plan to continue our redesign of the UniCon 2 language and toolset. Specifically, we plan to start work on developing a full style for the example domain of education.  Work on Rob DeLine's thesis will continue as planned.

Continue to apply Wright to the HLA, develop Armani language and tools, understand architectural refinement, and higher-order connectors.

We plan to revise our prototype Armani environment and preform user tests on it to evaluate its effectiveness.

We plan to continue work developing Acme-based infrastructure and tools.

We plan to continue work on Ladybug (Nitpick follow-up, including bounded generation), including:

We plan to finish work on Revere, including:

We plan to continue work on Ajax (Lackwit follow-up for Java), including fine tuning performance to work on large Java programs.

We plan to continue work on SML-rec-mod: