Extending the equivalent transformation framework to model dynamic interactive systems

Authors:
Courtney Powell;Kiyoshi Akama
Affiliations:
Information Initiative Center, Hokkaido University, Sapporo, Japan;Information Initiative Center, Hokkaido University, Sapporo, Japan
Venue:
WSEAS Transactions on Computers
Year:
2008

Citing 16
Cited 0

A Specifier's Introduction to Formal Methods

Computer
A Review of Formalisms for Describing Interactive Behaviour

ICSE '94 Proceedings of the Workshop on Software Engineering and Human-Computer Interaction
Reasoning about Interactive Systems with Stochastic Models

DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models

INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems
A data model for XML databases

Journal of Intelligent Information Systems - Special issue on web intelligence
Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory

International Journal of Intelligent Systems - Intelligent Technologies
Theoretical Introduction to Programming

Theoretical Introduction to Programming
Code Complete, Second Edition

Code Complete, Second Edition
A system for specification and verification of interactive, data-driven web applications

Proceedings of the 2006 ACM SIGMOD international conference on Management of data
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
A model-based approach to develop interactive system using IMML

TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
Integrating authoring tools into model-driven development of interactive multimedia applications

HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
Natural modelling of interactive applications

DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

Conceptualizing, visualizing, analyzing, 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 formal framework that most naturally facilitates conceptualization and modelling of DISs is essential. In this paper we propose and explain why extending the Equivalent Transformation Framework to conceptually model DISs satisfies this ideal. The benefits to be derived from using this framework include a simplified and intuitive conceptualization process, mathematically sound models, guaranteed system correctness, high level abstraction, clarity, granular modularity, and an integrated framework for reasoning about, manipulating, and optimizing the various aspects of DISs.