Pub Date : 1900-01-01DOI: 10.4018/978-1-5225-7268-8.CH007
Ehtesham Zahoor, K. Munir, O. Perrin, C. Godart
Traditional business process specification approaches such as BPMN are procedural, as they require specifying exact and complete process flow. In contrast, a declarative process is specified by a set of constraints that mark the boundary of any solution to the process. In this chapter, the authors propose a bounded model-checking-based approach for the verification of declarative processes using satisfiability solving (SAT). The proposed approach does not require exponential space and is very efficient. It uses the highly expressive event calculus (EC) as the modeling formalism, with a sound and complete EC to SAT encoding process. The verification process can include both the functional and non-functional aspects. The authors have also proposed a filtering criterion to filter the clauses of interest from the large set of unsatisfiable clauses for complex processes. The authors have discussed the implementation details and performance evaluation results to justify the practicality of the proposed approach.
{"title":"Verification of Service-Based Declarative Business Processes","authors":"Ehtesham Zahoor, K. Munir, O. Perrin, C. Godart","doi":"10.4018/978-1-5225-7268-8.CH007","DOIUrl":"https://doi.org/10.4018/978-1-5225-7268-8.CH007","url":null,"abstract":"Traditional business process specification approaches such as BPMN are procedural, as they require specifying exact and complete process flow. In contrast, a declarative process is specified by a set of constraints that mark the boundary of any solution to the process. In this chapter, the authors propose a bounded model-checking-based approach for the verification of declarative processes using satisfiability solving (SAT). The proposed approach does not require exponential space and is very efficient. It uses the highly expressive event calculus (EC) as the modeling formalism, with a sound and complete EC to SAT encoding process. The verification process can include both the functional and non-functional aspects. The authors have also proposed a filtering criterion to filter the clauses of interest from the large set of unsatisfiable clauses for complex processes. The authors have discussed the implementation details and performance evaluation results to justify the practicality of the proposed approach.","PeriodicalId":372297,"journal":{"name":"Advances in Web Technologies and Engineering","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133345824","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.4018/978-1-7998-3111-2
{"title":"Challenges and Opportunities for the Convergence of IoT, Big Data, and Cloud Computing","authors":"","doi":"10.4018/978-1-7998-3111-2","DOIUrl":"https://doi.org/10.4018/978-1-7998-3111-2","url":null,"abstract":"","PeriodicalId":372297,"journal":{"name":"Advances in Web Technologies and Engineering","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125961226","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.4018/978-1-7998-4186-9
{"title":"Emerging Trends in IoT and Integration with Data Science, Cloud Computing, and Big Data Analytics","authors":"","doi":"10.4018/978-1-7998-4186-9","DOIUrl":"https://doi.org/10.4018/978-1-7998-4186-9","url":null,"abstract":"","PeriodicalId":372297,"journal":{"name":"Advances in Web Technologies and Engineering","volume":"38 15","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120856924","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.4018/978-1-7998-7511-6
{"title":"Examining the Impact of Deep Learning and IoT on Multi-Industry Applications","authors":"","doi":"10.4018/978-1-7998-7511-6","DOIUrl":"https://doi.org/10.4018/978-1-7998-7511-6","url":null,"abstract":"","PeriodicalId":372297,"journal":{"name":"Advances in Web Technologies and Engineering","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130116478","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.4018/978-1-7998-6463-9
{"title":"IoT Protocols and Applications for Improving Industry, Environment, and Society","authors":"","doi":"10.4018/978-1-7998-6463-9","DOIUrl":"https://doi.org/10.4018/978-1-7998-6463-9","url":null,"abstract":"","PeriodicalId":372297,"journal":{"name":"Advances in Web Technologies and Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116937699","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.4018/978-1-7998-4381-8.ch002
Rinat Galiautdinov
The chapter describes the new approach in artificial intelligence based on simulated biological neurons and creation of the neural circuits for the sphere of IoT which represent the next generation of artificial intelligence and IoT. Unlike existing technical devices for implementing a neuron based on classical nodes oriented to binary processing, the proposed path is based on simulation of biological neurons, creation of biologically close neural circuits where every device will implement the function of either a sensor or a “muscle” in the frame of the home based live AI and IoT. The research demonstrates the developed nervous circuit constructor and its usage in building of the AI (neural circuit) for IoT.
{"title":"Artificial Intelligence Based on Biological Neurons","authors":"Rinat Galiautdinov","doi":"10.4018/978-1-7998-4381-8.ch002","DOIUrl":"https://doi.org/10.4018/978-1-7998-4381-8.ch002","url":null,"abstract":"The chapter describes the new approach in artificial intelligence based on simulated biological neurons and creation of the neural circuits for the sphere of IoT which represent the next generation of artificial intelligence and IoT. Unlike existing technical devices for implementing a neuron based on classical nodes oriented to binary processing, the proposed path is based on simulation of biological neurons, creation of biologically close neural circuits where every device will implement the function of either a sensor or a “muscle” in the frame of the home based live AI and IoT. The research demonstrates the developed nervous circuit constructor and its usage in building of the AI (neural circuit) for IoT.","PeriodicalId":372297,"journal":{"name":"Advances in Web Technologies and Engineering","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116900398","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：