Dpssee

Abstract

This chapter presents a distributed proactive semantic software engineering environment (DPSSEE) that incorporates logic rules into a software development process to capture the semantics from all levels of the software life cycle. It introduces the syntax and semantics of the Semantic Description Language (SDL). It also introduces model-based testing and maintenance. Several working scenarios are discussed to illustrate the use of semantic rules for workflow control, design consistency checking, testing, and maintenance.