{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T18:37:23Z","timestamp":1649097443205},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,9,9]],"date-time":"2012-09-09T00:00:00Z","timestamp":1347148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1007\/s10270-012-0274-8","type":"journal-article","created":{"date-parts":[[2012,9,8]],"date-time":"2012-09-08T04:07:00Z","timestamp":1347077220000},"page":"843-872","source":"Crossref","is-referenced-by-count":2,"title":["Automated resolution of connector architectures using constraint solving (ARCAS method)"],"prefix":"10.1007","volume":"13","author":[{"given":"Jaroslav","family":"Keznikl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Bure\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franti\u0161ek","family":"Pl\u00e1\u0161il","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Hn\u011btynka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,9,9]]},"reference":[{"issue":"1","key":"274_CR1","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K Anastasakis","year":"2008","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Softw. Syst. Model 9(1), 69\u201386 (2008)","journal-title":"Softw. Syst. Model"},{"key":"274_CR2","unstructured":"Bures, T.: Generating Connectors for Homogeneous and Heterogeneous Deployment, PhD dissertation. Charles University in Prague, Dept. of Distributed and Dependable Systems (2006)"},{"key":"274_CR3","unstructured":"Bulej, L., Bures, T.: Addressing heterogeneity in OMG D&C-based deployment, Tech. Report No. 2004\/7, Dep. of SW Engineering, Charles University, Prague. http:\/\/d3s.mff.cuni.cz\/publications\/ (2004)"},{"key":"274_CR4","unstructured":"Bulej, L., Bure\u0161, T.: Deploying Heterogeneous Applications using OMG D&C and Software Connectors, Tech. Report No. 2005\/10, Dep. of SW Engineering, Charles University, Prague. http:\/\/d3s.mff.cuni.cz\/publications\/ , November (2005)"},{"key":"274_CR5","doi-asserted-by":"crossref","first-page":"1941","DOI":"10.1016\/j.jss.2007.03.002","volume":"80","author":"S Benmokhtar","year":"2007","unstructured":"Benmokhtar, S., Georgantas, N., Issarny, V.: COCOA: COnversation-based service COmposition in pervAsive computing environments with QoS support. J. Syst. Softw. 80, 1941\u20131955 (2007)","journal-title":"J. Syst. Softw."},{"key":"274_CR6","doi-asserted-by":"crossref","unstructured":"Bures, T., Hnetynka, P., Plasil, F.: SOFA 2: Balancing Advanced Features in a Hierarchical Component Model, Proceedings. of 4th International Conference on Software Engineering Research, Management and Applications (SERA \u201906). IEEE Computer Society, Washington, DC (2006)","DOI":"10.1109\/SERA.2006.62"},{"key":"274_CR7","doi-asserted-by":"crossref","unstructured":"Bures, T., Plasil, F.: Communication style driven connector configurations. In: Software Engineering Research and Applications. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-24675-6_11"},{"key":"274_CR8","volume-title":"SFM 2011, LNCS, vol. 6659","author":"G Blair","year":"2011","unstructured":"Blair, G., Paolucci, M., Grace, P., Georgantas, N.: Interoperability in complex distributed systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011, LNCS, vol. 6659. Springer, Heidelberg (2011)"},{"key":"274_CR9","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors: structuring interaction in BIP. In: Proceedings of EMSOFT \u201907, pp. 11\u201320. ACM, New York (2007)","DOI":"10.1145\/1289927.1289935"},{"key":"274_CR10","first-page":"777","volume":"17","author":"J Cubo","year":"2011","unstructured":"Cubo, J., Canal, C., Pimentel, E.: Context-aware composition and adaptation based on model transformation. J. Universal Comput. Sci. 17, 777\u2013806 (2011)","journal-title":"J. Universal Comput. Sci."},{"key":"274_CR11","volume-title":"Building Reliable Component-Based Software Systems","author":"I Crnkovic","year":"2002","unstructured":"Crnkovic, I., Larsson, M.: Building Reliable Component-Based Software Systems. Artech House, Norwood (2002)"},{"key":"274_CR12","doi-asserted-by":"crossref","unstructured":"De Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 337\u2013340. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"274_CR13","unstructured":"El Ghazi, A.A., Taghdiri, M.: Analyzing alloy constraints using an SMT solver: a case study. In: 5th International Workshop on Automated Formal Methods (AFM). Edinburgh (2010)"},{"key":"274_CR14","doi-asserted-by":"crossref","unstructured":"El Ghazi, A., Taghdiri, M.: Relational Reasoning via SMT Solving, FM 2011: Formal Methods, pp. 133\u2013148. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21437-0_12"},{"key":"274_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/SAT190014","volume":"2","author":"N E\u00e9n","year":"2006","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: Translating pseudo-boolean constraints into SAT. J. Satisfiability Boolean Model. Comput. 2, 1\u201326 (2006)","journal-title":"J. Satisfiability Boolean Model. Comput."},{"key":"274_CR16","doi-asserted-by":"crossref","unstructured":"Georgiadis, I., Magee, J., Kramer, J.: Self-organising software architectures for distributed systems. In: Proceedings of the First Workshop on Self-Healing Systems, New York (2002)","DOI":"10.1145\/582128.582135"},{"key":"274_CR17","doi-asserted-by":"crossref","unstructured":"Hansen, K.M., Ingstrup, M.: Modeling and analyzing architectural change with alloy. In: Proceedings of the 2010 ACM Symposium on Applied Computing-SAC \u201910, p. 2257 (2010)","DOI":"10.1145\/1774088.1774560"},{"key":"274_CR18","doi-asserted-by":"crossref","unstructured":"Herold, S., Klus, H., Welsch, Y., et al.: CoCoME-the common component modeling example. The Common Component Modeling Example, pp. 16\u201353 (2008)","DOI":"10.1007\/978-3-540-85289-6_3"},{"key":"274_CR19","doi-asserted-by":"crossref","unstructured":"Issarny, V., Bennaceur, A., Bromberg, Y.D.: Middleware-layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability. In: Bernardo, M., Issarny, V. (eds.) Formal Methods for Eternal Networked Software Systems, pp. 217\u2013255. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21455-4_7"},{"key":"274_CR20","doi-asserted-by":"crossref","unstructured":"Issarny, V., Steffen, B., Jonsson, B., Blair, G., Grace, P., Kwiatkowska, M., Calinescu, R, Inverardi, P., Tivoli, M., Bertolino, A., Sabetta, A.: CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. In: 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp. 154\u2013161 (2009)","DOI":"10.1109\/ICECCS.2009.44"},{"key":"274_CR21","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Spalazzese, R., Tivoli, M.: Application-layer connector synthesis, Formal Methods for Eternal Networked Software Systems, pp. 148\u2013190. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21455-4_5"},{"key":"274_CR22","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, 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"274_CR23","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)"},{"key":"274_CR24","unstructured":"Jackson, D.: Alloy Language Reference. http:\/\/alloy.mit.edu (2011)"},{"key":"274_CR25","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1145\/357474.355065","volume":"25","author":"D Jackson","year":"2000","unstructured":"Jackson, D., Sullivan, K.: COM revisited: tool-assisted modelling of an architectural framework. ACM SIGSOFT Softw. Eng. Notes 25, 149\u2013158 (2000)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"274_CR26","unstructured":"Keznikl, J., Bure\u0161, T., Pl\u00e1\u0161il, F., Hn\u011btynka, P.: Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method)\u201d, Tech. Report No. D3S-TR-2012-03, Dep. of Distributed and Dependable Systems, Charles University, http:\/\/d3s.mff.cuni.cz\/publications\/ (2012)"},{"key":"274_CR27","doi-asserted-by":"crossref","unstructured":"Kim, J.S., Garlan, D.: Analyzing architectural styles with alloy. In: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis-ROSATEA \u201906 (2006)","DOI":"10.1145\/1147249.1147259"},{"key":"274_CR28","unstructured":"Le Berre, D., Parrain, A.: On SAT Technologies for Dependency Management and Beyond. In: Proceedings of 12th International Software Product Line (SPLC 2008) vol. 2, pp. 197\u2013200 (2008)"},{"key":"274_CR29","doi-asserted-by":"crossref","unstructured":"Mehta, N.R., Medvidovic, N., Phadke, S.: Towards a taxonomy of software connectors. In: Proceedings of the 22nd International Conference on Software Engineering. ACM (2000)","DOI":"10.1145\/337180.337201"},{"key":"274_CR30","unstructured":"Malohlava, M., Pl\u00e1\u0161il, F., Bure\u0161, T., Hnetynka, P.: Interoperable DSL Families for Code Generation, Tech. Report No. D3S-TR-2011-04, Dep. of Distributed and Dependable Systems, Charles University, Prague. http:\/\/d3s.mff.cuni.cz\/publications\/ , April (2011)"},{"key":"274_CR31","unstructured":"Merle, P., Stefani, J.B.: A formal specification of the Fractal component model in Alloy, Research Report RR-6721, INRIA. http:\/\/hal.inria.fr\/inria-00338987\/en\/ (2008)"},{"key":"274_CR32","doi-asserted-by":"crossref","unstructured":"Nakazawa, J., Tokuda, H., Edwards, W.K., Ramachandran, U.: A Bridging Framework for Universal Interoperability in Pervasive Systems. In: 26th IEEE International Conference on Distributed, Computing Systems (ICDCS\u201906), p. 3 (2006)","DOI":"10.1109\/ICDCS.2006.5"},{"key":"274_CR33","unstructured":"Object Management Group: Deployment and Configuration of Component-based Distributed Applications Specification. http:\/\/www.omg.org\/cgi-bin\/doc?formal\/06-04-02.pdf , Feb (2004)"},{"key":"274_CR34","doi-asserted-by":"crossref","unstructured":"Radermacher, A., Cuccuru, A., Gerard, S., Terrier, F.: Generating Execution Infrastructures for Component-Oriented Specifications with a Model Driven Toolchain: A Case Study for MARTE\u2019s GCM and Real-Time Annotations, pp. 127\u2013136. ACM, New York Proceedings of the eighth international conference on Generative programming and component engineering (2009)","DOI":"10.1145\/1621607.1621628"},{"key":"274_CR35","doi-asserted-by":"crossref","unstructured":"Robert, S., Radermacher, A., Seignole, V., G\u00e9rard, S., Watine, V., Terrier, F.: Enhancing interaction support in the corba component model, From Specification to Embedded Systems Application, pp. 137\u2013146 (2005)","DOI":"10.1007\/11523277_14"},{"key":"274_CR36","doi-asserted-by":"crossref","unstructured":"Spalazzese, R., Inverardi, P.: Mediating Connector Patterns for Components Interoperability. In: Babar, M.A., Gorton, I. (eds.) ECSA 2010. LNCS, vol. 6285, pp. 335\u2013343. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-15114-9_26"},{"key":"274_CR37","doi-asserted-by":"crossref","unstructured":"Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe composition of product lines. In: Proceedings of the 6th International Conference on Generative Programming and Component Engineering, pp. 95\u2013104. ACM, New York (2007)","DOI":"10.1145\/1289971.1289989"},{"key":"274_CR38","volume-title":"Software Architecture: Foundations, Theory, and Practice","author":"RN Taylor","year":"2010","unstructured":"Taylor, R.N., Medvidovic, N., Dashofy, E.M.: Software Architecture: Foundations, Theory, and Practice. Wiley, Hoboken (2010)"},{"key":"274_CR39","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-3-642-11811-1_8","volume":"5977","author":"A Tiberghien","year":"2010","unstructured":"Tiberghien, A., Merle, P., Seinturier, L.: Specifying Self-configurable component-based systems with FracToy. Abstract State Mach. Alloy B Z 5977, 91\u2013104 (2010)","journal-title":"Abstract State Mach. Alloy B Z"},{"key":"274_CR40","unstructured":"Torlak, E.: A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications. Ph.D. Thesis, MIT, February (2009)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0274-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0274-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0274-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T10:17:05Z","timestamp":1594635425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0274-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,9]]},"references-count":40,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,5]]}},"alternative-id":["274"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0274-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,9]]}}}