A calculus effectively performing event formation with visualization

Authors:
Susumu Yamasaki;Mariko Sasakura
Affiliations:
Department of Computer Science, Okayama University, Japan;Department of Computer Science, Okayama University, Japan
Venue:
ISHPC'05/ALPS'06 Proceedings of the 6th international symposium on high-performance computing and 1st international conference on Advanced low power systems
Year:
2005

Citing 17
Cited 0

On visual formalisms

Communications of the ACM
Signed data dependencies in logic programs

Journal of Logic Programming
Action semantics

Action semantics
Database updates in the event calculus

Journal of Logic Programming
The alternating fixpoint of logic programs with negation

PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logic and its applications

Logic and its applications
Distributed systems analysis with CCS

Distributed systems analysis with CCS
Timed Communicating Object Z

IEEE Transactions on Software Engineering
A sound and complete procedure for a general logic program in non- floundering derivations with respect to the 3-valued stable model semantics

Theoretical Computer Science
ML with Concurrency

ML with Concurrency
Communication and Concurrency

Communication and Concurrency
HGV: A Library for Hierarchies, Graphs, and Views

GD '02 Revised Papers from the 10th International Symposium on Graph Drawing
RINGS: A Technique for Visualizing Large Hierarchies

GD '02 Revised Papers from the 10th International Symposium on Graph Drawing
Multilevel Visualization of Clustered Graphs

GD '96 Proceedings of the Symposium on Graph Drawing
An operational semantics for ZCCS

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Visualization with Hierarchically Structured Trees for an Explanation Reasoning System

IV '04 Proceedings of the Information Visualisation, Eighth International Conference
Visualization for Management of Electronics Product Composition

IV '05 Proceedings of the Ninth International Conference on Information Visualisation

Quantified Score

Hi-index	0.00

Visualization

Abstract

As a programming technique, we formulate a calculus of illustrating event formation which is effectively performed. An event is visualized as a sequence of abstract charts denoting processes. The calculus contains a set of charts related to basic processes, a set of situations, a semantic function assigning a situation transition to each chart, a logic program with negation-as-failure, and the integrity constraint on the set of situations.