TITLE

Knowledge-Based Automation of a Design Method for Concurrent Systems

AUTHOR(S)
Mills, Kevin L.; Gomaa, Hassan
PUB. DATE
March 2002
SOURCE
IEEE Transactions on Software Engineering;Mar2002, Vol. 28 Issue 3, p228
SOURCE TYPE
Academic Journal
DOC. TYPE
Article
ABSTRACT
This paper describes a knowledge-based approach to automate a software design method for concurrent systems. The approach uses multiple paradigms to represent knowledge embedded in the design method. Semantic data modeling provides the means to represent concepts from a behavioral modeling technique, called Concurrent Object-Based Real-time Analysis (COBRA), which defines system behavior using data/control flow diagrams. Entity-Relationship modeling is used to represent a design metamodel based on a design method, called Concurrent Design Approach for Real-Time Systems (CODARTS), which represents concurrent designs as software architecture diagrams, task behavior specifications, and module specifications. Production rules provide the mechanism for codifying a set of CODARTS heuristics that can generate concurrent designs based on semantic concepts included in COBRA behavioral models and on entities and relationships included in CODARTS design metamodels. Together, the semantic data model, the entity-relationship model, and the production rules, when encoded using an expert-system shell, compose CODA, an automated designer's assistant. Other forms of automated reasoning, such as knowledge-based queries, can be used to check the correctness and completeness of generated designs with respect to properties defined in the CODARTS design metamodel. CODA is applied to generate 10 concurrent designs for four real-time problems. The paper reports the degree of automation achieved by CODA. The paper also evaluates the quality of generated designs by comparing the similarity between designs produced by CODA and human designs reported in the literature for the same problems. In addition, the paper compares CODA with four other approaches used to automate software design methods.
ACCESSION #
11943353

 

Related Articles

  • A VISUAL EDITION TOOL FOR DESIGN AND VERIFICATION OF KNOWLEDGE IN RULE-BASED SYSTEMS. Nalepa, Grzegorz J.; Ligęza, Antoni // Systems Science;2005, Vol. 31 Issue 3, p103 

    Presents a study which discussed a proposal of a new approach to rule-based system design and verification using an integrated CASE tool supporting visual design of rule-based systems. Description of the Mirella CASE tool; Difficulty in designing a real-scale rule-based technologies; Critical...

  • BRINGING THE AGILE PHILOSOPHY TO FORMAL SPECIFICATION SETTINGS. LÓPEZ-NORES, MARTÍN; PAZOS-ARIAS, JOSÉ J.; GARCÍA-DUQUE, JORGE; BLANCO-FERNÁNDEZ, YOLANDA; DÍAZ-REDONDO, REBECA P.; FERNÁNDEZ-VILAS, ANA; GIL-SOLLA, ALBERTO; RAMOS-CABRER, MANUEL // International Journal of Software Engineering & Knowledge Engine;Dec2006, Vol. 16 Issue 6, p951 

    Software development can be seen as a process of knowledge acquisition, in which human beings progressively learn about the intended behavior of the desired systems. Thereby, development is subject to considerable amounts of uncertainty and variability, that make it impossible to proceed in a...

  • Formal Methods Application: An Empirical Tale of Software Development. Sobel, Ann E. Kelley; Clarkson, Michael R. // IEEE Transactions on Software Engineering;Mar2002, Vol. 28 Issue 3, p308 

    The development of an elevator scheduling system by undergraduate students is presented. The development was performed by 20 teams of undergraduate students, divided into two groups. One group produced specifications by employing a formal method that involves only first-order logic. The other...

  • If Prolog is the Answer, What is the Question? or What it takes to Support Al Programming Paradigms. Bobrow, Daniel G. // IEEE Transactions on Software Engineering;Nov85, Vol. 11 Issue 11, p1401 

    Knowledge programming, which makes use of the explicit representation and interpretation of knowledge to create intelligent programs, requires specialized languages and tools to help programmers. Prolog, an implementation of a logic programming language, provides some of these tools; it and...

  • Enhanced Maintenance and Explanation of Expert Systems Through Explicit Models of Their Development. Neches, Robert; Swartout, William R.; Moore, Johanna D. // IEEE Transactions on Software Engineering;Nov85, Vol. 11 Issue 11, p1337 

    Principled development techniques could greatly enhance the understandability of expert systems for both users and system developers. Current systems have limited explanatory capabilities and present maintenance; problems because of a failure to explicitly represent the knowledge and reasoning...

  • Expert Systems and the "Myth" of Symbolic Reasoning. Doyle, Jon // IEEE Transactions on Software Engineering;Nov85, Vol. 11 Issue 11, p1386 

    Elements of the artificial intelligence approach to expert systems offer great productivity advantages over traditional approaches to application systems development, even though the end result may be a program employing no At techniques. These productivity advantages are the hidden truths...

  • Lying on the Web: Implications for Expert Systems Redesign. Zhengrui Jiang; Mookerjee, Vijay S.; Sarkar, Sumit // Information Systems Research;Jun2005, Vol. 16 Issue 2, p131 

    We consider a new variety of sequential information gathering problems that are applicable for Web-based applications in which data provided as input may be distorted by the system user, such as an applicant for a credit card. We propose two methods to compensate for input distortion. The first...

  • IS THE SILVER-BULLET KNOWLEDGE-BASED? Johnson, Bruce // IEEE Software;Jan93, Vol. 10 Issue 1, p10 

    Focuses on knowledge-based software engineering and its role in the development of conventional software. Benefits offered; Design support; Functions.

  • Guest Editors' Introduction. Benjamins, V. Richard; Fensel, Dieter // International Journal of Software Engineering & Knowledge Engine;Jun99, Vol. 9 Issue 3, p277 

    Please refer to full text.

Share

Read the Article

Courtesy of THE LIBRARY OF VIRGINIA

Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics