{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:36:48Z","timestamp":1725568608949},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642167195"},{"type":"electronic","value":"9783642167201"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16720-1_18","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:40:14Z","timestamp":1288705214000},"page":"166-176","source":"Crossref","is-referenced-by-count":0,"title":["Formal Verification of Stochastic Timing Behavior in Web-Based Business Process Collaboration"],"prefix":"10.1007","author":[{"given":"Haiyang","family":"Hu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianen","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JiDong","family":"Ge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"18_CR1","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/258077.258080","volume":"6","author":"A. Vincenzo","year":"1997","unstructured":"Vincenzo, A., Reidar, C., Alfonso, F.: Assessing process-centered software engineering environments. ACM Trans. Softw. Eng. Methodol.\u00a06(3), 283\u2013328 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"18_CR2","unstructured":"Bernardo, M.: Theory and Application of Extended Markovian Process Algbra.[Ph.D] Dottorato di Ricerca in Informatica, University di Bologna, Padova, Venezia (1999)"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0167-6423(01)00002-8","volume":"41","author":"C. Canal","year":"2001","unstructured":"Canal, C., Pimentel, E., Troya, J.M.: Compatibility and inheritance in software archi-tectures. Science of Computer Programming\u00a041, 105\u2013138 (2001)","journal-title":"Science of Computer Programming"},{"issue":"4","key":"18_CR4","first-page":"405","volume":"9","author":"H. Wehrheim","year":"2002","unstructured":"Wehrheim, H.: Relating State-based and Behaviour-oriented Subtyping. Nordic Journal of Computing\u00a09(4), 405\u2013435 (2002)","journal-title":"Nordic Journal of Computing"},{"issue":"1","key":"18_CR5","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/504087.504091","volume":"11","author":"M. Schrefl","year":"2002","unstructured":"Schrefl, M., Stumptner, M.: Behavior-Consistent Specialization of Object Life Cycles. ACM Transaction on Software Engineering and Methodology\u00a011(1), 92\u2013148 (2002)","journal-title":"ACM Transaction on Software Engineering and Methodology"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0167-6423(01)00005-3","volume":"42","author":"W.M.P. Aalst Van Der","year":"2002","unstructured":"Van Der Aalst, W.M.P., Toorn, R.A.: Component-based software architectures: a framework based on inheritance of behavior. Science of Computer Programming\u00a042, 129\u2013171 (2002)","journal-title":"Science of Computer Programming"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Wehrheim, H.: Checking Behavioural Subtypes via Refinement. In: FMOODS 2002: Formal methods for Open Object-Based Distributed Systems, pp. 79\u201393. Kluwer, Dordrecht (2002)","DOI":"10.1007\/978-0-387-35496-5_7"},{"issue":"4","key":"18_CR8","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1145\/606612.606614","volume":"11","author":"M. Bernardo","year":"2002","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting families of software systems with process algebras. ACM Transaction on Software Engineering and Methodology\u00a011(4), 386\u2013426 (2002)","journal-title":"ACM Transaction on Software Engineering and Methodology"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-0-387-35563-4_7","volume-title":"Software Architecture","author":"C. Canal","year":"1999","unstructured":"Canal, C., Pimentel, E., Troya, J.: Specification and refinement for dynamic software architectures. In: Software Architecture, pp. 107\u2013126. Kluwer Academic Publisher, Netherlands (1999)"},{"issue":"3","key":"18_CR10","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"16","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transaction on Software Engineering and Methodology\u00a016(3), 213\u2013249 (1997)","journal-title":"ACM Transaction on Software Engineering and Methodology"},{"issue":"1","key":"18_CR11","first-page":"201","volume":"9","author":"S. Seabastian","year":"2009","unstructured":"Seabastian, S., Terry, R.P., Nicholas, R.J.: Flexible provisioning of Web service workflows. ACM Transaction on Internet Technology\u00a09(1), 201\u2013245 (2009)","journal-title":"ACM Transaction on Internet Technology"},{"issue":"6","key":"18_CR12","doi-asserted-by":"publisher","first-page":"1276","DOI":"10.1360\/jos171276","volume":"17","author":"H. Hu","year":"2006","unstructured":"Hu, H., Lu, J., Ma, X., Tao, X.: Research on Behavioral Compatibility of Components in Software Architecture Using Object-Oriented Paradigm. Journal of Software\u00a017(6), 1276\u20131286 (2006)","journal-title":"Journal of Software"}],"container-title":["Lecture Notes in Computer Science","Web-Age Information Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16720-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T01:03:50Z","timestamp":1553216630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16720-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642167195","9783642167201"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16720-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}