MITREIntelligent Decision and Training Systems

An Assessment of ITO Projects for Potential ISO Transition:

Preliminary

Leo Obrst, Ph.D.

July 24, 1998

209/10/97 10:08 AM

MITRE

Outline

Background Assessment Approach Presentation of results Conclusions

309/10/97 10:08 AM

MITRE

Background

In 1997, MITRE reviewed the ITO Human Systems Integration area

In 1998, MITRE asked to review the following areas of the ITO research program:– CORBA-related projects in all of ITO but focusing on Quorum (C&N)– Other Quality of Service projects in Quorum– Intelligent Systems & Software:

Evolutionary Design of

Complex Software (EDCS)– Computing & Networking:

Global Mobile Information

Systems (GloMo) Quorum

Evolutionary Design of Complex Software

GloMo

CORBA:Quorum& QoS

CORBA:Other Computing& Networking

CORBA:Other IntelligentSystems & Software

409/10/97 10:08 AM

MITRE

Reason for Assessment

ITO research is resulting in demonstration systems that are being used in various places

Would like to facilitate transition mechanism of projects– ITO -> ISO( -> ACTD) -> JPO -> DISA– May not go through all steps

Difficult for ITO PMs to make all connections with appropriate ISO PMs

Difficult for ISO PMs to identify those ITO projects applicable to their program

509/10/97 10:08 AM

MITRE

Improve the Technology Transition Path

AITS Integration EnvironmentAITS Integration Environment

APII LES

DII

DARPAC4I

Programs

GCCSGCSS

ServiceC4ISR

GCCSGCSS

ServiceC4ISR

JTA emerging standardsDII COE recommendations

DII

ISO

ITO

ITO

Tec

hn

olog

ies

Tec

hn

olog

ies

DARPA DISA

AITS JPOAITS JPO

609/10/97 10:08 AM

MITRE

Improve the Technology Transition Path (concluded)

Benefits to ISO– Quick reference to research being conducted that can

potentially transition into programs – Identify appropriate PMs, PIs to include in discussions– Determine holes in the program not being addressed by

research program– Identify commercial solutions that may solve the need

Benefits to ITO– Get feedback on transitionability of projects– Get feedback on how to improve research– Identify holes for potential new research areas

Benefits to both– More efficient mechanism than having every PM trying to

connect with correct PIs

709/10/97 10:08 AM

MITRE

Assessment Approach

Two-sided approach- ISO/DoD program technical requirements- ITO project assessment

ISO program requirements- Rely on current, published knowledge- Rely on MITRE personnel, when available- Talk with DARPA PMs and contractors as appropriate

809/10/97 10:08 AM

MITRE

Approach (concluded)

ITO project assessment- Technology description- Applicability to program requirements

To fill a technological need To demonstrate a potential operational solution

- Maturity Paper/theoretical (e.g., algorithm analysis) Prototype (laboratory vs. demonstrated vs. tested) Operational (freeware or component of commercial

product)- Applicability to development cycle in a prospective ISO

new start (for EDCS)- Heuristics for assessment of projects

909/10/97 10:08 AM

MITRE

Overall Assessment Results on IS&S and C&N Research Areas (Partial)

Key:

ITO Research ProgramsIn Study

(194 projects total, concentration on

EDCS & Quorum:120 projects)

Near

Long

Immediate

Color-coded by Program and Maturity Level

Time

Program

22 projects

21 projects

18 projects

22

18

21

Evolutionary Design of Complex Software

GloMo

CORBA:Quorum& QoS

CORBA:Other Computing& Networking

CORBA:Other IntelligentSystems & Software

61

14/59

3614

23

1009/10/97 10:08 AM

MITRE

Algorithm, h

Heuristics for Assessment of Projects

When did project start? If new start, probably not ready. If a restart or change in direction, probably not ready. Prototype available yet? Extent of prototype, I.e., versions, applications being built by

universities? Industry? If set of tools, general maturity of individual tools and

integration? Used in any EDCS integration efforts?

1109/10/97 10:08 AM

MITRE

Potential Immediate Transition Projects (22)

Aleph/Desert, Evolutionary Design of Complex Systems, Brown University

Ensemble, ML/Nuprl Logical Environment: Construction Methodologies for Improving

