{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:09:58Z","timestamp":1725797398950},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319098692"},{"type":"electronic","value":"9783319098708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09870-8_5","type":"book-chapter","created":{"date-parts":[[2014,7,21]],"date-time":"2014-07-21T01:06:07Z","timestamp":1405904767000},"page":"67-81","source":"Crossref","is-referenced-by-count":1,"title":["On Verifying Reactive Rules Using Rewriting Logic"],"prefix":"10.1007","author":[{"given":"Katerina","family":"Ksystra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikos","family":"Triantafyllou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petros","family":"Stefaneas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Berstel, B., Bonnard, P., Bry, F., Eckert, M., P\u0103tr\u00e2njan, P.-L.: Reactive rules on the web. In: Antoniou, G., A\u00dfmann, U., Baroglio, C., Decker, S., Henze, N., Patranjan, P.-L., Tolksdorf, R. (eds.) Reasoning Web 2007. LNCS, vol.\u00a04636, pp. 183\u2013239. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-74615-7_3"},{"key":"5_CR2","unstructured":"Paschke, A.: ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event\/Action Logics and Transactional Update Logics. ECA-RuleML Proposal for RuleML Reaction Rules Technical Goup (2005)"},{"key":"5_CR3","unstructured":"Jin, X., Lembachar, Y., Ciardo, G.: Symbolic verication of ECA rules. In: International Workshop on Petri Nets and Software Engineering (PNSE 2013) and International Workshop on Modeling and Business Environments (ModBE 2013), pp. 41\u201359 (2013)"},{"key":"5_CR4","unstructured":"Ericsson, A., Berndtsson, M., Pettersson, P.: Verification of an industrial rule-based manufacturing system using REX. In: 1st International Workshop on Complex Event Processing for Future Internet, iCEP-FIS (2008)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-642-32689-9_11","volume-title":"Rules on the Web: Research and Applications","author":"K. Ksystra","year":"2012","unstructured":"Ksystra, K., Triantafyllou, N., Stefaneas, P.: On the Algebraic Semantics of Reactive Rules. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol.\u00a07438, pp. 136\u2013150. Springer, Heidelberg (2012)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/978-3-319-04298-5_36","volume-title":"SOFSEM 2014: Theory and Practice of Computer Science","author":"K. Ksystra","year":"2014","unstructured":"Ksystra, K., Stefaneas, P., Frangos, P.: An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents. In: Geffert, V., Preneel, B., Rovan, B., \u0160tuller, J., Tjoa, A.M. (eds.) SOFSEM 2014. LNCS, vol.\u00a08327, pp. 407\u2013418. Springer, Heidelberg (2014)"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/S0304-3975(99)00275-3","volume":"245","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., Malcolm, G.: A hidden agenda. Theoretical Computer Science\u00a0245(1), 55\u2013101 (2000)","journal-title":"Theoretical Computer Science"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-39958-2_12","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"K. Ogata","year":"2003","unstructured":"Ogata, K., Futatsugi, K.: Proof scores in the OTS\/CafeOBJ method. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 170\u2013184. Springer, Heidelberg (2003)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Ogata, K., Futatsugi, K.: Some Tips on Writing Proof Scores in the OTS\/CafeOBJ method. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Goguen Festschrift. LNCS, vol.\u00a04060, pp. 596\u2013615. Springer, Heidelberg (2006)","DOI":"10.1007\/11780274_31"},{"issue":"253","key":"5_CR10","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1142\/S0218194010004712","volume":"20","author":"K. Ogata","year":"2010","unstructured":"Ogata, K., Futatsugi, K.: Proof Score Approach to Analysis of Electronic Commerce Protocols. Int. J. Soft. Eng. Knowl. Eng.\u00a020(253), 253\u2013287 (2010)","journal-title":"Int. J. Soft. Eng. Knowl. Eng."},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"2804","DOI":"10.1093\/ietisy\/e91-d.12.2804","volume":"E91-D","author":"K. Ogata","year":"2008","unstructured":"Ogata, K., Futatsugi, K.: Proof score approach to verification of liveness properties. IEICE Transactions\u00a0E91-D, 2804\u20132817 (2008)","journal-title":"IEICE Transactions"},{"key":"5_CR12","series-title":"AMAST Series in Computing","doi-asserted-by":"publisher","DOI":"10.1142\/3831","volume-title":"CafeOBJ report: The language, proof techniques, and methodologies for object-oriented algebraic specification","author":"R. Diaconescu","year":"1998","unstructured":"Diaconescu, R., Futatsugi, K.: CafeOBJ report: The language, proof techniques, and methodologies for object-oriented algebraic specification. AMAST Series in Computing. World Scientific, Singapore (1998)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.P.: Introducing OBJ. In: Software Engineering with OBJ: Algebraic Specification in Action. Kluwer (2000)","DOI":"10.1007\/978-1-4757-6541-0_1"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Ogata, K., Futatsugi, K.: Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Futatsugi Festschrift. LNCS, vol.\u00a08373, pp. 630\u2013656. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-642-54624-2_31"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Diaconescu, R., Futatsugi, K., Iida, S.: CafeOBJ Jewels. In: Futatsugi, K., Nakagawa, A.T., Tamai, T. (eds.) CAFE: An Industiral-Strength Algebraic Formal Method, pp. 33\u201360. Elsevier (2000)","DOI":"10.1016\/B978-044450556-9\/50062-9"},{"issue":"1","key":"5_CR16","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"5_CR17","unstructured":"http:\/\/maude.cs.uiuc.edu\/"},{"key":"5_CR18","unstructured":"http:\/\/cafeobjntua.blogspot.com\/"},{"key":"5_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6134-4","volume-title":"Parallel, object-oriented, and active knowledge base systems","author":"I. Vlahavas","year":"1998","unstructured":"Vlahavas, I., Bassiliades, N.: Parallel, object-oriented, and active knowledge base systems. Kluwer Academic Publishers, Norwell (1998)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-04985-9_8","volume-title":"Rule Interchange and Applications","author":"A. Paschke","year":"2009","unstructured":"Paschke, A., Kozlenkov, A.: Rule-Based Event Processing and Reaction Rules. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol.\u00a05858, pp. 53\u201366. Springer, Heidelberg (2009)"},{"key":"5_CR21","unstructured":"Paschke, A.: ECA-LP \/ ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language. In: Int. Conf. on Rules and Rule Markup Languages for the Semantic Web, Athens, Georgia, USA (2006)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Fors, T.: Visualization of rule behaviour in active databases. In: VDB, pp. 215\u2013231 (1995)","DOI":"10.1007\/978-0-387-34905-3_14"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/3-540-60365-4_127","volume-title":"Rules in Database Systems","author":"E. Benazet","year":"1995","unstructured":"Benazet, E., Guehl, H., Bouzeghoub, M.: A visual tool for analysis of rules behaviour in active databases. In: Sellis, T. (ed.) RIDS 1995. LNCS, vol.\u00a0985, pp. 182\u2013196. Springer, Heidelberg (1995)"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Berstel, B., Leconte, M.: Using Constraints to Verify Properties of Rule Programs. In: ICST Third International Conference on Software Testing, Verification and Validation, Paris, France (2010)","DOI":"10.1109\/ICSTW.2010.42"},{"key":"5_CR25","first-page":"257","volume":"22","author":"R. Diaconescu","year":"2003","unstructured":"Diaconescu, R., Futatsugi, K., Ogata, K.: CafeOBJ: Logical Foundations and Methodologies. Computing and Informatics\u00a022, 257\u2013283 (2003)","journal-title":"Computing and Informatics"},{"issue":"6","key":"5_CR26","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1142\/S0218194007003458","volume":"17","author":"M. Nakano","year":"2007","unstructured":"Nakano, M., Ogata, K., Nakamura, M., Futatsugi, K.: Creme: An Automatic Invariant Prover of Behavioral Specifications. Int. J. Soft. Eng. Knowl. Eng.\u00a017(6), 783\u2013804 (2007)","journal-title":"Int. J. Soft. Eng. Knowl. Eng."},{"issue":"1","key":"5_CR27","first-page":"57","volume":"147","author":"T. Seino","year":"2006","unstructured":"Seino, T., Ogata, K., Futatsugi, K.: A toolkit for generating and displaying proof scores in the OTS\/CafeOBJ method. ENTCS\u00a0147(1), 57\u201372 (2006)","journal-title":"ENTCS"},{"key":"5_CR28","unstructured":"http:\/\/www.proofcentral.org\/athena\/"}],"container-title":["Lecture Notes in Computer Science","Rules on the Web. From Theory to Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09870-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T11:18:40Z","timestamp":1558955920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09870-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319098692","9783319098708"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09870-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}