Journal ArticleDOI
On visual formalisms
TLDR
The higraph, a general kind of diagramming object, forms a visual formalism of topological nature that is suited for a wide array of applications to databases, knowledge representation, and the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.Abstract:
The higraph, a general kind of diagramming object, forms a visual formalism of topological nature. Higraphs are suited for a wide array of applications to databases, knowledge representation, and, most notably, the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.read more
Citations
More filters
Journal ArticleDOI
Syntax highlighting in business process models
TL;DR: This work formalizes a concept for syntax highlighting in workflow nets and presents a prototypical implementation with the WoPeD modeling tool, and reports on the results of an experiment that tests the hypothetical benefits of highlighting for comprehension.
Journal ArticleDOI
Improving medical protocols by formal methods
Annette ten Teije,Mar Marcos,Michel Balser,Joyce van Croonenborg,Christoph Duelli,Frank van Harmelen,Peter J. F. Lucas,Silvia Miksch,Wolfgang Reif,Kitty Rosenbrand,Andreas Seyfang +10 more
TL;DR: The results have been evaluated by a panel of medical experts, who judged that the problems detected in the protocols with the help of formal methods were serious and should be avoided.
Proceedings ArticleDOI
On integrating visualization techniques for effective software exploration
TL;DR: The SHriMP visualization technique for seamlessly exploring software structure and browsing source code, with a focus on effectively assisting hybrid program comprehension strategies, is described.
Proceedings ArticleDOI
On object state testing
TL;DR: An object state test model is described and a reverse engineering method for extracting object state behaviors from C++ source code is outlined that resembles the concepts of inheritance and aggregation in the object-oriented paradigm rather than the concept of state decomposition as in some existing models.
Journal ArticleDOI
A method for design and performance modeling of client/server systems
Daniel A. Menascé,Hassan Gomaa +1 more
TL;DR: The paper advocates the need to integrate both design and performance modeling activities so that one can help the other in the design of a fairly large and complex client/server application.
References
More filters
Book
Introduction to Automata Theory, Languages, and Computation
TL;DR: This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity, appropriate for upper-level computer science undergraduates who are comfortable with mathematical arguments.
Journal ArticleDOI
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
Journal ArticleDOI
Statecharts: A visual formalism for complex systems
TL;DR: It is intended to demonstrate here that statecharts counter many of the objections raised against conventional state diagrams, and thus appear to render specification by diagrams an attractive and plausible approach.
Book
The entity-relationship model: toward a unified view of data
TL;DR: A data model, called the entity-relationship model, is proposed that incorporates some of the important semantic information about the real world and can be used as a basis for unification of different views of data: the network model, the relational model, and the entity set model.