Abstract
In a rule-based approach the computation steps of a system are specified by rules that completely define how the system’s state may change. For open systems a more liberal approach is required, where the state changes are only partly specified, and - interactively - other components may contribute further information on how the transformation is defined completely. In this paper we introduce a formal model for interactive rule-based specifications, where states are modelled as partial algebras and transformations are given by internal algebra rewritings and arbitrary external components. As an application we discuss how visual languages can be defined in this framework. Thereby the internal (logical) representations of visual expressions are transformed by rewriting rules, whereas their layouts are obtained interactively by external components like a constraint solver or a user working with a display and a mouse.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Bardohl “Visual Definition of Visual Languages based on Algebraic Graph Transformation” Phd Thesis, Kovac Verlag (2000)
E. Börger and J.K. Huggins. Abstract State Machines 1988-1998. Bull. EATCS 64, pages 71–87, 1998. Commented ASM Bibliography.
G. Booch, J. Rumbaugh, I. Jacobson “The Unified Modeling Language User Guide” Addison-Wesley (1999)
M. Burnett. Visual Language Research Bibliography. URL: http://www.cs.orst.edu/~burnett/vpl.html.
G. Costagliola, A. De Lucia, S. Orefice, and G. Tortora. A Framework of Syntactic Models for the Implementation of Visual Languages. In Proc. IEEE Symp. on Visual Languages, 1997.
G. Costagliola, and G. Polese. Extended Positional Grammars. In Proc. IEEE Symp. on Visual Languages, 2000.
T.B. Dinesh and S.M. Üsküdarlı. Specifying Input and Output of Visual Languages. In Proc. of the AVI’96 Workshop Theory of Visual Languages, Gubbio, Italy, May 1996.
H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg (eds.). Handbook of Graph Grammars and Computing by Graph Transformation. Volume 2: Applications, Languages and Tools. World Scientific, 1999.
H. Ehrig, R. Heckel, M Llabres, and F. Orejas. Construction and characterization of double-pullback graph transitions. In G. Engels and G. Rozenberg, editors, Proc. 6th Int. Workshop on Theory and Applications of Graph Transformation (TAGT’98), number tr-ri-98-201 in Reihe Informatik, pages 308–315. Universität-Gesamthochschule Paderborn, Fachbereich Mathematik-Informatik, 1998.
H. Ehrig, R. Heckel, M Llabres, and F. Orejas. Basic properties of doublepullback graph transitions. Technical Report 99-02, Technical University of Berlin, 1999.
C. Ermel, M. Rudolf, and G. Taentzer. The AGG-Approach: Language and Tool Environment. In [EEKR99], pages 551–604.
P. Griebel. ParCon-Paralleles Lösen von grafischen Constraints. PhD thesis, Paderborn University, February 1996.
M. Groβe-Rhode “Specification of State Based Systems by Algebra Rewrite Systems and Refinements” Tech. Report TU-Berlin 99-04 (1999)
M. Löwe, M. Kor., and A. Wagner. An Algebraic Framework for the Transformation of Attributed Graphs. In M.R. Sleep, M.J. Plasmeijer, and M.C. van Eekelen, editors, TermGr aph Rewriting: Theory and Practice, pages 185–199. John Wiley & Sons Ltd, 1993.
K. Marriott and B. Meyer (eds.). Visual Language Theory. Springer, 1998.
K. Marriott, B. Meyer, and K. Wittenburg. A Survey of Visual Language Specification and Recognition. In [MM98], pages 5–86.
J. Schiffer. Visuelle Programmierung. Addison-Wesley, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bardohl, R., Groβe-Rhode, M., Simeoni, M. (2002). Interactive Rule-Based Specification with an Application to Visual Language Definition. In: Cerioli, M., Reggio, G. (eds) Recent Trends in Algebraic Development Techniques. WADT 2001. Lecture Notes in Computer Science, vol 2267. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45645-7_1
Download citation
DOI: https://doi.org/10.1007/3-540-45645-7_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43159-6
Online ISBN: 978-3-540-45645-2
eBook Packages: Springer Book Archive