Fuzzy colored time Petri net and termination analysis for fuzzy Event-Condition-Action rules

Information Sciences

Volumn 232, Issue , 2013, Pages 225-240

  Wang, Xiaoming ^a   Zhang, Lichen ^a   Dou, Wenyang ^a   Hu, Xiaolin ^b  

^a SHAANXI NORMAL UNIVERSITY   (China)

^b GEORGIA STATE UNIVERSITY   (United States)

Author keywords

ECA rules; Fuzzy colored time Petri net; Fuzzy ECA rules; Pervasive computing; Petri net; Termination analysis

Indexed keywords

COMPOSITE EVENT; ECA RULE; EVENT-CONDITION-ACTION RULE; KNOWLEDGE SYSTEM; PERVASIVE COMPUTING ENVIRONMENT; STATIC STRUCTURES; TERMINATION ANALYSIS; TIME PETRI NETS;

ALGORITHMS; PETRI NETS; UNCERTAINTY ANALYSIS;

UBIQUITOUS COMPUTING;

EID: 84875474618     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2012.12.030     Document Type: Article

References (44)

1. A. Aiken, J. Widom, J.M. Hellerstein, Behavior of database production rules: termination, confluence, and observable determinism, in: ACM SIGMOD International Conference on Management of Data (SIGMOD'92), San Diego, California, 1992, pp. 59-68.
2. A. Aiken, M. Hellerstein, and J. Widom Static analysis techniques for predicting the behaviour of active databases rules ACM Transactions on Database Systems 20 1 1995 3 41
3. J. Anhalt, A. Smailagic, D.P. Siewored, F. Gemperle, D. Salber, S. Weber, J. Beck, and J. Jennings Toward context-aware computing: experiences and lessons IEEE Intelligent Systems 16 3 2001 38 46
4. L. Baba, Rules termination analysis based on Petri nets: implementation issues, in: Information and Communication Technologies: From Theory to Applications (ICTTA'06), Damascus, Syria, 2006, pp. 3540-3545.
5. M. Baldauf A survey on context-aware systems International Journal of Ad Hoc and Ubiquitous Computing 2 4 2007 263 277
6. E. Baralis, S. Ceri, J. Widom, Better termination analysis for active databases, in: International Workshop on Rules in Database Systems, Edinburgh, Scotland, 1994, pp. 163-179.
7. E. Baralis, S. Ceri, S. Paraboschi, Improved rule analysis by means of triggering and activation graphs, in: International Workshop on Rules in Database Systems, vol. 985, LNCS, Greece, 1995, pp. 165-181.
8. E. Baralis, and J. Widom An algebraic approach to static analysis of active database rules ACM Transactions on Database Systems 25 3 2000 269 332
9. R. Belohlavek, T. Kuhr, and V. Vychodil Confluence and termination of fuzzy relations Information Sciences 180 17 2010 3288 3303
10. B. Bostan-Korpeoglu, and A. Yazici A fuzzy Petri net model for intelligent databases Data & Knowledge Engineering 62 2 2007 219 247
11. T. Bouaziz, A. Wolski, Applying fuzzy events to approximate reasoning in active databases, in: IEEE International Conference on Fuzzy Systems, vol. 2, Spain, 1997, pp. 729-735.
12. E. Chang, P. Thomson, T. Dillon, and F. Hussain The fuzzy and dynamic nature of trust LNCS vol. 3592 2005 Springer 161 174
13. E. Chang, F. Hussain, T. Dillon, Fuzzy nature of trust and dynamic trust modeling in service oriented environments, in: Workshop on Secure Web Services, Fairfax, USA, 2005, pp. 75-83.
14. S. Distefano, M. Scarpa, and A. Puliafito From UML to Petri nets: the PCM-based methodology IEEE Transactions on Software Engineering 37 1 2011 65 79
15. B. Elena, C. Stefano, and P. Stefano Active rule termination analysis: an implementation and evaluation of the refined triggering graph method Journal of Intelligent Information Systems 12 1999 27 60
16. P. Fraternali, and L. Tanca A structured approach for the definition of the semantics of active databases ACM Transactions on Database Systems 20 4 1995 414 471
17. J. Grootea, and M. Voorhoeve Operational semantics for Petri net components Theoretical Computer Science 379 1 2007 1 19
18. L. Holloway, B. Krogh, and A. Giua A survey of Petri net methods for controlled discrete event systems Discrete Event Dynamic Systems 7 2 1997 151 190
19. H. Huang, and H. Kirchner Secure interoperation design in multi-domains environments based on colored Petri nets Information Sciences 221 2013 591 606
20. K. Jensen, An introduction to the theoretical aspects of Coloured Petri Nets, in: A Decade of Concurrency Reflections and Perspectives, vol. 803, LNCS, 1994, pp. 230-272.
21. L. Kagal, T. Finin, and A. Joshi Trust-based security in pervasive computing environments IEEE Computer 34 12 2001 154 157
22. R. Kara, M. Ahmane, J.J. Loiseau, and S. Djennoune Constrained regulation of continuous Petri nets Nonlinear Analysis: Hybrid Systems 3 4 2009 738 748
23. I. Kokkinaki, On using multiple abstraction models to analyse active database behaviour, in: Biennial World Conference on Integrated Design and Process Technology (IADT'98), Berlin, Germany, 1998, pp. 1-8.
24. B. Latifa, and B. Hafida The priority of rules and the termination analysis using Petri nets The International Arab Journal of Information Technology 4 2 2007 177 183
25. K. Lee, E. Cho, H. Kim, An ECA rule-based task programming language for ubiquitous environments, in: International Conference on Advanced Communication Technology (ICACT'2006), Phoenix Park, 2006, pp. 357-360.
26. H. Li, and M. Singhal Trust management in distributed systems IEEE Computer 40 2 2007 45 53
27. J. Medina, G. Perez, X. Li, ECA rule analysis in a distributed active database, in: International Conference on Computer Technology and Development, Kinabalu, 2009, pp. 113-116.
28. D. Montesi, M. Bagnato, C. Dallera, Termination analysis in active databases, in: International Database Engineering and Applications Symposium, Canada, 1999, pp. 288-297.
29. P. Moore, M. Jackson, B. Hu, Fuzzy ECA rules for pervasive decision-centric personalised mobile learning, in: Studies in Computational Intelligence: Computational Intelligence for Technology Enhanced Learning, vol. 273, 2010, pp. 25-58.
30. T. Murata Petri nets: properties, analysis and applications Proceedings of the IEEE 77 4 1989 541 580
31. N. Paton, and O. Diaz Active database systems ACM Computing Surveys 31 1 1999 63 103
32. W. Pedrycz, and H. Camargo Fuzzy timed Petri nets Fuzzy Sets and Systems 140 2 2003 301 330
33. K. Reinhardt Reachability in Petri nets with inhibitor arcs Electronic Notes in Theoretical Computer Science 223 26 2008 239 264
34. L. Rosenthal, V. Stanford, NIST information technology laboratory pervasive computing initiative, in: IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, USA, 2000, pp. 30-36.
35. Y. Saygin, O. Ulusoy, and A. Yazici Dealing with fuzziness in active mobile database systems Information Sciences 120 1 1999 23 44
36. B. Schilit, N. Adams, and R. Want Context-aware computing applications Workshop on Mobile Computing Systems and Applications 1994 IEEE American 85 90
37. C. Shankar, A. Ranganathan, R. Campbell, An ECA-P policy-based framework for managing ubiquitous computing environments, in: Proc. of the Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous'05), San Diego, California, 2005, pp. 33-42.
38. H. Takabi, M. Amini, R. Jalili, Enhancing role-based access control model through fuzzy relations, in: International Symposium on Information Assurance and Security, Manchester, United Kingdom, 2007, pp. 131-136.
39. M. Weiser The computer for the twenty-first century Scientific American 265 3 1991 94 104
40. Z. Wu, A. Weaver, Application of fuzzy logic in federated trust management for pervasive computing, in: Proc. of the 30th Annual International Computer Software and Applications Conference (COMPSAC'06), Chicago, 2006, pp. 215-222.
41. G. Xu, Y. Shi, and W. Xie Pervasive/ubiquitous computing Chinese Journal of Computers 26 9 2003 1024 1050 (in Chinese)
42. L. Zadeh Is there a need for fuzzy logic Information Sciences 178 13 2008 2751 2779
43. C. Zaniolo, On the unification of active and deductive databases, in: British National Conference on Databases, vol. 696, LNCS, 1993, pp. 23-39.
44. Q. Zhang, S. Jiang, B. Jia, and S. Luo Some information measures for interval-valued intuitionistic fuzzy sets Information Sciences 180 24 2010 5130 5145