Distributed System Security, Cornell University

Orbit: Collaboration Support for Complex Systems, University of Illinois [see Atlantis]

Atlantis: An Open Architecture for Synergy of Process-Centered Environments and

Computer-Supported Cooperative Work, University of Illinois [see Orbit]

STeP: Software Development Technologies for Reactive, Real-Time, and Hybrid

Systems, Stanford University

UniCon, etc.: A Technology Investigation Supporting Software Architecture and Analysis

for Evolution, Carnegie Mellon University

RAPIDE: Architecture Definition Languages, Stanford University

DylanWorks: A Dylan Development Environment, Harlequin, Inc.

PVS, Murphi: An Integrated Environment for Efficient Formal Design and Verification,

Stanford University

1209/10/97 10:08 AM

MITRE

Potential Immediate Transition Projects (continued)

I-SPECS: Integrated System for the Predicable Evolution of Complex Software Systems,

Software Productivity Solutions, Inc. (an integration project)

ADAM: Architectural Design, Analysis, and Measurement, Lockheed Martin C2

Integration Systems (an integration project)

QUEST: Quality Enabling Software Technologies, Microelectronics and Computer

Technology Corporation

DEMETER: Evolution of Software Via Adaptive Programming, Northeastern University

CPAS: Capability Packaging for Avionics Systems, Northrop Grumman Corporation (an

integration project)

TAOS, ProDAG, Chimera: Research in Advanced Environments, University of California,

Irvine

Endeavors, EDEM (Expectation-Driven Event Monitoring): Open Technology for Software

Evolution: Hyperware, Architecture, and Process University of California, Irvine

1309/10/97 10:08 AM

MITRE

Potential Immediate Transition Projects (concluded)

Flavers, JIL, Julia, IRIS, Pleiades, JESS - UMASS ARCADIA: Support for Advanced

Software Engineering Environment, University of Massachusetts

WinWin, A4/ACT-I, AAA: Collaborative WinWin System Definition Technology, University

of Southern California, Center for Software Engineering

ACME, USC/ISI

MediaDoc, USC/ISI

MICE: Model-Integrated Computing Environment, Vanderbilt University

SECC: Software Evolution by Component Consolidation, Xinotech Research, Inc.

1409/10/97 10:08 AM

MITRE

Actively Monitor for Near-Term Transition Projects (21)

Arcadia: Software Environments in Support of Wide-Area, Development University of

Colorado

ADC/Rapide: Architecture Driven Construction and Monitoring of Distributed Object

Systems, Stanford University

Sanctuary: Evolving Large Information Layers, University of Colorado at Boulder

Maude: Semantic Interoperation of Open Systems, SRI International

FAMILIAR: Formal Alternative Management Integrating Logical Inference and Rationales,

Knowledge Evolution

CHAIMS: Compiling High-Level Access Interfaces for Multi-Site Software, Stanford

University

EVOLVER: Evolutionary Views of Lifecycle Versions, Elements, and Rationales,

Lockheed Martin (an integration project)

AppletMagic for EDCS, Intermetrics, Inc.

1509/10/97 10:08 AM

MITRE

Actively Monitor for Near-Term Transition Projects (continued)

OzWeb: A New Infrastructure for Evolutionary Design and Implementation, Columbia

University

CLOS as a Substrate for EDCS, Franz, Inc.

CLIM 3.0: A High Level User Interface Definition, Dynamic Object Language Labs, Inc

EMMA: Evolution-Memory Management Assistant, CoGenTex, Inc.

FLEA (Formal Language for Expressing Assumptions): Software Evolution Through

Automatic Monitoring, Cs3: Computing Services Support Solutions

MORALE: Mission Oriented Architectural Legacy Evolution, Georgia Institute of

Technology

RTDL: Real-Time Dynamic Languages for Embedded Processors, IS Robotics

EBPSDR: Evolution Based on Precise Semantic Design Records, Kestrel Institute

(SpecWare 2.02 immediately available)

1609/10/97 10:08 AM

MITRE

Actively Monitor for Near-Term Transition Projects (concluded)

SADL (Structural Architecture Description Language), IVM (Internet Virtual Machine):

Incremental Evolution of Network-Wide Dynamic Systems, SRI International

