{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:24:20Z","timestamp":1742941460816,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319295817"},{"type":"electronic","value":"9783319295824"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29582-4_11","type":"book-chapter","created":{"date-parts":[[2016,2,2]],"date-time":"2016-02-02T11:06:17Z","timestamp":1454411177000},"page":"193-215","source":"Crossref","is-referenced-by-count":4,"title":["High Level Model Checker Based Testing of Electronic Contracts"],"prefix":"10.1007","author":[{"given":"Ellis","family":"Solaiman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioannis","family":"Sfyrakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Molina-Jimenez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,2,3]]},"reference":[{"unstructured":"Molina-Jimenez, C., Shrivastava, S., Solaiman, E., Warne, J.: Contract representation for run-time monitoring and enforcement. In: 2003 IEEE International Conference on E-Commerce (CEC 2003). IEEE (2003)","key":"11_CR1"},{"doi-asserted-by":"crossref","unstructured":"Molina-Jimenez, C., Shrivastava, S., Wheater, S.: An architecture for negotiation and enforcement of resource usage policies. In: IEEE International Conference on Service Oriented Computing and Applications (SOCA). IEEE (2011)","key":"11_CR2","DOI":"10.1109\/SOCA.2011.6166218"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-88808-6_11","volume-title":"Rule Representation, Interchange and Reasoning on the Web","author":"M Strano","year":"2008","unstructured":"Strano, M., Molina-Jimenez, C., Shrivastava, S.: A rule-based notation to specify executable electronic contracts. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol. 5321, pp. 81\u201388. Springer, Heidelberg (2008)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-540-24593-3_21","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"E Solaiman","year":"2003","unstructured":"Solaiman, E., Molina-Jim\u00e9nez, C., Shrivastav, S.: Model checking correctness properties of electronic contracts. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 303\u2013318. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Abdelsadiq, A., Molina-Jimenez, C., Shrivastava, S.: A high level model checking tool for verifying service agreements. In: The 6th IEEE International Symposium on Service-Oriented System Engineering (SOSE 2011). IEEE (2011)","key":"11_CR5","DOI":"10.1109\/SOSE.2011.6139120"},{"key":"11_CR6","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-04280-5_9","volume-title":"Software Services for e-Business and e-Society","author":"M Strano","year":"2009","unstructured":"Strano, M., Molina-Jimenez, C., Shrivastava, S.: Implementing a rule-based contract compliance checker. In: Godart, C., Gronau, N., Sharma, S., Canals, G. (eds.) I3E 2009. IFIP AICT, vol. 305, pp. 96\u2013111. Springer, Heidelberg (2009)"},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/TSC.2011.37","volume":"5","author":"C Molina-Jimenez","year":"2012","unstructured":"Molina-Jimenez, C., Shrivastava, S., Strano, M.: A model for checking contractual compliance of business interactions. IEEE Trans. Serv. Comput. 5(2), 276\u2013289 (2012)","journal-title":"IEEE Trans. Serv. Comput."},{"doi-asserted-by":"crossref","unstructured":"Abdelsadiq, A., Molina-Jimenez, C., Shrivastava, S.: On model checker based testing of electronic contracting systems. In: IEEE International Conference on Commerce and Enterprise Computing (CEC 2010). IEEE (2010)","key":"11_CR8","DOI":"10.1109\/CEC.2010.35"},{"unstructured":"Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison Wesley Professional, Boston (2003)","key":"11_CR9"},{"doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of 18th Annual Symposium on Foundations of Computer Science (FOCS 1977), pp. 46\u201357 (1977)","key":"11_CR10","DOI":"10.1109\/SFCS.1977.32"},{"doi-asserted-by":"crossref","unstructured":"Solaiman, E., Sun, W., Molina-Jimenez, C.: A tool for the automatic verification of bpmn choreographies. In: IEEE 12th International Conference on Services Computing (SCC). IEEE (2015)","key":"11_CR11","DOI":"10.1109\/SCC.2015.103"},{"unstructured":"OMG: Documents associated with business process model and notation (bpmn) version 2.0 (2011). \n                    http:\/\/www.omg.org\/spec\/BPMN\/2.0\/","key":"11_CR12"},{"doi-asserted-by":"crossref","unstructured":"Molina-Jimenez, C., Shrivastava, S.: Establishing conformance between contracts and choreographies. In: 15th IEEE Conference on Business Informatics (CBI), IEEE Computer Society, Vienna, Austria. IEEE (2013)","key":"11_CR13","DOI":"10.1109\/CBI.2013.19"},{"unstructured":"RedHat: Drools (2013). \n                    http:\/\/www.drools.org\/","key":"11_CR14"},{"unstructured":"Parr, T.: The Definitive ANTLR 4 Reference, January 2013","key":"11_CR15"},{"doi-asserted-by":"crossref","unstructured":"Molina-Jimenez, C., Shrivastava, S., Cook, N.: Implementing business conversations with consistency guarantees using message-oriented middleware. In: IEEE 11th International Enterprise Computing Conference (EDOC 2007), pp. 51\u201362 (2007)","key":"11_CR16","DOI":"10.1109\/EDOC.2007.21"},{"doi-asserted-by":"crossref","unstructured":"Molina-Jimenez, C., Shrivastava, S., Strano, M.: Exception handling in electronic contracting. In: IEEE Conference on Commerce and Enterprise Computing (CEC). IEEE, Vienna, Austria (2009)","key":"11_CR17","DOI":"10.1109\/CEC.2009.77"},{"unstructured":"OASIS: ebXML Business Process Specification Schema Technical Specification v2.0.4. \n                    http:\/\/docs.oasis-open.org\/ebxml-bp\/2.0.4\/OS\/spec\/ebxmlbp-v2.0.4-Spec-os-en.pdf\n                    \n                   (2006)","key":"11_CR18"},{"doi-asserted-by":"crossref","unstructured":"Solaiman, E., Sfyrakis, I., Molina-Jimenez, C.: Dynamic testing and deployment of a contract monitoring service. In: 5th International Conference on Cloud Computing and Services Science. SCITEPRESS (2015)","key":"11_CR19","DOI":"10.5220\/0005453704630474"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/3-540-40026-5_12","volume-title":"Distributed Computing","author":"V Ungureanu","year":"2000","unstructured":"Ungureanu, V., Minsky, N.H.: Establishing business rules for inter-enterprise electronic commerce. In: Herlihy, M.P. (ed.) DISC 2000. LNCS, vol. 1914, pp. 179\u2013193. Springer, Heidelberg (2000)"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-540-25982-4_7","volume-title":"Web Services, E-Business, and the Semantic Web","author":"H Ludwig","year":"2004","unstructured":"Ludwig, H., Stolze, M.: Simple obligation and right model (SORM) - for the runtime management of electronic service contracts. In: Bussler, C.J., Fensel, D., Orlowska, M.E., Yang, J. (eds.) WES 2003. LNCS, vol. 3095, pp. 62\u201376. Springer, Heidelberg (2004)"},{"unstructured":"Hvitved, T.: A survey of formal languages for contracts. In: Fourth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2010) (2010)","key":"11_CR22"},{"key":"11_CR23","volume-title":"Temporal Logics and Computer Science: an Overview","author":"A Galton","year":"1987","unstructured":"Galton, A.: Temporal Logics and Computer Science: an Overview. Academic Press, Cambridge (1987). Chap. 1"},{"issue":"3","key":"11_CR24","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1002\/stvr.402","volume":"19","author":"Gordon Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., Ammann, P.: Testing with model checkers: a survey, pp. 215\u2013261. Verification and Reliability, Software Testing (2009)","journal-title":"Software Testing, Verification and Reliability"},{"key":"11_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"WMP Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: towards a truly declarative service flow language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"unstructured":"El-Far, I.K.: Enjoying the perks of model-based testing. In: Proceedings of the Software Testing, Analysis, and Review Conference (STARWEST 2001) (2001)","key":"11_CR26"},{"key":"11_CR27","volume-title":"Practical Model-Based Testing: a Tools Approach","author":"M Utting","year":"2006","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: a Tools Approach. Morgan-Kaufmann, Burlington (2006)"},{"key":"11_CR28","volume-title":"Software Testing and Analysis: Process","author":"M Pezze","year":"2008","unstructured":"Pezze, M., Young, M.: Software Testing and Analysis: Process. Wiley, Principles and Techniques, New York (2008)"},{"doi-asserted-by":"crossref","unstructured":"Torsel, A.M.: A testing tool for web applications using a domain-specific modelling language and the nusmv model checker. In: IEEE Sixth International Conference on Software Testing, Verification and Validation (2013)","key":"11_CR29","DOI":"10.1109\/ICST.2013.54"},{"doi-asserted-by":"crossref","unstructured":"Shrivastava, S., Little, M.: Designing atomic business functions with distributed control. In: 17th IEEE Conference on Business Informatics (CBI 2015). IEEE (2015)","key":"11_CR30","DOI":"10.1109\/CBI.2015.17"}],"container-title":["Communications in Computer and Information Science","Cloud Computing and Services Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29582-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:03:53Z","timestamp":1559379833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29582-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319295817","9783319295824"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29582-4_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]}}}