Journal article
ISF: A Visual Formalism for Specifying Interconnection Styles for Software Design
International journal of software engineering and knowledge engineering, v 8(4), pp 517-540
Dec 1998
Abstract
We have developed a framework for specifying high-level software
designs. The core of the framework is a very simple visual notation. This
notation enables designers to document designs as labelled rectangles and directed
edges. In addition to the notation, our framework features a supporting
formalism, called ISF (Interconnection Style Formalism). This formalism
enables designers to customize the simple design notation by specifying the
type of entities, relations, legal configurations of entities and relations,
as well as scoping rules of the custom notation.
In this paper we present the formal definition of ISF and use ISF to specify
two custom design notations. We also describe how ISF specifications, using
deductive database technology, are used to generate supporting tools for
these custom notations.
Metrics
Details
- Title
- ISF: A Visual Formalism for Specifying Interconnection Styles for Software Design
- Creators
- Spiros Mancoridis - Drexel University
- Publication Details
- International journal of software engineering and knowledge engineering, v 8(4), pp 517-540
- Publisher
- World Scientific Publishing Company
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- Computer Science
- Web of Science ID
- WOS:000078560900006
- Scopus ID
- 2-s2.0-0011527888
- Other Identifier
- 991019167605104721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Web of Science research areas
- Computer Science, Artificial Intelligence
- Computer Science, Software Engineering
- Engineering, Electrical & Electronic