CS446 notes, Gio Wiederhold,

DeBellis: Knowledge-based SoftwareAssistant (KBSA)

Andersen Consulting. Palo alto, ex Chicago part of Arthur Andersen.auditing firm.

Integrate Res from Knowledge Eng. and SW eng

see converted ppt slides

KBSA slide 01
KBSA slide 02
KBSA slide 03
KBSA slide 04
KBSA slide 05
KBSA slide 06
KBSA slide 07
KBSA slide 08
KBSA slide 09
KBSA slide 10
KBSA slide 11
KBSA slide 12
KBSA slide 13
KBSA slide 14
KBSA slide 15
KBSA slide 16
KBSA slide 17
KBSA slide 18
KBSA slide 19
KBSA slide 20
KBSA slide 21
KBSA slide 22

Ed Feigenbaum vision differs because domain-expets don't want to be captured in boxes, also AI is not ready yet.

Example of what works: using a shell to capture and understand requirements.Plug in expert systems into larger, COBOL systems.

Automation of SW development via AI? No, but can help.

Based on work in Aircraft/Avioncs diagnostics.

[Balzer 2, Cheatham 2, Green 1,2, Luckham, and Rich papers-- put into SW biblio]

'Maintenance at the Specification Level" based on transformation rules. triggered by patterns in a particular language. Example 'set' in spec to 'array' in Progr.Lang.

1. Scrufys [Balzer@isi, GIST language] (more on front-end),

2. Neats[Green@kestrel] KIDS (needed formal specs, hence more on back-end),

3. Friendlies[Cheatham@harvard] (integrate).

Gap remained from un-interpreted GIST to formal specs.

Used Reasoning Systems as infrastructure for Phase 2. [Kotik and Qian] -> Ursula specification language. Has ER and information/data flow views.

Allows coherent rransformations of Sec

Now use CORBA IDL and its superset ODL from ODMG, booch methodology.

More focus on collaboration. IDL just defines part. Added pre-and post conditions.

Concept demo in LISP on Refine, now C++ on top of GALAXY, with Object-store.