Abstract
This chapter defines the syntax of a prototypical rule language, in which the programs studied in this book are written. These rule programs can handle objects, reason on the values of their attributes, and perform updates on these attributes. The business facet—that is, the application object model—is a parameter to this language, embodied in a theory and a type system that are considered fixed orthogonally to the rule language. The theory describes the data types (such as numbers) and the operations allowed on them; the type system structures the objects into classes.
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
Notes
- 1.
In this book, an arrow is used in three situations: for logical implication, in the concrete syntax of rules introduced here, and in guarded commands introduced in Chap. 7. Although the context should make the meaning of arrows clear, we will use the regular arrow → for logical implication, and special arrows for the other two cases, namely \(\mathtt{\rightharpoonup }\) in rules and \(\rightharpoondown \) in guarded commands.
References
Berstel-Da Silva, B.: Formalizing both refraction-based and sequential executions of production rule programs. In: Bikakis, A., Giurca, A. (eds.) Rules on the Web: Research and Applications. Lecture Notes in Computer Science, vol. 7438, pp. 47–61. Springer, Berlin (2012)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741–843 (1995)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Berstel-Da Silva, B. (2014). Syntax of Rules and Rule Programs. In: Verification of Business Rules Programs. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40038-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-40038-4_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40037-7
Online ISBN: 978-3-642-40038-4
eBook Packages: Computer ScienceComputer Science (R0)