{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:33:52Z","timestamp":1725471232267},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540462194"},{"type":"electronic","value":"9783540462200"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11888116_6","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:06:43Z","timestamp":1159870003000},"page":"77-92","source":"Crossref","is-referenced-by-count":0,"title":["Web Cube"],"prefix":"10.1007","author":[{"given":"I. S. W. B.","family":"Prasetya","sequence":"first","affiliation":[]},{"given":"T. E. J.","family":"Vos","sequence":"additional","affiliation":[]},{"given":"S. D.","family":"Swierstra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Proc. 5th Int. W.shop on Rule-based Programming RULE","author":"M. Alpuente","year":"2004","unstructured":"Alpuente, M., Ballis, D., Falaschi, M.: A rewriting-based framework for web sites verification. In: Proc. 5th Int. W.shop on Rule-based Programming RULE. Elsevier Science, Amsterdam (2004)"},{"unstructured":"Back, R.J.R.: On the Correctness of Refinement Steps in Program Development. PhD thesis, University of Helsinki, Also available as report A-1978-5 (1978)","key":"6_CR2"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/3-540-52559-9_61","volume-title":"Stepwise Refinement of Distributed Systems","author":"R.J.R. Back","year":"1990","unstructured":"Back, R.J.R., Von Wright, J.: Refinement calculus, part II: Parallel and reactive programs. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1989. LNCS, vol.\u00a0430, pp. 67\u201393. Springer, Heidelberg (1990)"},{"key":"6_CR4","volume-title":"Parallel Program Design \u2013 A Foundation","author":"K.M. Chandy","year":"1988","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design \u2013 A Foundation. Addison-Wesley Publishing Company, Inc., Reading (1988)"},{"unstructured":"Daconta, M.C., Obrst, L.J., Smith, K.T.: The Semantic Web: A Guide to the Future of XML, Web Services, and Knowledge Management (2003)","key":"6_CR5"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/1035167.1035202","volume-title":"Proceedings of 2nd International Conference Service-Oriented Computing (ICSOC)","author":"A. Ferrara","year":"2004","unstructured":"Ferrara, A.: Web services: A process algebra approach. In: Proceedings of 2nd International Conference Service-Oriented Computing (ICSOC), pp. 242\u2013251. ACM, New York (2004)"},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"771","DOI":"10.1145\/1134285.1134408","volume-title":"Proceeding of the 28th international conference on Software engineering","author":"H. Foster","year":"2006","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: LTSA-WS: A tool for model-based verification of web service compositions and choreography. In: Proceeding of the 28th international conference on Software engineering, pp. 771\u2013774. ACM Press, New York (2006)"},{"unstructured":"Frolund, S., Govindarajan, K.: cl: A language for formally defining web services interactions. Technical Report HPL-2003-208, Hewlett Packard Laboratories (2003)","key":"6_CR8"},{"key":"6_CR9","first-page":"410","volume-title":"Proc. 19th IEEE Int. Conf. on Automated Software Engineering (ASE)","author":"M. Haydar","year":"2004","unstructured":"Haydar, M.: Formal framework for automated analysis and verification of web-based applications. In: Proc. 19th IEEE Int. Conf. on Automated Software Engineering (ASE), pp. 410\u2013413. IEEE Computer Society, Los Alamitos (2004)"},{"unstructured":"Herk, R.: Web functions. Master thesis, IICS, Utrecht Univ. No. INF\/SCR-2005-014 (2005)","key":"6_CR10"},{"doi-asserted-by":"crossref","unstructured":"Jones, S.P., Eber, J.-M., Seward, J.: Composing contracts: an adventure in financial engineering. In: Proc. 5th Int. Conf. on Functional Programming, pp. 280\u2013292 (2000)","key":"6_CR11","DOI":"10.1145\/357766.351267"},{"doi-asserted-by":"crossref","unstructured":"Mendelzon, A.O., Milo, T.: Formal models of Web queries. In: Proc. of the 16th ACM Sym. on Principles of Database Systems (PODS), pp. 134\u2013143 (1997)","key":"6_CR12","DOI":"10.1145\/263661.263677"},{"issue":"10","key":"6_CR13","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"6_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8528-6","volume-title":"A Discipline of Multiprogramming","author":"J. Misra","year":"2001","unstructured":"Misra, J.: A Discipline of Multiprogramming. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Misra, J.: A programming model for the orchestration of web services. In: 2nd Int. Conf. on Software Engineering and Formal Methods (SEFM 2004), pp. 2\u201311 (2004)","key":"6_CR15","DOI":"10.1109\/SEFM.2004.1347498"},{"unstructured":"Prasetya, I.S.W.B.: Mechanically Supported Design of Self-stabilizing Algorithms. PhD thesis, Inst. of Information and Computer Sci., Utrecht University (1995)","key":"6_CR16"},{"unstructured":"Prasetya, I.S.W.B., Vos, T.E.J., Azurat, A., Swierstra, S.D.: !UNITY: A HOL theory of general UNITY. In: Emerging Trends Proceedings of 16th Int. Conf. Theorem Proving in Higher Order Logics, pp. 159\u2013176 (2003)","key":"6_CR17"},{"unstructured":"Prasetya, I.S.W.B., Vos, T.E.J., Azurat, A., Swierstra, S.D.: A unity-based framework towards component based systems. Technical Report UU-CS-2003-043, IICS, Utrecht Univ. (2003)","key":"6_CR18"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/11516798_4","volume-title":"Principles of Distributed Systems","author":"I.S.W.B. Prasetya","year":"2005","unstructured":"Prasetya, I.S.W.B., Vos, T.E.J., Azurat, A., Swierstra, S.D.: A UNITY-based framework towards component based systems. In: Higashino, T. (ed.) OPODIS 2004. LNCS, vol.\u00a03544, pp. 52\u201366. Springer, Heidelberg (2005)"},{"issue":"2","key":"6_CR20","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/BF01898402","volume":"3","author":"B.A. Sanders","year":"1991","unstructured":"Sanders, B.A.: Eliminating the substitution axiom from UNITY logic. Formal Aspects of Computing\u00a03(2), 189\u2013205 (1991)","journal-title":"Formal Aspects of Computing"},{"unstructured":"Schmidt, K., Stahl, C.: A petri net semantic for BPEL. In: Proc. of 11th Workshop Algorithms and Tools for Petri Nets (2004)","key":"6_CR21"},{"key":"6_CR22","first-page":"609","volume-title":"SEKE 2002","author":"E. Sciascio Di","year":"2002","unstructured":"Di Sciascio, E., Donini, F.M., Mongiello, M., Piscitelli, G.: AnWeb: a system for automatic support to web application verification. In: SEKE 2002, pp. 609\u2013616. ACM Press, New York (2002)"},{"doi-asserted-by":"crossref","unstructured":"Di Marzo Serugendo, G., Guelfi, N.: Formal development of java based web parallel applications. In: Proc. of the Hawai Int. Conf. on System Sciences (1998)","key":"6_CR23","DOI":"10.1109\/HICSS.1998.649261"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1145\/860575.860721","volume-title":"AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems","author":"M.P. Singh","year":"2003","unstructured":"Singh, M.P.: Distributed enactment of multiagent workflows: temporal logic for web service composition. In: AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 907\u2013914. ACM Press, New York (2003)"},{"key":"6_CR25","volume-title":"Component Software, Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software, Beyond Object-Oriented Programming. Addison-Wesley, Reading (1998)"},{"unstructured":"Udink, R.T.: Program Refinement in UNITY-like Environments. PhD thesis, Inst. of Information and Computer Sci., Utrecht University (1995)","key":"6_CR26"},{"unstructured":"Vos, T.E.J.: UNITY in Diversity: A Stratified Approach to the Verification of Distributed Algorithms. PhD thesis, Inst. of Information and Computer Sci., Utrecht University (2000)","key":"6_CR27"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11888116_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T15:26:52Z","timestamp":1627831612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11888116_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462194","9783540462200"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11888116_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}