{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T04:08:26Z","timestamp":1749874106027,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662541722"},{"type":"electronic","value":"9783662541739"}],"license":[{"start":{"date-parts":[[2016,12,24]],"date-time":"2016-12-24T00:00:00Z","timestamp":1482537600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54173-9_5","type":"book-chapter","created":{"date-parts":[[2016,12,24]],"date-time":"2016-12-24T08:13:40Z","timestamp":1482567220000},"page":"94-123","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Contractual Specifications of Business Services: Modeling, Formalization and Proximity"],"prefix":"10.1007","author":[{"given":"Lam-Son","family":"L\u00ea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Trung-Viet","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thai-Minh","family":"Truong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khuong","family":"Nguyen-An","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,24]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-642-02144-2_25","volume-title":"Advanced Information Systems Engineering","author":"V Andrikopoulos","year":"2009","unstructured":"Andrikopoulos, V., Benbernou, S., Papazoglou, M.P.: Evolving services from a contractual perspective. In: Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 290\u2013304. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02144-2_25"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45441-1_3","volume-title":"UML 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"C Atkinson","year":"2001","unstructured":"Atkinson, C., K\u00fchne, T.: The essence of multilevel metamodeling. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 19\u201333. Springer, Heidelberg (2001). doi: 10.1007\/3-540-45441-1_3"},{"key":"5_CR3","unstructured":"Bilgin, A.S., Singh, M.: A DAML-based repository for QoS-aware semantic web service selection. In: Proceedings of the IEEE International Conference on Web Services. Institute of Electrical and Electronics Engineers (IEEE) (2004)"},{"issue":"2","key":"5_CR4","doi-asserted-by":"crossref","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 44(2), 201\u2013236 (1997)","journal-title":"J. ACM"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-540-25925-1_2","volume-title":"Semirings for Soft Constraint Solving and Programming","author":"S Bistarelli","year":"2004","unstructured":"Bistarelli, S.: Soft constraint satisfaction problems. In: Bistarelli, S. (ed.) Semirings for Soft Constraint Solving and Programming. LNCS, vol. 2962, 1st edn, pp. 21\u201350. Springer, Heidelberg (2004). Chap. 2","edition":"1"},{"issue":"2","key":"5_CR6","doi-asserted-by":"crossref","first-page":"69","DOI":"10.2307\/1251871","volume":"54","author":"M Bitner","year":"1990","unstructured":"Bitner, M.: Evaluating service encounters: the effects of physical surroundings and employee responses. J. Mark. 54(2), 69\u201382 (1990)","journal-title":"J. Mark."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Buckl, S., Buschle, M., Johnson, P., Matthes, F., Schweda, C.: A Meta-language for enterprise architecture analysis. In: Halpin, T., Nurcan, S., Krogstie, J., Soffer, P., Proper, E., Schmidt, R., Bider, I. (eds.) Enterprise, Business-Process and Information Systems Modeling, vol. 81, pp. 511\u2013525. Springer, New York (2011)","DOI":"10.1007\/978-3-642-21759-3_37"},{"issue":"4","key":"5_CR8","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L Cardelli","year":"1985","unstructured":"Cardelli, L., Wegner, P.: On understanding types, data abstraction, and polymorphism. ACM Comput. Surv. MIT Press Sci. Comput. Ser. 17(4), 471\u2013523 (1985)","journal-title":"ACM Comput. Surv. MIT Press Sci. Comput. Ser."},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-10383-4_15","volume-title":"Service-Oriented Computing","author":"M Comerio","year":"2009","unstructured":"Comerio, M., Truong, H.-L., Paoli, F., Dustdar, S.: Evaluating contract compatibility for service composition in the SeCO $$_2$$ framework. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC\/ServiceWave 2009. LNCS, vol. 5900, pp. 221\u2013236. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-10383-4_15"},{"key":"5_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (2002)"},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/j.entcs.2004.10.030","volume":"142","author":"G Ferrari","year":"2006","unstructured":"Ferrari, G., Lluch-Lafuente, A.: A logic for graphs with QoS. Electron. Notes Theor. Comput. Sci. 142, 143\u2013160 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"5_CR12","unstructured":"Pohle, G., Korsten, P.: Component business models - making specialization real. White paper. IBM $$\\textregistered $$ Institute for Business Value (2005)"},{"key":"5_CR13","volume-title":"Logic and the Modalities in the Twentieth Century (Handbook of the History of Logic)","author":"DM Gabbay","year":"2006","unstructured":"Gabbay, D.M., Woods, J.: Logic and the Modalities in the Twentieth Century (Handbook of the History of Logic), vol. 7. North Holland, Amsterdam (2006)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Ghose, A., L\u00ea, L.S., Hoesch-Klohe, K., Morrison, E.: The business service representation language: a preliminary report. In: Proceedings of the 1 $$^{st}$$ International Workshop on Service Modelling and Representation Techniques - Associated With ServiceWave, Ghent, Belgium, December 2010","DOI":"10.1007\/978-3-642-22760-8_16"},{"issue":"4","key":"5_CR15","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1142\/S0218843006001529","volume":"15","author":"G Governatori","year":"2006","unstructured":"Governatori, G., Milosevic, Z.: A formal analysis of a business contract language. Int. J. Coop. Inf. Syst. 15(4), 659\u2013685 (2006)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"5_CR16","unstructured":"Guizzardi, G.: On ontology, ontologies, conceptualizations, modeling languages, and (meta) models. In: Frontiers in Artificial Intelligence and Applications, Databases and Information Systems IV"},{"key":"5_CR17","volume-title":"Pervasive Computing: The Mobile World","author":"U Hansmann","year":"2011","unstructured":"Hansmann, U., Merk, L., Nicklous, M.S., Stober, T.: Pervasive Computing: The Mobile World, 2nd edn. Springer, Heidelberg (2011)","edition":"2"},{"issue":"5\u20137","key":"5_CR18","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1016\/j.laa.2009.03.039","volume":"431","author":"L Hardouin","year":"2009","unstructured":"Hardouin, L., Cottenceau, B., Lhommeau, M., Le Corronc, E.: Interval systems over idempotent semiring. Linear Algebra Appl. 431(5\u20137), 855\u2013862 (2009)","journal-title":"Linear Algebra Appl."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Hinge, K., Ghose, A., Koliadis, G.: Process SEER: a tool for semantic effect annotation of business process models. In: Proceedings of the 13th IEEE International Conference on Enterprise Distributed Object Computing, pp. 49\u201358. IEEE Computer Society, Auckland, September 2009","DOI":"10.1109\/EDOC.2009.24"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Hirsch, D., Tuosto, E.: SHReQ: coordinating application level QoS. In: Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods, Koblenz, Germany, pp. 425\u2013434, September 2005","DOI":"10.1109\/SEFM.2005.40"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-540-69100-6_17","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"T Holmes","year":"2008","unstructured":"Holmes, T., Tran, H., Zdun, U., Dustdar, S.: Modeling human aspects of business processes \u2013 a view-based, model-driven approach. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 246\u2013261. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-69100-6_17"},{"key":"5_CR22","unstructured":"IFM and IBM: succeeding through service innovation: a service perspective for education, research, business and government. White paper, University of Cambridge Institute for Manufacturing, Cambridge, UK (2008)"},{"key":"5_CR23","unstructured":"ISO\/IEC: ITU-T X.902\u2014ISO\/IEC 10746\u20132 Information Technology - Open Distributed Processing - Reference Model - Foundations. International standard, SC 7 and ITU (2010)"},{"issue":"2","key":"5_CR24","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"5_CR25","unstructured":"Kloppmann, M., Koenig, D., Leymann, F., Pfau, G., Rickayzen, A., Riegen, C., Schmidt, P., Trickovic, I.: WS-BPEL extension for people - BPEL4People. White paper, IBM and SAP, June 2005"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-642-13094-6_11","volume-title":"Advanced Information Systems Engineering","author":"T Kohlborn","year":"2010","unstructured":"Kohlborn, T., Luebeck, C., Korthaus, A., Fielt, E., Rosemann, M., Riedl, C., Krcmar, H.: Conceptualizing a bottom-up approach to service bundling. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 129\u2013134. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-13094-6_11"},{"key":"5_CR27","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/s10270-006-0017-9","volume":"5","author":"T K\u00fchne","year":"2006","unstructured":"K\u00fchne, T.: Matters of (meta-) modeling. Soft. Syst. Model. 5, 369\u2013385 (2006)","journal-title":"Soft. Syst. Model."},{"key":"5_CR28","unstructured":"L\u00ea, L.S.: Services for business processes in EA - are they in relation? In: Proceedings of the 22nd Australasian Conference on Information Systems. Association for Information Systems, Sydney, Australia, December 2011"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-319-26135-5_14","volume-title":"Future Data and Security Engineering","author":"L-S L\u00ea","year":"2015","unstructured":"L\u00ea, L.-S.: Contractual proximity of business services. In: Dang, T.K., Wagner, R., K\u00fcng, J., Thoai, N., Takizawa, M., Neuhold, E. (eds.) FDSE 2015. LNCS, vol. 9446, pp. 183\u2013197. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-26135-5_14"},{"key":"5_CR30","unstructured":"L\u00ea, L.S., Dam, H., Ghose, A.: On business services representation -the 3 $$\\,\\times \\,$$ 3 $$\\,\\times \\,$$ 3 approach. In: Proceedings of the 21st Australasian Conference on Information Systems. Association for Information Systems, Brisbane, Australia, December 2010"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"L\u00ea, L.S., Ghose, A., Morrison, E.: Definition of a description language for business service decomposition. In: Proceedings of the 1st International Conference on Exploring Services Sciences (IESS 2010), Geneva, Switzerland, pp. 96\u2013110, February 2010","DOI":"10.1007\/978-3-642-14319-9_8"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"L\u00ea, L.S., Truong, H.L., Ghose, A., Dustdar, S.: On elasticity and constrainedness of business services provisioning. In: Proceedings of the 9th International Conference on Services Computing (SCC), pp. 384\u2013391. IEEE Computer Society, June 2012","DOI":"10.1109\/SCC.2012.34"},{"key":"5_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-642-34002-4_20","volume-title":"Conceptual Modeling","author":"L-S L\u00ea","year":"2012","unstructured":"L\u00ea, L.-S., Ghose, A.: Contracts + Goals = Roles? In: Atzeni, P., Cheung, D., Ram, S. (eds.) ER 2012. LNCS, vol. 7532, pp. 252\u2013266. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-34002-4_20"},{"issue":"6","key":"5_CR34","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1145\/605466.605485","volume":"27","author":"E Letier","year":"2002","unstructured":"Letier, E., van Lamsweerde, A.: Deriving operational software specifications from system goals. ACM SIGSOFT Softw. Eng. Notes 27(6), 119\u2013128 (2002)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Lieberman, H.: Using prototypical objects to implement shared behavior in object-oriented systems. In: Proceedings of the 1st Conference on Object-Oriented Programming Systems, Languages and Applications, pp. 214\u2013223. ACM (1986)","DOI":"10.1145\/28697.28718"},{"issue":"1","key":"5_CR36","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.datak.2004.03.005","volume":"51","author":"P Linington","year":"2004","unstructured":"Linington, P., Milosevic, Z., Cole, J., Gibson, S., Kulkarni, S., Neal, S.: A unified behavioural model and a contract language for extended enterprise. Data Knowl. Eng. 51(1), 5\u201329 (2004)","journal-title":"Data Knowl. Eng."},{"issue":"6","key":"5_CR37","doi-asserted-by":"crossref","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"BH Liskov","year":"1994","unstructured":"Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16(6), 1811\u20131841 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"Liu, Y., Ngu, A.H., Zeng, L.Z.: QoS computation and policing in dynamic web service selection. In: Proceedings of the 13th International World Wide Web Conference on Alternate Track Papers and Posters - WWW Alt. 2004. Association for Computing Machinery (ACM) (2004)","DOI":"10.1145\/1013367.1013379"},{"key":"5_CR39","volume-title":"Design By Contract","author":"B Meyer","year":"2005","unstructured":"Meyer, B.: Design By Contract. Prentice Hall, Englewood Cliffs (2005)"},{"issue":"8","key":"5_CR40","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MC.2006.277","volume":"39","author":"LD Paulson","year":"2006","unstructured":"Paulson, L.D.: Services science: a new field for today\u2019s economy. Computer 39(8), 18\u201321 (2006)","journal-title":"Computer"},{"issue":"1","key":"5_CR41","first-page":"1","volume":"1","author":"M Raut","year":"2004","unstructured":"Raut, M., Singh, A.: Prime implicates of first order formulas. Int. J. Comput. Sci. Appl. 1(1), 1\u201311 (2004)","journal-title":"Int. J. Comput. Sci. Appl."},{"issue":"3","key":"5_CR42","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1037\/0096-3445.104.3.192","volume":"104","author":"E Rosch","year":"1975","unstructured":"Rosch, E.: Cognitive representations of semantic categories. J. Exp. Psychol. 104(3), 192\u2013233 (1975)","journal-title":"J. Exp. Psychol."},{"key":"5_CR43","doi-asserted-by":"crossref","unstructured":"Saat, J., Franke, U., Lagerstrom, R., Ekstedt, M.: Enterprise architecture meta models for IT\/business alignment situations. In: Proceedings of the 14th IEEE International Conference on Enterprise Distributed Object Computing, Vit\u00f3ria, Brazil, pp. 14\u201323, October 2010","DOI":"10.1109\/EDOC.2010.17"},{"key":"5_CR44","volume-title":"Service-Oriented Computing: Semantics, Processes Agents","author":"MP Singh","year":"2005","unstructured":"Singh, M.P., Huhns, M.N.: Service-Oriented Computing: Semantics, Processes Agents. Wiley, Chichester (2005)"},{"key":"5_CR45","volume-title":"First-Order Logic","author":"RM Smullyan","year":"1995","unstructured":"Smullyan, R.M.: First-Order Logic. Dover Publications, New York (1995)"},{"issue":"7","key":"5_CR46","first-page":"44","volume":"10","author":"A Taivalsaari","year":"1997","unstructured":"Taivalsaari, A.: Classes vs. prototypes - some philosophical and historical observations. J. Object-Oriented Prog. 10(7), 44\u201350 (1997)","journal-title":"J. Object-Oriented Prog."},{"key":"5_CR47","unstructured":"Homann, U.: A business-oriented foundation for service orientation. In: White paper. Microsoft MSDN Library (2006)"},{"key":"5_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/11575771_30","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"L-H Vu","year":"2005","unstructured":"Vu, L.-H., Hauswirth, M., Aberer, K.: QoS-based service selection and ranking with trust and reputation management. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3760, pp. 466\u2013483. Springer, Heidelberg (2005). doi: 10.1007\/11575771_30"}],"container-title":["Lecture Notes in Computer Science","Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54173-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T21:15:19Z","timestamp":1749849319000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-54173-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,24]]},"ISBN":["9783662541722","9783662541739"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54173-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016,12,24]]}}}