EASOF (Execution-time Analysis of Specification-based Oracle Failures): Perpetual

Testing, University of California, Irvine

Jakarta: A Tool Suite for Constructing Software Generators, University of Texas at

Austin

SE-HOT: Software Evolution Using HOT Language Technology, Yale University

MetaH: High Assurance Evolution of Software Architectures, Honeywell Technology

Center

1709/10/97 10:08 AM

MITRE

Monitor for Long-Term Potential Projects (18)

Metaphor: Technology for Analyzing Change & Composing Reusable Real-Time

Software Components and Applications, Carnegie Mellon University, Robotics Inst.

GWYDION: An Integrated Environment for Evolutionary Software Development &

Maintenance, Carnegie Mellon University

ACT: Adaptation and Commitment Technology for Evolutionary Software Development,

Carnegie Mellon University

INSERT: Incremental Software Evolution for Real-time System, Carnegie Mellon

University

EXPRESS: A Programming Environment for Evolutionary Software Development, MIT

MULTI-GEN: Multi-Targeted Program Generators, USC/ISI

SSC: Software Security through Certification, Cornell University

FABASIT-UCol: A Formal Architecture-Based Approach to Software Integration Testing,

University of Colorado, Boulder

SE&I: Software Evolution and Interleaving, Georgia Institute of Technology

1809/10/97 10:08 AM

MITRE

Monitor for Long-Term Potential Projects (concluded)

DECR: Dynamically Extensible Computational Reflection, Indiana University

HASE: High-Assurance Software Evolution, Kansas State University

PT/P: Perpetual Testing, Purdue University

Darwin/Moses: Architectural Invariants of Evolving Systems, Rutgers University

EDCRTS: Evolutionary Development of Complex Real-Time Software, Charles Stark

Draper Laboratory, Inc.

FABASIT-UCI: A Formal Architecture-Based Approach to Software Integration Testing,

University of California, Irvine

PT/UMass: Perpetual Testing, University of Massachusetts

AOP: Aspect-Oriented Programming, Xerox Palo Alto Research Center

F-HOT: Foundations of HOT Languages and Software Evolution, Yale University

1909/10/97 10:08 AM

MITRE

Potential Reassignments of Maturity

To Immediate:– From Near:

FAMILIAR: Formal Alternative Management Integrating Logical Inference and Rationales, Knowledge Evolution

MetaH: High Assurance Evolution of Software Architectures, Honeywell Technology Center

– From Long: INSERT: Incremental Software Evolution for Real-time System, Carnegie

Mellon University

To Near:– From Long:

AOP: Aspect-Oriented Programming, Xerox Palo Alto Research Center

GWYDION: An Integrated Environment for Evolutionary Software Development & Maintenance, Carnegie Mellon University

ACT: Adaptation and Commitment Technology for Evolutionary Software Development, Carnegie Mellon University

2009/10/97 10:08 AM

MITRE

ITO Projects in a Technology Program Framework

Mission Applications

Common Services

Infrastructure

Distributed Object Services

Process ManagementApplications (e.g.,

workflow, monitoring, CASE)Assessment, Planning,

& Decision SupportApplications

Coordination, Communication, &

Control Applications

Metadata Management

Shared Data Access (e.g., Location, Mediation,Replication/Distribution, Security/Integrity)

Physical Data Management

Man

agem

ent

Rep

osit

ory

and

Too

ls

Dat

abas

e E

ngi

nee

rin

g/M

igra

tion

Pro

c

Data Base Segments Legacy Data

Data ManagementServices Interface

Human Computer InterfaceVisualization

and PresentationSpeech and

Language ServerMulti-ModalInteraction

DialogManager

Intelligent Information ProcessingFilteringTranslation Fusion Summarization

MiningExtraction

Co

llab

ora

tive

En

vir

on

men

ts

Ag

en

t E

nvi

ron

men

t

Mu

ltip

oin

tC

om

mu

nic

atio

ns

Sh

ared

Do

cum

ents

Sh

ared

Ap

pli

cati

on

sC

on

text

Man

ager

Use

rM

od

elin

gA

gen

tIn

tera

ctio

nA

gen

tC

on

tro

ller

Operating System

