Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Knowledge-Based Automation of a Design Method for Concurrent Systems



Kevin L. Mills, H Gomaa


This paper describes a knowledge-based approach to automate a software design method for concurrent and real-time systems. The approach uses multiple paradigms to represent knowledge embedded within 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 flow/control flow diagrams. Entity-Relationship modeling is used to represent a design meta-model 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 meta-models. 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 meta-model. Together, the semantic data model, the entity-relationship model, the production rules, and the knowledge-based queries, when encoded using an expert-system shell, compose CODA, an automated designer s assistant. CODA is applied to generate ten 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. The paper also compares CODA with four other approaches used to automate software design methods.
IEEE Transactions on Software Engineering
No. 3


automated software engineering, concurrent and real-time system design k, software design


Mills, K. and Gomaa, H. (2002), Knowledge-Based Automation of a Design Method for Concurrent Systems, IEEE Transactions on Software Engineering, [online], (Accessed July 19, 2024)


If you have any questions about this publication or are having problems accessing it, please contact

Created March 1, 2002, Updated February 19, 2017