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
Book ChapterDOI
Web Services Based Architectures to Support Dynamic Inter-organizational Business Processes
TL;DR: Based on the paradigm of the composite application, an architecture designed to support dynamic inter-organizational business processes has been developed and will be introduced.
Book ChapterDOI
An Algorithm for Drawing Compound Graphs
François Bertault,Mirka Miller +1 more
TL;DR: A new algorithm, called Nuage, for drawing graphs with both adjacency and inclusion relationships between nodes, that is, compound graphs, which is more general than classical graph models or clustered graphs is presented.
Proceedings ArticleDOI
Can intuition become rigorous? Foundations for UML model verification tools
J.L.F. Aleman,A.T. Alvarez +1 more
TL;DR: The paper reports on research to facilitate the formal revision of UML informal specifications, based on algebraic specification formal theory, which is used to formalize the UML Statechart diagrams and subsequently verify them.
Journal Article
Computer automated multi-paradigm modeling
TL;DR: An overview of the CAMPaM field is presented and it is shown how transformations assume a central place and are explicitly modeled themselves by graph grammars.
Proceedings ArticleDOI
A Model Based Testing Technique to Test Web Applications Using Statecharts
Hassan Reza,Kirk Ogaard,A. Malge +2 more
TL;DR: A model based software testing method for testing of the Web applications using StateCharts, which briefly describes the test coverage technique, editorial tools for drawing State Charts, modeling concurrency in Web applications, and test metrics.
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.