CORBA, DCOM, etc.

Replication

Resource Security

Performance Adaptability

Communication

Predictive Modeling

Communications Interface Network Management

Real-Time OS

Network Services

Knowledge Management & RepresentationSimulation & ModelingKnowledge Discovery/AcquisitionLearning Ontology Induction

Categorization

Sen

tin

elS

mar

t O

bje

ct

Storage

Monitoring

Object Network

Behavior

Reasoning VerificationAnalysis

Debugging

Event Processing

Message Processing

Hardware

Virtual Network

Evolution

Security Adaptability/Error Correction

Mobility

Wireless

Composition

SignalProcessing

Risk

2109/10/97 10:08 AM

MITRE

Technology Program Framework: 22 Immediate EDCS Projects

Mission Applications

Common Services

Infrastructure

Distributed Object Services

Process ManagementApplications (e.g.,

workflow, monitoring, CASE)Assessment, Planning,

& Decision SupportApplications

Coordination, Communication, &

Control Applications

Metadata Management

Shared Data Access (e.g., Location, Mediation,Replication/Distribution, Security/Integrity)

Physical Data Management

Man

agem

ent

Rep

osit

ory

and

Too

ls

Dat

abas

e E

ngi

nee

rin

g/M

igra

tion

Pro

c

Data Base Segments Legacy Data

Data ManagementServices Interface

Human Computer InterfaceVisualization

and PresentationSpeech and

Language ServerMulti-ModalInteraction

DialogManager

Intelligent Information ProcessingFilteringTranslation Fusion Summarization

MiningExtraction

Co

llab

ora

tive

En

vir

on

men

ts

Ag

en

t E

nvi

ron

men

t

Mu

ltip

oin

tC

om

mu

nic

atio

ns

Sh

ared

Do

cum

ents

Sh

ared

Ap

pli

cati

on

sC

on

text

Man

ager

Use

rM

od

elin

gA

gen

tIn

tera

ctio

nA

gen

tC

on

tro

ller

Operating System

CORBA, DCOM, etc.

Replication

Resource Security

Performance Adaptability

Communication

Predictive Modeling

Communications Interface Network Management

Real-Time OS

Network Services

Knowledge Management & RepresentationSimulation & ModelingKnowledge Discovery/AcquisitionLearning Ontology Induction

Categorization

Sen

tin

elS

mar

t O

bje

ct

Storage

Monitoring

Object Network

Behavior

Reasoning VerificationAnalysis

Debugging

Event Processing

Message Processing

Hardware

Virtual Network

Evolution

Security Adaptability/Error Correction

Mobility

Wireless

Composition

SignalProcessing

Risk

Aleph/Desert

Aleph/Desert

Aleph/DesertSTeP

PVS/MurphiAtlantis/Orbit

Atlantis/Orbit

Atlantis/Orbit

UniCon

UniCon

UniCon

UniCon

Rapide

Rapide

Rapide

ADAMIntegration

ADAMIntegration

DylanWorks

DylanWorks

AppletMagic

AppletMagic

Ensemble/Nuprl

Ensemble/Nuprl

Quest

Demeter

Demeter

CPASIntegration

CPASIntegration

CPASIntegration

CPASIntegration

TAOSProDAG

TAOSProDAG

TAOSProDAG

EndeavorsEDEM

EndeavorsEDEM

EndeavorsEDEM

EndeavorsEDEM

UmassArcadia

UmassArcadia

UmassArcadia

UmassArcadia

UmassArcadia

WinWin

WinWin

WinWinACME

ACME

MediaDoc

MediaDoc

MediaDoc

MICE MICESECC

SECC

SECC

2209/10/97 10:08 AM

MITRE

Technology Program Framework: 21 Near Term EDCS Projects

Mission Applications

Common Services

Infrastructure

Distributed Object Services

Process ManagementApplications (e.g.,

workflow, monitoring, CASE)Assessment, Planning,

& Decision SupportApplications

Coordination, Communication, &

Control Applications

Metadata Management

Shared Data Access (e.g., Location, Mediation,Replication/Distribution, Security/Integrity)

Physical Data Management

Man

agem

ent

Rep

osit

ory

and

Too

ls

Dat

abas

e E

ngi

nee

