{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:10:05Z","timestamp":1750209005689,"version":"3.41.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319582733"},{"type":"electronic","value":"9783319582740"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-58274-0_39","type":"book-chapter","created":{"date-parts":[[2017,4,26]],"date-time":"2017-04-26T15:06:36Z","timestamp":1493219196000},"page":"497-511","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Relational Transition System in Maude"],"prefix":"10.1007","author":[{"given":"Bartosz","family":"Zieli\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pawe\u0142","family":"Ma\u015blanka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,27]]},"reference":[{"key":"39_CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Vianu, V., Fordham, B., Yesha, Y.: Relational transducers for electronic commerce. In: Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 179\u2013187. ACM (1998)","DOI":"10.1145\/275487.275507"},{"key":"39_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-12592-8_14","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M Alpuente","year":"2010","unstructured":"Alpuente, M., Feli\u00fa, M.A., Joubert, C., Villanueva, A.: Defining datalog in rewriting logic. In: De Schreye, D. (ed.) LOPSTR 2009. LNCS, vol. 6037, pp. 188\u2013204. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-12592-8_14"},{"key":"39_CR3","unstructured":"Alpuente, M., Feli\u00fa, M.A., Joubert, C., Villanueva, A.: Implementing datalog in maude. In: Pe\u00f1a, R. (ed.) Proceedings of the IX Jornadas sobre Programaci\u00f3n y Lenguajes (PROLE 2009) and I Taller de Programaci\u00f3n Funcional (TPF 2009), pp. 15\u201322, September 2009"},{"key":"39_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-642-54833-8_11","volume-title":"Programming Languages and Systems","author":"V Benzaken","year":"2014","unstructured":"Benzaken, V., Contejean, \u00c9., Dumbrava, S.: A Coq formalization of the relational data model. In: Shao, Z. (ed.) ESOP 2014. LNCS, vol. 8410, pp. 189\u2013208. Springer, Heidelberg (2014). doi:10.1007\/978-3-642-54833-8_11"},{"issue":"4","key":"39_CR5","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1147\/sj.464.0703","volume":"46","author":"K Bhattacharya","year":"2007","unstructured":"Bhattacharya, K., Caswell, N.S., Kumaran, S., Nigam, A., Wu, F.Y.: Artifact-centered operational modeling: lessons from customer engagements. IBM Syst. J. 46(4), 703\u2013721 (2007)","journal-title":"IBM Syst. J."},{"key":"39_CR6","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data-aware process analysis: a database theory perspective. In: Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, pp. 1\u201312. ACM (2013)","DOI":"10.1145\/2463664.2467796"},{"key":"39_CR7","unstructured":"Calvanese, D., Montali, M., Patrizi, F., De Giacomo, G.: Description logic based dynamic systems: modeling, verification, and synthesis. In: Proceedings of the 24th International Conference on Artificial Intelligence, pp. 4247\u20134253. AAAI Press (2015)"},{"key":"39_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-642-17358-5_22","volume-title":"Service-Oriented Computing","author":"P Cangialosi","year":"2010","unstructured":"Cangialosi, P., De Giacomo, G., De Masellis, R., Rosati, R.: Conjunctive artifact-centric services. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 318\u2013333. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-17358-5_22"},{"key":"39_CR9","unstructured":"Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.6) (2011)"},{"key":"39_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-44881-0_7","volume-title":"Rewriting Techniques and Applications","author":"M Clavel","year":"2003","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: The maude 2.0 system. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 76\u201387. Springer, Heidelberg (2003). doi:10.1007\/3-540-44881-0_7"},{"issue":"3","key":"39_CR11","first-page":"3","volume":"32","author":"D Cohn","year":"2009","unstructured":"Cohn, D., Hull, R.: Business artifacts: a data-centric approach to modeling business operations and processes. Bull. IEEE Comput. Soc. Tech. Comm. Data Eng. 32(3), 3\u20139 (2009)","journal-title":"Bull. IEEE Comput. Soc. Tech. Comm. Data Eng."},{"issue":"02","key":"39_CR12","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1142\/S0218843012500025","volume":"21","author":"G De Giacomo","year":"2012","unstructured":"De Giacomo, G., De Masellis, R., Rosati, R.: Verification of conjunctive artifact-centric services. Int. J. Coop. Inf. Syst. 21(02), 111\u2013139 (2012)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"39_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-23059-2_28","volume-title":"Business Process Management","author":"BB Hariri","year":"2011","unstructured":"Hariri, B.B., Calvanese, D., De Giacomo, G., De Masellis, R., Felli, P.: Foundations of relational artifacts verification. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 379\u2013395. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-23059-2_28"},{"key":"39_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1152","DOI":"10.1007\/978-3-540-88873-4_17","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"R Hull","year":"2008","unstructured":"Hull, R.: Artifact-centric business process models: brief survey of research results and challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008. LNCS, vol. 5332, pp. 1152\u20131163. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-88873-4_17"},{"key":"39_CR15","series-title":"Seminumerical Algorithms","volume-title":"The Art of Computer Programming","author":"D Knuth","year":"1997","unstructured":"Knuth, D.: The Art of Computer Programming. Seminumerical Algorithms, vol. 2, 3rd edn. Addison-Wesley, Reading (1997). xiv+762 pp., ISBN 0-201-89684-2","edition":"3"},{"key":"39_CR16","doi-asserted-by":"crossref","unstructured":"Malecha, G., Morrisett, G., Shinnar, A., Wisnesky, R.: Toward a verified relational database management system. In: ACM Sigplan Notices, vol. 45, pp. 237\u2013248. ACM (2010)","DOI":"10.1145\/1707801.1706329"},{"key":"39_CR17","doi-asserted-by":"crossref","unstructured":"Merouani, H., Mokhati, F., Seridi-Bouchelaghem, H.: Formalizing artifact-centric business processes-towards a conformance testing approach. In: ICEIS (2), pp. 368\u2013374 (2014)","DOI":"10.5220\/0004951803680374"},{"key":"39_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J Meseguer","year":"1998","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Presicce, F.P. (ed.) WADT 1997. LNCS, vol. 1376, pp. 18\u201361. Springer, Heidelberg (1998). doi:10.1007\/3-540-64299-4_26"},{"issue":"1","key":"39_CR19","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. Theor. Comput. Sci. 96(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"39_CR20","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.tcs.2006.12.018","volume":"373","author":"J Meseguer","year":"2007","unstructured":"Meseguer, J., Rosu, G.: The rewriting logic semantics project. Theor. Comput. Sci. 373(3), 213\u2013237 (2007). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0304397506009042","journal-title":"Theor. Comput. Sci."},{"key":"39_CR21","volume-title":"Communicating and Mobile Systems: the pi Calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the pi Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"39_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-33606-5_2","volume-title":"On the Move to Meaningful Internet Systems: OTM 2012","author":"M Reichert","year":"2012","unstructured":"Reichert, M.: Process and data: two sides of the same coin? In: Meersman, R., Panetto, H., Dillon, T., Rinderle-Ma, S., Dadam, P., Zhou, X., Pearson, S., Ferscha, A., Bergamaschi, S., Cruz, I.F. (eds.) OTM 2012. LNCS, vol. 7565, pp. 2\u201319. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-33606-5_2"},{"issue":"4","key":"39_CR23","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"WMP Van Der Aalst","year":"2005","unstructured":"Van Der Aalst, W.M.P., Ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. syst. 30(4), 245\u2013275 (2005)","journal-title":"Inf. syst."},{"issue":"2B","key":"39_CR24","first-page":"173","volume":"31","author":"M Wibig","year":"2010","unstructured":"Wibig, M.: Optimisation of business processes using petri nets and dynamic programming. Stud. Inform. 31(2B), 173\u2013180 (2010)","journal-title":"Stud. Inform."},{"key":"39_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-319-23781-7_18","volume-title":"Model and Data Engineering","author":"B Zieli\u0144ski","year":"2015","unstructured":"Zieli\u0144ski, B., Sobieski, \u015a., Kruszy\u0144ski, P., Sysak, M., Ma\u015blanka, P.: Object $$\\pi $$-calculus and document workflows. In: Bellatreche, L., Manolopoulos, Y. (eds.) MEDI 2015. LNCS, vol. 9344, pp. 227\u2013238. Springer, Cham (2015). doi:10.1007\/978-3-319-23781-7_18"}],"container-title":["Communications in Computer and Information Science","Beyond Databases, Architectures and Structures. Towards Efficient Solutions for Data Analysis and Knowledge Representation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58274-0_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:36:18Z","timestamp":1750206978000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-58274-0_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319582733","9783319582740"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58274-0_39","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"27 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BDAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference: Beyond Databases, Architectures and Structures","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ustro\u0144","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 May 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bdas2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/bdas.polsl.pl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}