Using Reflection to Specify Transaction Sequences in Rewriting Logic
We develop an application of the reflective properties of rewriting logic to the specification of the management process of broadband telecommunications networks. The application is illustrated by a process that modifies the demand of a service between two nodes in the network. The strategy language selected for controlling the process is based on the one presented in  which has been enhanced with a new operation that applies a strategy over a set of objects. The specification of the system is developed in the rewriting logic language Maude, which, thanks to its reflective capabilities, can also be used for specifying internally the strategies that control the system. Several modeling approaches are compared, emphasizing the benefits obtained from using reflection to control the rewriting process as opposed to the extra effort required to control the process at the object level itself.
KeywordsExternal Object Object Level Internal Strategy Strategy Expression Strategy Language
Unable to display preview. Download preview PDF.
- 1.P. Borovanský, C. Kirchner, and H. Kirchner, Controlling rewriting by rewriting, in .Google Scholar
- 2.M. Clavel, S. Eker, P. Lincoln, and J. Meseguer, Principles of Maude, in .Google Scholar
- 3.M. Clavel and J. Meseguer, Axiomatizing reflective logics and languages, in: G. Kiczales, ed., Proc. Reflection’96, San Francisco, CA, April 1996, 263–288.Google Scholar
- 4.M. Clavel and J. Meseguer, Reflection and strategies in rewriting logic, in .Google Scholar
- 5.M. Clavel and J. Meseguer, Internal strategies in a reflective logic, in B. Gramlich and H. Kirchner, eds., Proc. CADE-14 Workshop on Strategies in Automated Deduction, Townsville, Australia, July 1997, 1–12.Google Scholar
- 6.M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, and J. Meseguer, Metalevel computation in Maude, in: C. Kirchner and H. Kirchner, eds., Proc. Second Int. Workshop on Rewriting Logic and its Applications, Pont-à-Mousson, France, Electronic Notes in Theoretical Computer Science 15, Elsevier, Sept. 19Google Scholar
- 7.N. Martí-Oliet and J. Meseguer, Rewriting logic as a logical and semantic framework, Technical report SRI-CSL-93-05, SRI International, August 1993. To appear in D. M. Gabbay, ed., Handbook of Philosophical Logic, Kluwer Academic Pub.Google Scholar
- 8.J. Meseguer, Rewriting as a unified model of concurrency, in: J.C.M. Baeten y J.W. Klop, eds., Proc. CONCUR’90, LNCS 458, Springer-Verlag, 1990, 384–400.Google Scholar
- 10.J. Meseguer, A logical theory of concurrent objects and its realization in the Maude language, in: G. Agha, P. Wegner, and A. Yonezawa, eds., Research Directions in Concurrent Object-Oriented Programming, The MIT Press, 1993, 314–390.Google Scholar
- 11.J. Meseguer, Rewriting logic as a semantic framework for concurrency: A progress report, in: U. Montanari and V. Sassone, eds., Proc. CONCUR’96, LNCS 1119, Springer-Verlag, 1996, 331–372.Google Scholar
- 12.J. Meseguer, editor, Proc. First Int. Workshop on Rewriting Logic and its Applications, Asilomar, CA, Electronic Notes in Theoretical Computer Science 4, Elsevier, Sept. 1996.Google Scholar
- 13.I. Pita and N. Martí-Oliet, A Maude specification of an object-oriented database model for telecommunication networks, in Google Scholar