rin

g/M

igra

tion

Pro

c

Data Base Segments Legacy Data

Data ManagementServices Interface

Human Computer InterfaceVisualization

and PresentationSpeech and

Language ServerMulti-ModalInteraction

DialogManager

Intelligent Information ProcessingFilteringTranslation Fusion Summarization

MiningExtraction

Co

llab

ora

tive

En

vir

on

men

ts

Ag

en

t E

nvi

ron

men

t

Mu

ltip

oin

tC

om

mu

nic

atio

ns

Sh

ared

Do

cum

ents

Sh

ared

Ap

pli

cati

on

sC

on

text

Man

ager

Use

rM

od

elin

gA

gen

tIn

tera

ctio

nA

gen

tC

on

tro

ller

Operating System

CORBA, DCOM, etc.

Replication

Resource Security

Performance Adaptability

Communication

Predictive Modeling

Communications Interface Network Management

Real-Time OS

Network Services

Knowledge Management & RepresentationSimulation & ModelingKnowledge Discovery/AcquisitionLearning Ontology Induction

Categorization

Sen

tin

elS

mar

t O

bje

ct

Storage

Monitoring

Object Network

Behavior

Reasoning VerificationAnalysis

Debugging

Event Processing

Message Processing

Hardware

Virtual Network

Evolution

Security Adaptability/Error Correction

Mobility

Wireless

Composition

SignalProcessing

Risk

OzWeb

UColoradoArcadia

UColoradoArcadia

UColoradoArcadia

UColoradoArcadia

UColoradoArcadia

Sanctuary

SanctuaryADC/Rapide

ADC/Rapide

ADC/Rapide

ADC/Rapide

EMMAEMMA

EMMA

EMMA

EMMA

MaudeFAMILIAR

FAMILIAR

FAMILIAR

CHAIMS

CHAIMS

CHAIMS

CHAIMS

EVOLVERintegration

EVOLVERintegration

EVOLVERintegration

EVOLVERintegration

OzWeb

OzWeb

OzWeb

OzWeb CLOSsubstrate

CLIM 3.0

FLEA

FLEA

FLEAMORALE

MORALEMetaH

MetaH

MetaH

MetaHRTDL

RTDLEBPSDR

EBPSDR

SADL

SADL

SADL EASOF

EASOF

Jakarta

Jakarta

SE-HOT

2309/10/97 10:08 AM

MITRE

Technology Program Framework: 18 Long Term EDCS Projects

Mission Applications

Common Services

Infrastructure

Distributed Object Services

Process ManagementApplications (e.g.,

workflow, monitoring, CASE)Assessment, Planning,

& Decision SupportApplications

Coordination, Communication, &

Control Applications

Metadata Management

Shared Data Access (e.g., Location, Mediation,Replication/Distribution, Security/Integrity)

Physical Data Management

Man

agem

ent

Rep

osit

ory

and

Too

ls

Dat

abas

e E

ngi

nee

rin

g/M

igra

tion

Pro

c

Data Base Segments Legacy Data

Data ManagementServices Interface

Human Computer InterfaceVisualization

and PresentationSpeech and

Language ServerMulti-ModalInteraction

DialogManager

Intelligent Information ProcessingFilteringTranslation Fusion Summarization

MiningExtraction

Co

llab

ora

tive

En

vir

on

men

ts

Ag

en

t E

nvi

ron

men

t

Mu

ltip

oin

tC

om

mu

nic

atio

ns

Sh

ared

Do

cum

ents

Sh

ared

Ap

pli

cati

on

sC

on

text

Man

ager

Use

rM

od

elin

gA

gen

tIn

tera

ctio

nA

gen

tC

on

tro

ller

Operating System

CORBA, DCOM, etc.

Replication

Resource Security

Performance Adaptability

Communication

Predictive Modeling

Communications Interface Network Management

Real-Time OS

Network Services

Knowledge Management & RepresentationSimulation & ModelingKnowledge Discovery/AcquisitionLearning Ontology Induction

Categorization

Sen

tin

elS

mar

t O

bje

ct

Storage

Monitoring

Object Network

Behavior

Reasoning VerificationAnalysis

Debugging

Event Processing

Message Processing

Hardware

Virtual Network

