Since the early 80's the combination of Petri nets and rule-based transformations has been extensively researched to obtain new concepts and results. In this paper we consider rules as tokens leading to the concept of higher-order nets for mobile policies. The rules are used on the one hand for the specification of policy rules and on the other hand for the modification of policy rules, i.e. for the definition of new rules by reusing existing rules. So the higher-order net models distribution and modification of policy rules in a systematic and structured way. We give HasCasl-specifications of rules and (local) transformations in the sense of the double-pushout approach and illustrate our concept by a small system inspired by the case study of a tax refund process. © 2005 Published by Elsevier B.V.
Higher-order nets for mobile policies / Kathrin, Hoffmann; Till, Mossakowski; PARISI PRESICCE, Francesco. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 127:2(2005), pp. 87-105. (Intervento presentato al convegno Proceedings of the Workshop on Petri Nets and Graph Transformations (PNGT 2004) nel 2 October 2004 through 2 October 2004) [10.1016/j.entcs.2005.02.007].
Higher-order nets for mobile policies
PARISI PRESICCE, Francesco
2005
Abstract
Since the early 80's the combination of Petri nets and rule-based transformations has been extensively researched to obtain new concepts and results. In this paper we consider rules as tokens leading to the concept of higher-order nets for mobile policies. The rules are used on the one hand for the specification of policy rules and on the other hand for the modification of policy rules, i.e. for the definition of new rules by reusing existing rules. So the higher-order net models distribution and modification of policy rules in a systematic and structured way. We give HasCasl-specifications of rules and (local) transformations in the sense of the double-pushout approach and illustrate our concept by a small system inspired by the case study of a tax refund process. © 2005 Published by Elsevier B.V.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
