{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:30:05Z","timestamp":1761611405915,"version":"3.41.2"},"reference-count":31,"publisher":"Emerald","issue":"4","license":[{"start":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T00:00:00Z","timestamp":1478476800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.emerald.com\/insight\/site-policies"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IJWIS"],"published-print":{"date-parts":[[2016,11,7]]},"abstract":"<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Purpose<\/jats:title>\n<jats:p>Reactive rules are used for programming rule-based Web agents, which have the ability to detect events and respond to them automatically and can have complex structure and unpredictable behavior. The aim of this paper is to provide an appropriate formal framework for analyzing such rules.<\/jats:p>\n<\/jats:sec>\n<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Design\/methodology\/approach<\/jats:title>\n<jats:p>To achieve this goal, the authors give two alternative semantics for the basic reactive rules\u2019 families which allow us to specify reactive rule-based agents and verify their intended behavior. The first approach expresses the functionality of production and event condition action rules in terms of equations, whereas the second methodology is based in the formalism of rewriting logic. Both semantics can be expressed within the framework of CafeOBJ algebraic specification language, which then offers the verification support and have their advantages and downsides.<\/jats:p>\n<\/jats:sec>\n<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Findings<\/jats:title>\n<jats:p>The authors report on experiences gained by applying those methodologies in a reactive rule-based system and compare the two methodologies.<\/jats:p>\n<\/jats:sec>\n<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Originality\/value<\/jats:title>\n<jats:p>Finally, the authors demonstrate a tool that translates a set of reactive rules into CafeOBJ rewrite rules, thus making the verification of reactive rules possible for inexperienced users.<\/jats:p>\n<\/jats:sec>","DOI":"10.1108\/ijwis-04-2016-0024","type":"journal-article","created":{"date-parts":[[2016,10,28]],"date-time":"2016-10-28T03:28:25Z","timestamp":1477625305000},"page":"418-447","source":"Crossref","is-referenced-by-count":2,"title":["Formal analysis and verification support for reactive rule-based Web agents"],"prefix":"10.1108","volume":"12","author":[{"given":"Katerina","family":"Ksystra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petros","family":"Stefaneas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"140","reference":[{"issue":"2","key":"key2020121102024768200_ref017","article-title":"The priority of rules and the termination analysis using Petri Nets","volume":"4","year":"2007","journal-title":"The International Arab Journal of Information Technology"},{"first-page":"3","article-title":"Rule-based distributed and agent systems","year":"2011","key":"key2020121102024768200_ref004"},{"first-page":"183","volume-title":"Third International Summer School","year":"2007), \u201c    \u201d","key":"key2020121102024768200_ref001"},{"year":"2010","key":"key2020121102024768200_ref005","article-title":"Using constraints to verify properties of rule programs"},{"issue":"4","key":"key2020121102024768200_ref018","article-title":"A rule-based approach to model and verify flexible business processes","volume":"5","year":"2011","journal-title":"International Journal of Business Process Integration and Management"},{"key":"key2020121102024768200_ref002","first-page":"003","article-title":"Reactivity on the web: paradigms and applications of the language XChange","volume-title":"Journal of Web Engineering","year":"2006"},{"year":"1999","key":"key2020121102024768200_ref027","article-title":"Maude: specification and programming in rewriting logic"},{"first-page":"136","article-title":"Static analysis: abstract interpretation and verification in (Constraint logic) programming","year":"2010","key":"key2020121102024768200_ref020"},{"key":"key2020121102024768200_ref011","first-page":"257","article-title":"CafeOBJ: logical foundations and methodologies","volume":"22","year":"2003","journal-title":"Computing and Informatics"},{"year":"2008","key":"key2020121102024768200_ref008","article-title":"Verification of an industrial rule-based manufacturing system using REX"},{"issue":"1","key":"key2020121102024768200_ref016","first-page":"90","article-title":"Principles of proof scores in CafeOBJ","volume":"464","year":"2012","journal-title":"Theoretical Computer Science"},{"year":"1997","key":"key2020121102024768200_ref003","article-title":"Intelligent agents: the right information at the right time"},{"year":"2006","key":"key2020121102024768200_ref023","article-title":"Model checking meets theorem proving: a situation calculus based approach"},{"first-page":"57","article-title":"Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution","year":"2006","key":"key2020121102024768200_ref021"},{"key":"key2020121102024768200_ref028","unstructured":"Hayes, P.J. (1971), \u201cThe frame problem and related problems in artificial intelligence\u201d, Technical Report, Stanford University Stanford, CA."},{"first-page":"41","article-title":"Symbolic verication of ECA rules","year":"2013","key":"key2020121102024768200_ref006"},{"key":"key2020121102024768200_ref007","first-page":"99","article-title":"Symbolic termination and confluence checking for ECA rules","volume-title":"Transactions on Petri Nets and Other Models of Concurrency IX Lecture Notes in Computer Science","year":"2014"},{"first-page":"407","article-title":"An algebraic framework for modeling of reactive rule-based intelligent agents","year":"2014","key":"key2020121102024768200_ref031"},{"key":"key2020121102024768200_ref032","first-page":"136","article-title":"On verifying reactive rules using rewriting logic","volume-title":"RuleML, 67-81 6th International Symposium, RuleML","year":"2012"},{"issue":"3","key":"key2020121102024768200_ref019","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1504\/IJKEDM.2011.037646","article-title":"Improving the quality of rule-based applications using the declarative verification approach","volume":"1","year":"2011","journal-title":"International Journal of Knowledge Engineering and Data Mining"},{"issue":"1","key":"key2020121102024768200_ref026","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","article-title":"Conditional rewriting logic as a unified model of concurrency","volume":"96","year":"1992","journal-title":"Theoretical Computer Science"},{"issue":"6","key":"key2020121102024768200_ref013","first-page":"771","article-title":"Compositionally writing proof scores of invariants in the OTS\/CafeOBJ method","volume":"19","year":"2013","journal-title":"Journal of Universal Computer Science"},{"key":"key2020121102024768200_ref009","first-page":"630","article-title":"Theorem proving based on proof scores for rewrite theory specifications of OTSs","volume-title":"Specification, Algebra, and Software, Essays Dedicated to Kokichi Futatsugi, LNCS, 8373","year":"2014"},{"year":"2005","key":"key2020121102024768200_ref012","article-title":"ECA-RuleML: an approach combining ECA rules with temporal interval-based kr event\/action logics and transactional update logics"},{"year":"2006","key":"key2020121102024768200_ref025","article-title":"ECA-LP\/ECA-RuleML: a homogeneous event-condition-action logic programming language"},{"key":"key2020121102024768200_ref024","doi-asserted-by":"crossref","first-page":"215","DOI":"10.4018\/978-1-60566-402-6.ch010","article-title":"Rules capturing events and reactivity","volume-title":"Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches","year":"2009"},{"first-page":"100","article-title":"Reaction RuleML 1.0: standardized semantic reaction rules","year":"2012","key":"key2020121102024768200_ref010"},{"first-page":"287","article-title":"Symbolic analysis of transition systems","year":"2000","key":"key2020121102024768200_ref022"},{"issue":"1","key":"key2020121102024768200_ref029","first-page":"1","article-title":"Rule-based approaches for energy savings in an ambient intelligence environment","volume":"19","year":"2015","journal-title":"Pervasive and Mobile Computing"},{"year":"2009","key":"key2020121102024768200_ref014","article-title":"Modular implementation of a translator from behavioral specifications to rewrite theory specifications"},{"first-page":"551","article-title":"Invariant-preserved transformation of state machines from equations into rewrite rules","year":"2012","key":"key2020121102024768200_ref015"}],"container-title":["International Journal of Web Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.emeraldinsight.com\/doi\/full-xml\/10.1108\/IJWIS-04-2016-0024","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/IJWIS-04-2016-0024\/full\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/IJWIS-04-2016-0024\/full\/html","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T22:23:58Z","timestamp":1753395838000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.emerald.com\/ijwis\/article\/12\/4\/418-447\/164498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,7]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,11,7]]}},"alternative-id":["10.1108\/IJWIS-04-2016-0024"],"URL":"https:\/\/doi.org\/10.1108\/ijwis-04-2016-0024","relation":{},"ISSN":["1744-0084"],"issn-type":[{"type":"print","value":"1744-0084"}],"subject":[],"published":{"date-parts":[[2016,11,7]]}}}