Evolution

Security Adaptability/Error Correction

Mobility

Wireless

Composition

SignalProcessing

Risk

ACT

Metaphor

Metaphor

Gwydion

Gwydion

INSERT

ACT

ACT INSERT

Gwydion

MULTI-GEN

MULTI-GEN

ExpressSSC

FABASIT-UCol FABASIT

-UCol

SE&I

SE&I DECR

HASE

HASEPT-P

PT-P

Darwin/Moses

Darwin/Moses

Darwin/Moses

EDCRTS

EDCRTS

EDCRTS

EDCRTS

EDCRTS

FABASIT-UCI

FABASIT-UCI

AOPF-HOT

PT-UMass

PT-UMass

PT-UMass

PT-UMass

2409/10/97 10:08 AM

MITRE

ITO Projects in a Development Cycle Framework: EDCS Cluster Overview

EDCSRationaleCapture

& Software Understanding

Architecture/Generation

HighAssurance

& Real-Time

DynamicLanguages

Design Management

FormalVerification

Wrappers &Composition

Information Survivability

2509/10/97 10:08 AM

MITRE

Development Cycle Framework

Design Testing

Requirements Implementation Deployment

Maintenance Run-Time

Full Cycle

2609/10/97 10:08 AM

MITRE

Development Cycle Framework with EDCS Clusters

Design Testing

Requirements Implementation Deployment

Maintenance Run-Time

HighAssurance

& Real-Time

DynamicLanguages

RationaleCapture &Software

UnderstandingDesign Management

Architecture/GenerationFormalVerification

Wrappers &Composition

Full Cycle

2709/10/97 10:08 AM

MITRE

Development Cycle Framework: 22 Immediate EDCS Projects

Design Testing

Requirements Implementation Deployment

Maintenance Run-Time

HighAssurance

& Real-Time

DynamicLanguages

RationaleCapture &Software

UnderstandingDesign Management

Architecture/GenerationFormalVerification

Wrappers &Composition

Full CycleAleph/Desert

Orbit

Atlantis

PVS/Murphi

STeP

Rapide

DylanWorks

AppletMagic

Ensemble/Nuprl

Quest

Demeter

TAOS/ProDAG

TAOS/ProDAG

Endeavors/EDEM

Endeavors/EDEM

UMass/Arcadia

WinWin

ACME

MediaDoc

MICE

SECC

I-SPECSintegration

CPASintegration

ADAMintegration

MediaDoc

2809/10/97 10:08 AM

MITRE

Development Cycle Framework: 21 Near Term EDCS Projects

Design Testing

Requirements Implementation Deployment

Maintenance Run-Time

HighAssurance

& Real-Time

DynamicLanguages

RationaleCapture &Software

UnderstandingDesign Management

Architecture/GenerationFormalVerification

Wrappers &Composition

Full Cycle

UColoradoArcadia

UColoradoArcadia

UColoradoArcadia

Sanctuary

ADC/Rapide

EMMA

EMMAMaude

FAMILIARFAMILIAR

CHAIMS

EVOLVERintegration

EVOLVERintegration

OzWeb

CLOSsubstrate

CLIM 3.0

CLIM 3.0

FLEAMORALE

MORALE

MORALEMetaH

MetaH

RTDL

EBPSDR

SADL

EASOFEASOF

Jakarta

Jakarta

SE-HOT

2909/10/97 10:08 AM

MITRE

Development Cycle Framework: 18 Long Term EDCS Projects

Design Testing

Requirements Implementation Deployment

Maintenance Run-Time

HighAssurance

& Real-Time

DynamicLanguages

RationaleCapture &Software

UnderstandingDesign Management

Architecture/GenerationFormalVerification

Wrappers &Composition

Full Cycle

Gwydion

Metaphor

Gwydion

ACT

ACT

ACT

INSERT

INSERT

MULTI-GEN

MULTI-GEN

Express

Express

SSC

FABASIT-UCol

SE&I

DECR

DECR

HASE

PT-P

DarwinMoses

EDCRTS

EDCRTS

FABASIT-UCI

AOP

F-HOT

PT-UMass

3009/10/97 10:08 AM

MITRE

Development Cycle Framework: Detailed

Design Testing

