{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:26:57Z","timestamp":1725470817171},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336539"},{"type":"electronic","value":"9783642336546"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33654-6_1","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T03:47:41Z","timestamp":1347940061000},"page":"1-19","source":"Crossref","is-referenced-by-count":0,"title":["A Graph-Based Design Framework for Services"],"prefix":"10.1007","author":[{"given":"Ant\u00f3nia","family":"Lopes","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-02138-1_15","volume-title":"Formal Techniques for Distributed Systems","author":"J. Abreu","year":"2009","unstructured":"Abreu, J., Mazzanti, F., Fiadeiro, J.L., Gnesi, S.: A Model-Checking Approach for Service Component Architectures. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS\/FORTE 2009. LNCS, vol.\u00a05522, pp. 219\u2013224. Springer, Heidelberg (2009)"},{"issue":"3","key":"1_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1998","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol.\u00a06(3), 213\u2013249 (1998)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"1","key":"1_CR3","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MIC.2004.1260703","volume":"8","author":"B. Benatallah","year":"2004","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Web service conversation modeling: A cornerstone for e-business automation. IEEE Internet Computing\u00a08(1), 46\u201354 (2004)","journal-title":"IEEE Internet Computing"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: Ellis, A., Hagino, T. (eds.) WWW, pp. 148\u2013159. ACM (2005)","DOI":"10.1145\/1060745.1060770"},{"issue":"2","key":"1_CR5","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S. Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM\u00a044(2), 201\u2013236 (1997)","journal-title":"J. ACM"},{"key":"1_CR6","unstructured":"Bocchi, L., Fiadeiro, J.L., Gilmore, S., Abreu, J., Solanki, M., Vankayala, V.: A formal approach to modelling time properties of service oriented systems. In: Handbook of Research on Non-Functional Properties for Service-Oriented Systems: Future Directions. Advances in Knowledge Management Book Series. IGI Global (in print)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 2\u201317. Springer, Heidelberg (2007)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Coulson, G., Blair, G.S., Grace, P., Ta\u00efani, F., Joolia, A., Lee, K., Ueyama, J., Sivaharan, T.: A generic component model for building systems software. ACM Trans. Comput. Syst.\u00a026(1) (2008)","DOI":"10.1145\/1328671.1328672"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface Theories for Component-Based Design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 148\u2013165. Springer, Heidelberg (2001)"},{"issue":"2","key":"1_CR10","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/s10270-003-0043-9","volume":"3","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Orejas, F., Braatz, B., Klein, M., Piirainen, M.: A component framework for system modeling based on high-level replacement systems. Software and System Modeling\u00a03(2), 114\u2013135 (2004)","journal-title":"Software and System Modeling"},{"key":"1_CR11","unstructured":"Fiadeiro, J.L.: Categories for Software Engineering. Springer (2004)"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-642-15114-9_8","volume-title":"Software Architecture","author":"J.L. Fiadeiro","year":"2010","unstructured":"Fiadeiro, J.L., Lopes, A.: A Model for Dynamic Reconfiguration in Service-Oriented Architectures. In: Babar, M.A., Gorton, I. (eds.) ECSA 2010. LNCS, vol.\u00a06285, pp. 70\u201385. Springer, Heidelberg (2010)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-19811-3_3","volume-title":"Fundamental Approaches to Software Engineering","author":"J.L. Fiadeiro","year":"2011","unstructured":"Fiadeiro, J.L., Lopes, A.: An Interface Theory for Service-Oriented Design. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol.\u00a06603, pp. 18\u201333. Springer, Heidelberg (2011)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/11841197_13","volume-title":"Web Services and Formal Methods","author":"J.L. Fiadeiro","year":"2006","unstructured":"Fiadeiro, J.L., Lopes, A., Bocchi, L.: A Formal Approach to Service Component Architecture. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 193\u2013213. Springer, Heidelberg (2006)"},{"issue":"4","key":"1_CR15","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/s00165-010-0166-z","volume":"23","author":"J.L. Fiadeiro","year":"2011","unstructured":"Fiadeiro, J.L., Lopes, A., Bocchi, L.: An abstract model of service discovery and binding. Formal Asp. Comput.\u00a023(4), 433\u2013463 (2011)","journal-title":"Formal Asp. Comput."},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-20401-2_5","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","author":"J. Fiadeiro","year":"2011","unstructured":"Fiadeiro, J., Lopes, A., Bocchi, L., Abreu, J.: The Sensoria Reference Modelling Language. In: Wirsing, M., H\u00f6lzl, M. (eds.) SENSORIA Project. LNCS, vol.\u00a06582, pp. 61\u2013114. Springer, Heidelberg (2011)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-50325-0_3","volume-title":"Recent Trends in Data Type Specification","author":"J. Fiadeiro","year":"1988","unstructured":"Fiadeiro, J., Sernadas, A.: Structuring Theories on Consequence. In: Sannella, D., Tarlecki, A. (eds.) Abstract Data Types 1987. LNCS, vol.\u00a0332, pp. 44\u201372. Springer, Heidelberg (1988)"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02138-1_1","volume-title":"Formal Techniques for Distributed Systems","author":"D. Kitchin","year":"2009","unstructured":"Kitchin, D., Quark, A., Cook, W., Misra, J.: The Orc Programming Language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS\/FORTE 2009. LNCS, vol.\u00a05522, pp. 1\u201325. Springer, Heidelberg (2009)"},{"issue":"6","key":"1_CR19","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/508448.508470","volume":"45","author":"F. Kon","year":"2002","unstructured":"Kon, F., Costa, F.M., Blair, G.S., Campbell, R.H.: The case for reflective middleware. Commun. ACM\u00a045(6), 33\u201338 (2002)","journal-title":"Commun. ACM"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-642-13238-4_5","volume-title":"Component-Based Software Engineering","author":"M. L\u00e9ger","year":"2010","unstructured":"L\u00e9ger, M., Ledoux, T., Coupaye, T.: Reliable Dynamic Reconfigurations in a Reflective Component Model. In: Grunske, L., Reussner, R., Plasil, F. (eds.) CBSE 2010. LNCS, vol.\u00a06092, pp. 74\u201392. Springer, Heidelberg (2010)"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-31984-9_3","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Martens","year":"2005","unstructured":"Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 19\u201333. Springer, Heidelberg (2005)"},{"key":"1_CR22","unstructured":"OSOA. Service component architecture: Building systems using a service oriented architecture (2005), White paper available from \n                    \n                      http:\/\/www.osoa.org"},{"issue":"4","key":"1_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1734229.1734230","volume":"19","author":"J. Ponge","year":"2010","unstructured":"Ponge, J., Benatallah, B., Casati, F., Toumani, F.: Analysis and applications of timed service protocols. ACM Trans. Softw. Eng. Methodol. 19(4), 11:1\u201311:38 (2010)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1_CR24","series-title":"LNBIP","first-page":"271","volume-title":"UNISCON","author":"W. Reisig","year":"2008","unstructured":"Reisig, W.: Towards a Theory of Services. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds.) UNISCON 2008. LNBIP, vol.\u00a05, pp. 271\u2013281. Springer, Heidelberg (2008)"},{"issue":"2","key":"1_CR25","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1504\/IJBPIM.2007.015132","volume":"2","author":"W. Aalst van der","year":"2007","unstructured":"van der Aalst, W., Beisiegel, M., van Hee, K., Konig, D.: An SOA-based architecture framework. Journal of Business Process Integration and Management\u00a02(2), 91\u2013101 (2007)","journal-title":"Journal of Business Process Integration and Management"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-78739-6_21","volume-title":"Programming Languages and Systems","author":"H.T. Vieira","year":"2008","unstructured":"Vieira, H.T., Caires, L., Seco, J.C.: The Conversation Calculus: A Model of Service-Oriented Computation. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 269\u2013283. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33654-6_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:17:45Z","timestamp":1620130665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33654-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336539","9783642336546"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33654-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}