The role of frame-based representation in reasoning
Communications of the ACM
Communications of the ACM
Communications of the ACM
Domain-Specific Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Software development of real-time systems
Communications of the ACM
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Designing large real-time systems with Ada
Communications of the ACM
Strategies for real-time system specification
Strategies for real-time system specification
Designing large real-time systems with Ada
Designing large real-time systems with Ada
Structuring criteria for real time system design
ICSE '89 Proceedings of the 11th international conference on Software engineering
Object oriented design with applications
Object oriented design with applications
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Toward a design apprentice: supporting reuse and evolution in software design
ACM SIGSOFT Software Engineering Notes
Automatic Synthesis of SARA Design Models from System Requirements
IEEE Transactions on Software Engineering
Validating the ADARTS software design method for real-time systems
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Supporting Software Designers with Integrated Domain-Oriented Design Environments
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
Transformations using a meta-system approach to software development
Software Engineering Journal
Automated generation of concurrent designs for real-time software
Automated generation of concurrent designs for real-time software
UML toolkit
The Unified Modeling Language user guide
The Unified Modeling Language user guide
A knowledge-based method for inferring semantic concepts from visual models of system behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
A software design method for real-time systems
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Software Design Methods for Concurrent and Real-Time Systems
Software Design Methods for Concurrent and Real-Time Systems
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Intelligent Support for Specifications Transformation
IEEE Software
Easy Programming: Empowering People to Build Their Own Applications
IEEE Expert: Intelligent Systems and Their Applications
IEEE Expert: Intelligent Systems and Their Applications
An Automated Software Design Assistant
IEEE Transactions on Software Engineering
Structured Analysis and System Specification
Structured Analysis and System Specification
Optimizing resource usage in component-based real-time systems
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Hi-index | 0.00 |
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.