Status Report: A Technology Investigation Supporting Software Architecture and Analysis for Evolution

Agreement/Contract Number: F30602-97-2-0031

For the period: January 1998 through March 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.

COLLABORATION WITH OTHER PROJECTS IN ARCHITECTURE CLUSTER

Lockheed-Martin (Creps)

Worked with Paul Kogut of Lockheed Martin to define a collaborative demonstration for the EDCS Demo Days conference in July, 1998 involving CMU technology.

We began collaborative work with Carolyn Talcott and Jose Meseuger on modeling Wright in Maude.

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.

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 a Database connector abstraction for UniCon 2. We also plan to implement an ACME to UniCon translator. Additionally, we plan to augment the UniCon 2 graphical editor to be able to perform edit operations on graphical descriptions.

We plan to continue helping Lockheed-Martin incorporate CMU technology into the next demonstration for the EDCS "Demo Days" '98.

We plan to finish writing up our most recent results on our experience with integrating Aesop, UniCon, and ACME.

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

We plan to transition prototype Armani environment to Lockheed Martin for incorporation in their July Demo.

We plan to complete the thesis work on Revere.

We plan to publicly release the next generation Nitpick tool, Ladybug.

We plan to continue progress on Lackwit (and the Java version), Nitpick, and Ladybug.