Conceptual modeling of dynamic interactive systems using the equivalent transformation framework

Authors:
Courtney Powell;Kiyoshi Akama
Affiliations:
Information Initiative Center, Hokkaido University, Sapporo, Japan;Information Initiative Center, Hokkaido University, Sapporo, Japan
Venue:
ACS'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Computer Science - Volume 7
Year:
2007

Citing 4
Cited 0

Theoretical Introduction to Programming

Theoretical Introduction to Programming
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
Structured Development of DHTML Programs from Abstract Ideas Based on the Equivalent Transformation Framework

ICICIC '07 Proceedings of the Second International Conference on Innovative Computing, Informatio and Control
Detecting Incorrect Rules Automatically in Equivalent Transformation Programs

ICICIC '07 Proceedings of the Second International Conference on Innovative Computing, Informatio and Control

Quantified Score

Hi-index	0.00

Visualization

Abstract

Conceptualizing, visualizing, reasoning about and implementing Dynamic Interactive Systems (DISs) are difficult and error-prone activities. To conceptualize and reason about the sorts of properties expected of any DIS, a framework that most naturally models DISs is essential. The declarative paradigm is closer than any other to the abstract behavior of DISs. In this paper we propose and explain why the Equivalent Transformation Framework (with its declarative roots) is an ideal framework for conceptually modeling DIS. The benefits to be derived from using this framework include guaranteed system correctness, high level abstraction, clarity, granular modularity, and an integrated framework for reasoning about, manipulating, and optimizing the various aspects of DISs.