Static analysis techniques for predicting the behavior of active database rules
ACM Transactions on Database Systems (TODS)
A structured approach for the definition of the semantics of active databases
ACM Transactions on Database Systems (TODS)
ACM Computing Surveys (CSUR)
Journal of Intelligent Information Systems
Dealing with fuzziness in active mobile database systems
Information Sciences—Informatics and Computer Science: An International Journal
An algebraic approach to static analysis of active database rules
ACM Transactions on Database Systems (TODS)
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Toward Context-Aware Computing: Experiences and Lessons
IEEE Intelligent Systems
Improving Rule Analysis by Means of Triggering and Activation Graphs
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
Termination Analysis in Active Databases
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
An ECA-P Policy-based Framework for Managing Ubiquitous Computing Environments
MOBIQUITOUS '05 Proceedings of the The Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services
Fuzzy nature of trust and dynamic trust modeling in service oriented environments
Proceedings of the 2005 workshop on Secure web services
Application of Fuzzy Logic in Federated Trust Management for Pervasive Computing
COMPSAC '06 Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 02
Operational semantics for Petri net components
Theoretical Computer Science
Enhancing Role-Based Access Control Model through Fuzzy Relations
IAS '07 Proceedings of the Third International Symposium on Information Assurance and Security
A survey on context-aware systems
International Journal of Ad Hoc and Ubiquitous Computing
Is there a need for fuzzy logic?
Information Sciences: an International Journal
Context-Aware Computing Applications
WMCSA '94 Proceedings of the 1994 First Workshop on Mobile Computing Systems and Applications
Reachability in Petri Nets with Inhibitor Arcs
Electronic Notes in Theoretical Computer Science (ENTCS)
ECA Rule Analysis in a Distributed Active Database
ICCTD '09 Proceedings of the 2009 International Conference on Computer Technology and Development - Volume 02
Confluence and termination of fuzzy relations
Information Sciences: an International Journal
Some information measures for interval-valued intuitionistic fuzzy sets
Information Sciences: an International Journal
From UML to Petri Nets: The PCM-Based Methodology
IEEE Transactions on Software Engineering
The fuzzy and dynamic nature of trust
TrustBus'05 Proceedings of the Second international conference on Trust, Privacy, and Security in Digital Business
Secure interoperation design in multi-domains environments based on colored Petri nets
Information Sciences: an International Journal
Hi-index | 0.07 |
Knowledge systems are characterized by being active, uncertain and adaptive in pervasive computing environments, and Fuzzy Event-Condition-Action (ECA) rules can effectively describe these features of knowledge systems. To analyze the static structure and dynamic behavior of fuzzy ECA rules, a fuzzy colored time Petri net model (FCTPN) is proposed. The FCTPN is able to model the fuzzy ECA rules with characteristics such as fuzzy composite events, fuzzy composite conditions, event consumption modes and rule coupling modes. Based on the FCTPN, termination analysis of fuzzy ECA rules is examined, and an efficient termination analysis algorithm is proposed with consideration of all the characteristics of fuzzy ECA rules. Compared with existing termination analysis algorithms of ECA rules, the proposed algorithm has higher accuracy and lower time complexity, and thus it is more suitable for pervasive computing environments.