USA flag logo/image

An Official Website of the United States Government

THE XINOTECH FORMAL SPECIFICATION OF OBJECT ABSTRACTION TOOLS FOR ADA…

Award Information

Agency:
Department of Defense
Branch:
Defense Advanced Research Projects Agency
Award ID:
15348
Program Year/Program:
1991 / SBIR
Agency Tracking Number:
15348
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Xinotech Research, Inc.
1313 Fifth Street Se Suite 213 Minneapolis, MN 55414
View profile »
Woman-Owned: No
Minority-Owned: Yes
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 1991
Title: THE XINOTECH FORMAL SPECIFICATION OF OBJECT ABSTRACTION TOOLS FOR ADA RE-ENGINEERING
Agency / Branch: DOD / DARPA
Contract: N/A
Award Amount: $49,947.00
 

Abstract:

XINOTECH HAS RESEARCHED AND DEVELOPED TECHNOLOGY FOR A LANGUAGE-BASED, LANGUAGEINDEPENDENT, FORMALLY-GENERATED, ATTRIBUTE GRAMMAR-BASED, INTERACTIVE PROGRAMMING ENVIRONMENT, COMMERCIALLY AVAILABLE FOR ADA, CMS-2 AND OTHER LANGUAGES. THE OBJECTIVE OF THE PROPOSED RESEARCH IS TO USE THIS TECHNOLOGY TO BUILD A LANGUAGE-INDEPENDENT, SEMANTIC-BASED, FORMALLY-SPECIFIED ENVIRONMENT FOR REVERSE ENGINEERING, INTEGRATED FOR FORWARD ENGINEERING, INSTANTIATED FOR ADA. THE TOOLS LAYER WILL INCLUDE XOA, THE OBJECT ABSTRACTOR, AND XCA, THE CONTROL ABSTRACTOR FOR DESIGN RECOVERY. XOA WILL BE SUPPORTED BY XOI, THE OBJECT IDENTIFIER, FOR THE AUTOMATIC IDENTIFICATION OF OBJECTS IN EXISTING ADA CODE, AND XOC, THE OBJECT CONSTRUCTOR, FOR THE AUTOMATIC TRANSFORMATION OF THE ADA CODE TO REFLECT THE NEWLY IDENTIFIED OBJECTS. XOA WILL MAKE USE OF USER-DEFINABLE OBJECTORIENTED SPECIFICATION LANGUAGES OOSLS TO CAPTURE THE ABSTRACTED DESIGNS AND TO FORMALIZE THE OTHERWISE IMPLICIT OBJECT RELATIONSHIPS IN THE ADA CODE. THESE TOOLS WILL COMPLEMENT OTHER XINOTECH TOOLS (XG&M, THE GUIDELINES, STANDARDS AND METRICS ANALYZER, AND XLT, THE LANGUAGE TRANSLATOR). THESE TOOLS WILL BE BUILT ON TOP OF THE LANGUAGE-INDEPENDENT ARCHITECTURE SUPPORTED BY XML, THE XINOTECH META-LANGUAGE, AND XPAL, WHICH IS XML'S SUBLANGUAGE FOR SPECIFYING THE PATTERN ABSTRACTION MAPPINGS THAT WILL DEFINE THE OBJECT CONSTRUCTION PROCESS IN XOC. THESE TOOLS WILL BE OPEN SYSTEMS WITH IMMEDIATE COMMERCIAL AVAILABILITY. SUCCESSFUL DEVELOPMENT OF THIS ENVIRONMENT WILL PRODUCE A CUSTOMIZABLE, EXTENDIBLE, FORMALLY-SPECIFIED, INTEGRATED ENVIRONMENT FOR AUTOMATED RE-ENGINEERING AND MAINTENANCE OF ADA. IT WILL ENHANCE THE REUSE AND SEE CAPABILITIES OF THE STARS PROGRAM. AUTOMATICALLY OBJECT-ORIENTING ADA CODE WILL INCREASE THE REUSABILITY OF ADA CODE, AT MINIMAL COST, OTHERWISE THE DOLLAR COST AND COMPLEXITY OF MANUAL REORGANIZATION MAY RENDER THE ADA CODE NOT REUSABLE, LEAVING STARTING FROM SCRATCH AS THE ONLY OPTION. THIS SYSTEM WILL HAVE WIDE APPLICATION IN A MULTITUDE OF OTHER LANGUAGES AT LITTLE EXTRA COST.

Principal Investigator:

Romel Rivera
Principal Investigator
6123793844

Business Contact:

Small Business Information at Submission:

Xinotech Research Inc
1313 5th Street Se Suite 2 1 Minneapolis, MN 55414

EIN/Tax ID:
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No