Model
Digital Document
Publisher
Florida Atlantic University
Description
This paper describes an Automated Software Development Methodology (ASDM)
that encompasses a formal model for characterizing the specifications of a system
that will ultimately manifest itself in a software system. This paper focuses on the
semantic specification model of ASDM and the architecture of a knowledge-based
expert system (KBES) supporting the semantic model. ASDM is a
knowledge-based expert system, because it provides expertise and assistance m
the construction of formal requirement and design specifications while hiding the
formal specification techniques and semantic model from the user. ASDM is a
knowledge-based system, because the system represents formally characterized
knowledge of the ASDM semantic model, and it represents application domain
specific knowledge of a problem domain. Lastly, this paper introduces the
concept of an Application Domain Communication Model (ADCM), with its
associated characterization and interpretation facilities, for defining a set of user
interface scenarios that represent a cognitive model of an application domain
engineering world.
that encompasses a formal model for characterizing the specifications of a system
that will ultimately manifest itself in a software system. This paper focuses on the
semantic specification model of ASDM and the architecture of a knowledge-based
expert system (KBES) supporting the semantic model. ASDM is a
knowledge-based expert system, because it provides expertise and assistance m
the construction of formal requirement and design specifications while hiding the
formal specification techniques and semantic model from the user. ASDM is a
knowledge-based system, because the system represents formally characterized
knowledge of the ASDM semantic model, and it represents application domain
specific knowledge of a problem domain. Lastly, this paper introduces the
concept of an Application Domain Communication Model (ADCM), with its
associated characterization and interpretation facilities, for defining a set of user
interface scenarios that represent a cognitive model of an application domain
engineering world.
Member of