{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T17:21:37Z","timestamp":1712078497145},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T00:00:00Z","timestamp":1267401600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s11761-010-0056-5","type":"journal-article","created":{"date-parts":[[2010,3,9]],"date-time":"2010-03-09T12:46:39Z","timestamp":1268138799000},"page":"3-15","source":"Crossref","is-referenced-by-count":11,"title":["Event-driven modeling and testing of real-time web services"],"prefix":"10.1007","volume":"4","author":[{"given":"Fevzi","family":"Belli","sequence":"first","affiliation":[]},{"given":"Michael","family":"Linschulte","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,3,10]]},"reference":[{"key":"56_CR1","doi-asserted-by":"crossref","unstructured":"Aho A, Dahbura A, Lee D, Uyar M (1991) An optimization technique for protocol conformance test generation based on uio sequences and rural chinese postman tours. pp 1604\u20131615","DOI":"10.1109\/26.111442"},{"issue":"2","key":"56_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2): 183\u2013235","journal-title":"Theor Comput Sci"},{"key":"56_CR3","volume-title":"Test and analysis of web services","year":"2007","unstructured":"Baresi, L, Nitto, ED (eds) (2007) Test and analysis of web services. Springer, Heidelberg"},{"issue":"1","key":"56_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/stvr.335","volume":"16","author":"F Belli","year":"2006","unstructured":"Belli F, Budnik CJ, White L (2006) Event-based modelling, analysis and testing of user interactions: approach and case study. Softw Test Verif Reliab 16(1): 3\u201332","journal-title":"Softw Test Verif Reliab"},{"key":"56_CR5","unstructured":"Bianco P, Kotermanski R, Merson P (2007) Evaluating a service-oriented architecture. Tech. Rep. CMU\/SEI-2007-TR-015, Software Engineering Institute of Carnegie Mellon University, http:\/\/www.sei.cmu.edu\/publications\/documents\/07.reports\/07tr015.html"},{"key":"56_CR6","doi-asserted-by":"crossref","unstructured":"Bruno M, Canfora G, Penta MD, Esposito G, Mazza V (2005) Using test cases as contract to ensure service compliance across releases. In: Third international conference in service-oriented computing (ICSOC 2005), vol 3826. Springer, Berlin, pp 87\u2013100","DOI":"10.1007\/11596141_8"},{"key":"56_CR7","unstructured":"Codasyl (1982) A modern appraisal of decision tables. Report of the decision table task group. pp 230\u2013232"},{"issue":"5","key":"56_CR8","first-page":"36","volume":"1","author":"D Dranidis","year":"2007","unstructured":"Dranidis D, Kourtesis D, Ramollari E (2007) Formal verification of web service behavioural conformance through testing. Ann Math, Comput Teleinformatics 1(5): 36\u201343","journal-title":"Ann Math, Comput Teleinformatics"},{"key":"56_CR9","unstructured":"Garcia AM, Verhelle M, Vanthienen J (2000) An overview of decision table literature 1982\u20132000. In: Fifth international conference on artificial intelligence and emerging technologies in accounting, finance and tax"},{"key":"56_CR10","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/j.entcs.2004.02.073","volume":"116","author":"R Heckel","year":"2005","unstructured":"Heckel R, Lohmann M (2005) Towards contract-based testing of web services. Electr Notes Theor Comput Sci 116: 145\u2013156","journal-title":"Electr Notes Theor Comput Sci"},{"key":"56_CR11","unstructured":"Jordan D, Evdemon J (2007) Web services business process execution language version 2.0. Tech. rep., OASIS, http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"56_CR12","doi-asserted-by":"crossref","unstructured":"Keum C, Kang S, Ko IY, Baik J, Choi YI (2006) Generating test cases for web services using extended finite state machine. In: TestCom, pp 103\u2013117","DOI":"10.1007\/11754008_7"},{"key":"56_CR13","volume-title":"The power of events: an introduction to complex event processing in distributed enterprise systems","author":"DC Luckham","year":"2001","unstructured":"Luckham DC (2001) The power of events: an introduction to complex event processing in distributed enterprise systems. Addison-Wesley Longman Publishing Co., Inc, Boston"},{"issue":"5","key":"56_CR14","first-page":"11","volume":"1","author":"A Marconi","year":"2007","unstructured":"Marconi A, Pistore M, Traverso P (2007) Process-level composition of web services: a semi-automated iterative approach. Ann Math, Comput Teleinformatics 1(5): 11\u201325","journal-title":"Ann Math, Comput Teleinformatics"},{"key":"56_CR15","first-page":"1180","volume":"0","author":"M Mathes","year":"2008","unstructured":"Mathes M, Heinzl S, Freisleben B (2008) Ws-temporalpolicy: a ws-policy extension for describing service properties with time constraints. Annu Int Comput Softw Appl Conf 0: 1180\u20131186","journal-title":"Annu Int Comput Softw Appl Conf"},{"key":"56_CR16","volume-title":"Object-oriented software construction","author":"B Meyer","year":"1997","unstructured":"Meyer B (1997) Object-oriented software construction. 2. Prentice-Hall Inc, Upper Saddle River","edition":"2"},{"key":"56_CR17","doi-asserted-by":"crossref","unstructured":"Michelson B (Feb 2006) Event-driven architecture overview. Patricia Seybold Group","DOI":"10.1571\/bda2-2-06cc"},{"key":"56_CR18","doi-asserted-by":"crossref","unstructured":"Ortiz G, Leymann F (2006) Combining ws-policy and aspect-oriented programming. In: Telecommunications, 2006 AICT-ICIW \u201906 International conference on internet and web applications and services\/advanced international conference on pp 143\u2013148","DOI":"10.1109\/AICT-ICIW.2006.66"},{"key":"56_CR19","volume-title":"Decision tables: theory and practice","author":"LS Pollac","year":"1971","unstructured":"Pollac LS, Hicks H, Harrison W (1971) Decision tables: theory and practice. Wiley, New York"},{"key":"56_CR20","unstructured":"Russell S, Norvig P (2003) Artificial intelligence: a modern approach, 2nd edn, chap Constraints satisfaction problems. pp 137\u2013160"},{"key":"56_CR21","doi-asserted-by":"crossref","unstructured":"Tsai WT, Paul R, Wang Y, Fan C, Wang D (2002) Extending wsdl to facilitate web services testing. In: HASE \u201902: Proceedings of the 7th IEEE international symposium on high assurance systems engineering (HASE\u201902), IEEE Computer Society, Washington, DC, USA, p 171","DOI":"10.1109\/HASE.2002.1173119"},{"key":"56_CR22","unstructured":"Vedamuthu A, Orchard D, Hirsch F, Hondo M, Yendluri P, Boubez T, Yalcinalp U (2007) Web services policy. Tech. rep., World Wide Web Consortium (W3C), http:\/\/www.w3.org\/TR\/ws-policy"},{"key":"56_CR23","unstructured":"Zirnsak R (2009) Master thesis (working title): input data generation for positive and negative testing. Tech. Rep. 2009\/1, University of Paderborn"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-010-0056-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-010-0056-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-010-0056-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T21:46:04Z","timestamp":1559425564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-010-0056-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["56"],"URL":"https:\/\/doi.org\/10.1007\/s11761-010-0056-5","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3]]}}}