Requirements Implementation Deployment

Maintenance Run-Time

Full Cycle

Software Design & ArchitectureMeta-modeling

Object-based Modeling Behavior-based Modeling

Generic ADL Domain-Specific ADL

Interchange/neutral ADL

Simulation

Animation Executable

GenerativeConstraint-based

Event-pattern Rules

Run-time Support

Multiple Styles

Legacy Support

Design Testing

RequirementsImplementationDeployment

MaintenanceRun-Time

Implementation, Configuration & Deployment

Dynamic Upgrading Real-time Support

Alternatives/Change Management

Reengineering

Adaptive/Aspect Programming

Dynamic Language

Rationale Management

OptimizationCode-generating

Run-time Constraints Reverse Engineering

Software Analysis

Validation (post)

Conformance (mapping)

Verification(pre)

Model Analysis

Component Analysis

Static Analysis

Connector Analysis

Run-timel Analysis

Event-monitoring Legacy Analysis

Model Checking Dataflow Analysis

Regression Testing

Theorem-proving

3109/10/97 10:08 AM

MITRE

Development Cycle Framework: Detailed Immediate

Design Testing

Requirements Implementation Deployment

Maintenance Run-Time

Full Cycle

Software Design & ArchitectureMeta-modeling

Object-based Modeling Behavior-based Modeling

Generic ADL Domain-Specific ADL

Interchange/neutral ADL

Simulation

Animation Executable

GenerativeConstraint-based

Event-pattern Rules

Run-time Support

Multiple Styles

Legacy Support

Design Testing

RequirementsImplementationDeployment

MaintenanceRun-Time

Aleph/Desert

Aleph/Desert

Aleph/Desert

Orbit Atlantis

UniCon

Implementation, Configuration & Deployment

Dynamic Upgrading Real-time Support

Alternatives/Change Management

Reengineering

Adaptive/Aspect Programming

Dynamic Language

Rationale Management

OptimizationCode-generating

Run-time Constraints Reverse Engineering

UniCon

Software Analysis

Validation (post)

Conformance (mapping)

Verification(pre)

Model Analysis

Component Analysis

Static Analysis

Connector Analysis

Run-timel Analysis

Event-monitoring Legacy Analysis

Model Checking Dataflow Analysis

Regression Testing

Theorem-proving

Aleph/Desert

Aleph/Desert

UniCon

UniCon

UniCon

UniCon

PVS/Murphi

PVS/Murphi

STePRapide

Rapide Rapide

Rapide

RapideRapide

Rapide Rapide

AppletMagic

DylanWorks

Rapide

AppletMagic

Ensemble/Nuprl

Ensemble/Nuprl

Ensemble/Nuprl

Quest

Quest

Quest

Demeter

Demeter

Demeter

Demeter

TAOS/ProDAG

TAOS/ProDAG

TAOS/ProDAGEndeavors/

EDEMEndeavors/EDEM

Endeavors/EDEM

Endeavors/EDEM

Endeavors/EDEM

Endeavors/EDEM

UMass/Arcadia

UMass/Arcadia

UMass/Arcadia

UMass/Arcadia

WinWin

WinWin

ACMEACME

MediaDoc

MediaDoc

MICE

MICE

MICE

MICE

MICE

SECC

SECC

UniCon

3209/10/97 10:08 AM

MITRE

Summary of UniCon

Visualization and presentation - graphical editor for ADL modeling and taxonomy for many visualization techniques for architectures

Data services - connections for database components to applications

Object-based information representation with "drill down” Tools to better manage and visualize workflow Generic architectural modeling Generative modeling capability Model analysis Verification Validation Reverse Engineering

Technology program framework ISO program requirement Operational context Development cycle

3309/10/97 10:08 AM

MITRE

Conclusions

These are preliminary findings Study undertaken in necessarily breadth-first fashion If you have additional information or question where your

project is wrt maturity level or technical or lifecycle judgment, please contact me

Intended as a continuing process for technology transition- Provides feedback to ITO PMs on benefits of research

program- Provides ISO PMs quick access to upcoming research

Immediately applicable to DARPA architectural efforts Real possibility this could engender a new start in ISO next

year: a focused application program which would employ methods and tools from EDCS for full development cycle