The role of frame-based representation in reasoning
Communications of the ACM
Communications of the ACM
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
Communications of the ACM
Designing large real-time systems with Ada
Designing large real-time systems with Ada
Object oriented design with applications
Object oriented design with applications
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Automatic Synthesis of SARA Design Models from System Requirements
IEEE Transactions on Software Engineering
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
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
Automated generation of concurrent designs for real-time software
Automated generation of concurrent designs for real-time software
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The unified software development process
The unified software development process
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
IEEE Expert: Intelligent Systems and Their Applications
An Automated Software Design Assistant
IEEE Transactions on Software Engineering
On Graph Based Interaction for Semantic Query Languages
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
Metacognitive Theories of Visual Programming: What do we think we are doing?
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
A Visual Logic Programming Language
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Structured Analysis and System Specification
Structured Analysis and System Specification
Knowledge-Based Automation of a Design Method for Concurrent Systems
IEEE Transactions on Software Engineering
Web application generator by image-oriented design
ACM SIGSOFT Software Engineering Notes
A page-transition framework for image-oriented Web programming
ACM SIGSOFT Software Engineering Notes
Using computer modeling techniques to design tunnel greenhouse structures
Computers in Industry
Visual pivot-table components for web application development
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Visual design and programming for Web applications
Journal of Visual Languages and Computing
Automatic generation of web applications from visual high-level functional web components
Advances in Software Engineering
Hi-index | 0.00 |
Software designers use visual models, such as data flow/control flow diagrams or object collaboration diagrams, to express system behavior in a form that can be understood easily by users and by pogrammers, and from which designers can generate a software architecture. The research described in this paper is motivated by a desire to provide an automated designer's assistant that can generate software architectures for concurrent systems directly from behavioral models expressed visually as flow diagrams. To achieve this goal, an automated designer's assistant must be capable of interpreting flow diagrams in semantic, rather than syntactic, terms. While semantic concepts can be attached manually to diagrams using labels, such as stereotypes in the Unified Model Language (UML), this paper considers the possibility of providing autmated assistance to infer appropriate tags for symbols on a flow diagram. The approach relies upon constructing an underlying metamodel that defines semantic concepts based upon (1) syntactic relationships among visual symbols and (2) inheritance relationships among semantic concepts. Given such a metamodel, a rule-based inference engine can, in many situations, infer the presence of semantic concepts on flow diagram, and can tag symbols accordingly. Futher, an object-oriented query system can compare semantic tags on digram instances for conformance with their definition in the metamodel. To illustrate the approach, the paper describes a metamodel for data flow/control flow diagrams used in the context of a specific software modeling method, Concurrent Object-Based Real-time Analysis (COBRA). The metamodel is implemented using an expert-system shell, CLIPS V6.0, which integrates an object-oriented language with a rule-based inference engine. The paper applies the implemented metamodel to design software for an automobile cruise-control system and provides an evaluation of the approach based upon results from four case studies. For the case studies, the implemented metamodel recognized, automatically and correctly, the existence of 86% of all COBRA semantic concepts within the flow diagrams. Varying degrees of human assistance were used to correctly identify the remaining semantic concepts within the diagrams: in two percent of the cases the implemented metamodel reached tentative classifications that a designer was asked to confirm or override; in four percent of the cases a designer was asked to provide additional information before a concept was classified; in the remaining eight percent of the cases the designer was asked to identify the concept.