{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T03:19:44Z","timestamp":1725851984365},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662496640"},{"type":"electronic","value":"9783662496657"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","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":[[2016]]},"DOI":"10.1007\/978-3-662-49665-7_21","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T08:09:42Z","timestamp":1458547782000},"page":"359-376","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Many-Valued Institutions for Constraint Specification"],"prefix":"10.1007","author":[{"given":"Claudia Elena","family":"Chiri\u0163\u0103","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"21_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.ipl.2007.02.005","volume":"103","author":"M Aiguier","year":"2007","unstructured":"Aiguier, M., Diaconescu, R.: Stratified institutions and elementary homomorphisms. Inf. Process. Lett. 103(1), 5\u201313 (2007)","journal-title":"Inf. Process. Lett."},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/11431855_34","volume-title":"Advanced Information Systems Engineering","author":"D Benavides","year":"2005","unstructured":"Benavides, D., Trinidad, P., Ruiz-Cort\u00e9s, A.: Automated reasoning on feature models. In: Pastor, \u00d3., e Cunha, J.F. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491\u2013503. Springer, Heidelberg (2005)"},{"key":"21_CR3","unstructured":"Bistarelli, S., Gadducci, F.: Enhancing constraints manipulation in semiring-based formalisms. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI, vol. 141, pp. 63\u201367. IOS Press (2006)"},{"issue":"2","key":"21_CR4","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 44(2), 201\u2013236 (1997)","journal-title":"J. ACM"},{"issue":"3","key":"21_CR5","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/A:1026441215081","volume":"4","author":"S Bistarelli","year":"1999","unstructured":"Bistarelli, S., Montanari, U., Rossi, F., Schiex, T., Verfaillie, G., Fargier, H.: Semiring-based CSPs and valued CSPs: frameworks, properties, and comparison. Constraints 4(3), 199\u2013240 (1999)","journal-title":"Constraints"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.entcs.2009.03.020","volume":"236","author":"S Bistarelli","year":"2009","unstructured":"Bistarelli, S., Santini, F.: A nonmonotonic soft concurrent constraint language for SLA negotiation. Electr. Notes Theor. Comput. Sci. 236, 147\u2013162 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1007\/978-3-642-02906-6_76","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"S Bova","year":"2009","unstructured":"Bova, S.: Soft constraints processing over divisible residuated lattices. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 887\u2013898. Springer, Heidelberg (2009)"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/b96103","volume-title":"CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language","author":"PD Mosses","year":"2004","unstructured":"Mosses, P.D.: CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language. LNCS, vol. 2960. Springer, Berlin (2004). doi:\n                      10.1007\/b96103"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-45193-8_17","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"DA Cohen","year":"2003","unstructured":"Cohen, D.A., Cooper, M., Jeavons, P.G., Krokhin, A.A.: Soft constraints: complexity and multimorphisms. In: Rossi, F. (ed.) CP 2003. LNCS, vol. 2833, pp. 244\u2013258. Springer, Heidelberg (2003)"},{"issue":"7","key":"21_CR10","doi-asserted-by":"publisher","first-page":"1247","DOI":"10.1007\/s00500-014-1231-y","volume":"18","author":"R Diaconescu","year":"2014","unstructured":"Diaconescu, R.: Graded consequence: an institution theoretic study. Soft Comput. 18(7), 1247\u20131267 (2014)","journal-title":"Soft Comput."},{"key":"21_CR11","volume-title":"Categories for Software Engineering","author":"JL Fiadeiro","year":"2005","unstructured":"Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2005)"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-1-4471-2297-5_1","volume-title":"Conquering Complexity","author":"JL Fiadeiro","year":"2012","unstructured":"Fiadeiro, J.L.: The many faces of complexity in software design. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 3\u201347. Springer, Heidelberg (2012)"},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2013.05.011","volume":"503","author":"JL Fiadeiro","year":"2013","unstructured":"Fiadeiro, J.L., Lopes, A.: An interface theory for service-oriented design. Theor. Comput. Sci. 503, 1\u201330 (2013)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"21_CR14","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10270-012-0236-1","volume":"12","author":"JL Fiadeiro","year":"2013","unstructured":"Fiadeiro, J.L., Lopes, A.: A model for dynamic reconfiguration in service-oriented architectures. Softw. Syst. Model. 12(2), 349\u2013367 (2013)","journal-title":"Softw. Syst. Model."},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/978-3-319-15545-6_12","volume-title":"Software, Services, and Systems","author":"JL Fiadeiro","year":"2015","unstructured":"Fiadeiro, J.L., Orejas, F.: Abstract constraint data types. In: De Nicola, R., Hennicker, R. (eds.) Wirsing Festschrift. LNCS, vol. 8950, pp. 155\u2013170. Springer, Heidelberg (2015)"},{"key":"21_CR16","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","author":"N Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics. Elsevier Science, New York (2007)"},{"issue":"1","key":"21_CR17","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"JA Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Harman, M., Jia, Y., Krinke, J., Langdon, W.B., Petke, J., Zhang, Y.: Search based software engineering for software product lineengineering: a survey and directions for future work. In: Gnesi, S., Fantechi, A., Heymans, P., Rubin, J., Czarnecki, K., Dhungana, D. (eds.) Software Product Line, pp. 5\u201318. ACM (2014)","DOI":"10.1145\/2648511.2648513"},{"key":"21_CR19","series-title":"Allyn and Bacon Series in Advanced Mathematics","volume-title":"Category Theory: An Introduction","author":"H Herrlich","year":"1973","unstructured":"Herrlich, H., Strecker, G.: Category Theory: An Introduction. Allyn and Bacon Series in Advanced Mathematics. Allyn and Bacon, Boston (1973)"},{"issue":"3","key":"21_CR20","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/j.entcs.2009.05.020","volume":"238","author":"MM H\u00f6lzl","year":"2009","unstructured":"H\u00f6lzl, M.M., Meier, M., Wirsing, M.: Which soft constraints do you prefer? Electr. Notes Theor. Comput. Sci. 238(3), 189\u2013205 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"21_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The heterogeneous tool set, Hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 519\u2013522. Springer, Heidelberg (2007)"},{"key":"21_CR22","series-title":"Foundations of Computing","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic Category Theory for Computer Scientists","author":"BC Pierce","year":"1991","unstructured":"Pierce, B.C.: Basic Category Theory for Computer Scientists. Foundations of Computing. MIT Press, Cambridge (1991)"},{"key":"21_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of Algebraic Specification and Formal Software Development","author":"D Sannella","year":"2012","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. Springer, Heidelberg (2012)"},{"issue":"95","key":"21_CR24","first-page":"631","volume":"1","author":"T Schiex","year":"1995","unstructured":"Schiex, T., Fargier, H., Verfaillie, G.: Valued constraint satisfaction problems: hard and easy problems. IJCAI 1(95), 631\u2013639 (1995)","journal-title":"IJCAI"},{"key":"21_CR25","unstructured":"\u0162u\u0163u, I., Fiadeiro, J.L.: From conventional to institution-independent logic programming. J. Logic Comput. (2015). \n                      http:\/\/logcom.oxfordjournals.org\/content\/early\/2015\/06\/04\/logcom.exv021.abstract"},{"issue":"3","key":"21_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-11(3:3)2015","volume":"11","author":"I \u0162u\u0163u","year":"2015","unstructured":"\u0162u\u0163u, I., Fiadeiro, J.L.: Service-oriented logic programming. Log. Meth. Comput. Sci. 11(3), 1\u201338 (2015)","journal-title":"Log. Meth. Comput. Sci."},{"key":"21_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/11888116_3","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"M Wirsing","year":"2006","unstructured":"Wirsing, M., Clark, A., Gilmore, S., H\u00f6lzl, M., Knapp, A., Koch, N., Schroeder, A.: Semantic-based development of service-oriented systems. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 24\u201345. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49665-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T01:11:13Z","timestamp":1585012273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49665-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496640","9783662496657"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49665-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}