{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:28:32Z","timestamp":1761895712344},"reference-count":77,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,8,31]],"date-time":"2013-08-31T00:00:00Z","timestamp":1377907200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s11227-013-1005-9","type":"journal-article","created":{"date-parts":[[2013,8,30]],"date-time":"2013-08-30T09:05:15Z","timestamp":1377853515000},"page":"345-383","source":"Crossref","is-referenced-by-count":16,"title":["Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service"],"prefix":"10.1007","volume":"67","author":[{"given":"Ali","family":"Rezaee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amir Masoud","family":"Rahmani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Movaghar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad","family":"Teshnehlab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,8,31]]},"reference":[{"key":"1005_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-85729-676-4","volume-title":"Grid computing: towards a global interconnected infrastructure","author":"NP Preve","year":"2011","unstructured":"Preve NP (2011) Grid computing: towards a global interconnected infrastructure. Springer, Berlin"},{"issue":"7","key":"1005_CR2","doi-asserted-by":"crossref","first-page":"1588","DOI":"10.1016\/j.jss.2012.01.050","volume":"85","author":"A Galizia","year":"2012","unstructured":"Galizia A, Quarati A (2012) Job allocation strategies for energy-aware and efficient grid infrastructures. J Syst Softw 85(7):1588\u20131606","journal-title":"J Syst Softw"},{"issue":"4","key":"1005_CR3","doi-asserted-by":"crossref","first-page":"1304","DOI":"10.1016\/j.jnca.2012.01.015","volume":"35","author":"KJ Turner","year":"2012","unstructured":"Turner KJ, Leai Larry Tan K (2012) Rigorous development of composite grid services. J Netw Comput Appl 35(4):1304\u20131316","journal-title":"J Netw Comput Appl"},{"key":"1005_CR4","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1002\/9780470940105","volume-title":"Computing: principles and paradigms","author":"R Buyya","year":"2011","unstructured":"Buyya R, Broberg J, Goscinski AM (2011) Computing: principles and paradigms. Wiley, New York. ISBN-13: 978-0470887998","ISBN":"http:\/\/id.crossref.org\/isbn\/9780470887998"},{"issue":"3","key":"1005_CR5","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s11227-006-6349-y","volume":"37","author":"H Reza","year":"2006","unstructured":"Reza H (2006) A methodology for architectural design of concurrent and distributed software systems. J Supercomput 37(3):227\u2013248","journal-title":"J Supercomput"},{"issue":"1","key":"1005_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11227-010-0491-2","volume":"63","author":"W Dou","year":"2013","unstructured":"Dou W, Qi L, Zhang X, Chen J (2013) An evaluation method of outsourcing services for developing an elastic cloud platform. J Supercomput 63(1):1\u201323","journal-title":"J Supercomput"},{"issue":"11","key":"1005_CR7","doi-asserted-by":"crossref","first-page":"1910","DOI":"10.1016\/j.jss.2011.04.027","volume":"84","author":"I Bilogrevic","year":"2011","unstructured":"Bilogrevic I, Jadliwala M, Kumar P, Singh Walia S, Pierre Hubaux J, Aad I, Niemi V (2011) Meetings through the cloud: privacy-preserving scheduling on mobile devices. J Syst Softw 84(11):1910\u20131927","journal-title":"J Syst Softw"},{"issue":"4","key":"1005_CR8","doi-asserted-by":"crossref","first-page":"1033","DOI":"10.1016\/j.jnca.2010.07.012","volume":"34","author":"K Li","year":"2011","unstructured":"Li K, Yang LT, Lin X (2011) Advanced topics in cloud computing. J Netw Comput Appl 34(4):1033\u20131034","journal-title":"J Netw Comput Appl"},{"issue":"5","key":"1005_CR9","doi-asserted-by":"crossref","first-page":"1634","DOI":"10.1016\/j.jnca.2011.04.002","volume":"34","author":"JP Espada","year":"2011","unstructured":"Espada JP, Mart\u00ednez OS, Cueva Lovelle JM, Cristina Pelayo G-Bustelo B, \u00c1lvarez M, Gonz\u00e1lez Garc\u00eda A (2011) Modeling architecture for collaborative virtual objects based on services. J Netw Comput Appl 34(5):1634\u20131647","journal-title":"J Netw Comput Appl"},{"issue":"4","key":"1005_CR10","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1016\/j.jss.2010.10.024","volume":"84","author":"C Bartolini","year":"2011","unstructured":"Bartolini C, Bertolino A, Elbaum S, Marchetti E (2011) Bringing white-box testing to service oriented architectures through a service oriented approach. J Syst Softw 84(4):655\u2013668","journal-title":"J Syst Softw"},{"issue":"5","key":"1005_CR11","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1016\/j.jss.2007.07.040","volume":"81","author":"KO Elish","year":"2008","unstructured":"Elish KO, Elish MO (2008) Predicting defect-prone software modules using support vector machines. J Syst Softw 81(5):649\u2013660","journal-title":"J Syst Softw"},{"issue":"3","key":"1005_CR12","doi-asserted-by":"crossref","first-page":"962","DOI":"10.1016\/j.jnca.2011.03.013","volume":"35","author":"Z Laiping","year":"2012","unstructured":"Laiping Z, Yizhi R, Mingchu L, Kouichi S (2012) Flexible service selection with user-specific QoS support in service-oriented architecture. J Netw Comput Appl 35(3):962\u2013973","journal-title":"J Netw Comput Appl"},{"issue":"1","key":"1005_CR13","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/j.jnca.2011.07.013","volume":"35","author":"J Al-Jaroodi","year":"2012","unstructured":"Al-Jaroodi J, Mohamed N (2012) Service-oriented middleware: a survey. J Netw Comput Appl 35(1):211\u2013220","journal-title":"J Netw Comput Appl"},{"issue":"9","key":"1005_CR14","doi-asserted-by":"crossref","first-page":"2048","DOI":"10.1016\/j.jss.2012.02.010","volume":"85","author":"B Yaik Ooi","year":"2012","unstructured":"Yaik Ooi B, Yong Chan H, Cheah YN (2012) Dynamic service placement and replication framework to enhance service availability using team formation algorithm. J Syst Softw 85(9):2048\u20132062","journal-title":"J Syst Softw"},{"issue":"2","key":"1005_CR15","doi-asserted-by":"crossref","first-page":"668","DOI":"10.1016\/j.jnca.2011.10.016","volume":"35","author":"H Hassan","year":"2012","unstructured":"Hassan H, Eltoweissy M (2012) CORM: a reference model for future computer networks. J Netw Comput Appl 35(2):668\u2013680","journal-title":"J Netw Comput Appl"},{"issue":"2","key":"1005_CR16","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/s11227-009-0266-9","volume":"52","author":"S Sadik","year":"2010","unstructured":"Sadik S, Rahman A, Ali A, Ahmad HF, Suguri H (2010) Modeling high assurance agent-based Earthquake Management System using formal techniques. J Supercomput 52(2):97\u2013118","journal-title":"J Supercomput"},{"issue":"1","key":"1005_CR17","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.jss.2010.08.048","volume":"84","author":"M Mohammad","year":"2011","unstructured":"Mohammad M, Alagar V (2011) A formal approach for the specification and verification of trustworthy component-based systems. J Syst Softw 84(1):77\u2013104","journal-title":"J Syst Softw"},{"issue":"2","key":"1005_CR18","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/j.jss.2009.09.039","volume":"83","author":"I Bayley","year":"2010","unstructured":"Bayley I, Zhu H (2010) Formal specification of the variants and behavioural features of design patterns. J Syst Softw 83(2):209\u2013221","journal-title":"J Syst Softw"},{"issue":"1","key":"1005_CR19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jss.2011.02.034","volume":"85","author":"F Mattiello-Francisco","year":"2012","unstructured":"Mattiello-Francisco F, Martins E, Rosa Cavalli A, Toshiro Yano E (2012) InRob: an approach for testing interoperability and robustness of real-time embedded software. J Syst Softw 85(1):3\u201315","journal-title":"J Syst Softw"},{"issue":"1","key":"1005_CR20","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1016\/S0164-1212(99)00043-6","volume":"48","author":"M Glykas","year":"1999","unstructured":"Glykas M, Valiris G (1999) Formal methods in object oriented business modeling. J Syst Softw 48(1):4\u201327","journal-title":"J Syst Softw"},{"key":"1005_CR21","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP, van Hee KM, van der Toorn RA (2002) Component-based software architectures: a framework based on inheritance of behavior. Sci Comput Program, 42(2\u20133)","DOI":"10.1016\/S0167-6423(01)00005-3"},{"key":"1005_CR22","doi-asserted-by":"crossref","unstructured":"Arbab F (2004) Reo: a channel-based coordination model for component composition. Math Struct Comput Sci","DOI":"10.1017\/S0960129504004153"},{"issue":"5","key":"1005_CR23","first-page":"265","volume":"16","author":"A Bondavalli","year":"2001","unstructured":"Bondavalli A, Dal Cin M, Latella D, Majzik I, Pataricza A, Savoia G (2001) Dependability analysis in the early phases of UML based system design. Int J Comput Syst Sci Eng 16(5):265\u2013275","journal-title":"Int J Comput Syst Sci Eng"},{"key":"1005_CR24","doi-asserted-by":"crossref","unstructured":"Latella D, Majzik I, Massink M (1999) Automatic verification of a behavioral subset of UML statechart diagrams using the SPIN model-checker. Form Asp Comput, 637\u2013664","DOI":"10.1007\/s001659970003"},{"issue":"3","key":"1005_CR25","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1109\/TSE.2008.28","volume":"34","author":"B Mitchell","year":"2008","unstructured":"Mitchell B (2008) Characterizing communication channel deadlocks in sequence diagrams. IEEE Trans Softw Eng 34(3):305\u2013320","journal-title":"IEEE Trans Softw Eng"},{"key":"1005_CR26","volume-title":"Proceedings of 9th ACM\/IEEE international conference on information processing in sensor networks","author":"D Bucur","year":"2010","unstructured":"Bucur D, Kwiatowska MZ (2010) Software verification for TinyOS. In: Proceedings of 9th ACM\/IEEE international conference on information processing in sensor networks"},{"key":"1005_CR27","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1109\/ICESS.2009.82","volume-title":"Proceedings of the 2009 international conference on embedded software and systems","author":"L Cordeiro","year":"2009","unstructured":"Cordeiro L, Fischer B, Chen H, Marques-Silva J (2009) Semiformal verification of embedded software in medical devices considering stringent hardware constraints. In: Proceedings of the 2009 international conference on embedded software and systems, pp 396\u2013403"},{"issue":"3","key":"1005_CR28","doi-asserted-by":"crossref","first-page":"770","DOI":"10.1016\/j.jnca.2008.04.009","volume":"32","author":"JH Abawajy","year":"2009","unstructured":"Abawajy JH (2009) Adaptive hierarchical scheduling policy for enterprise grid computing systems. J\u00a0Netw Comput Appl 32(3):770\u2013779","journal-title":"J\u00a0Netw Comput Appl"},{"issue":"3","key":"1005_CR29","doi-asserted-by":"crossref","first-page":"1151","DOI":"10.1016\/j.jnca.2012.01.006","volume":"35","author":"ZA Baig","year":"2012","unstructured":"Baig ZA (2012) Multi-agent systems for protecting critical infrastructures: a survey. J Netw Comput Appl 35(3):1151\u20131161","journal-title":"J Netw Comput Appl"},{"key":"1005_CR30","unstructured":"Sadri Y, Khanmohamadi S (2010) An intelligent scheduling system using fuzzy logic. J Supercomput (December)"},{"key":"1005_CR31","doi-asserted-by":"crossref","unstructured":"Sharma D (2011) Designing and modeling fuzzy control Systems. Int J Comput Appl 16(1)","DOI":"10.5120\/1973-2644"},{"key":"1005_CR32","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-540-30138-7_3","volume-title":"Computer safety, reliability, and security","author":"Z Kurd","year":"2004","unstructured":"Kurd Z, Kelly TP (2004) Using fuzzy self-organising maps for safety critical systems. In: Computer safety, reliability, and security. Lecture notes in computer science, vol\u00a03219. Springer, Berlin, pp\u00a017\u201330"},{"issue":"2","key":"1005_CR33","doi-asserted-by":"crossref","first-page":"68","DOI":"10.4018\/ijfsa.2012040104","volume":"2","author":"P Singamsetty","year":"2012","unstructured":"Singamsetty P, Panchumarthy S (2012) Automatic fuzzy parameter selection in dynamic fuzzy voter for safety critical systems. Int J Fuzzy Syst Appl 2(2):68\u201390","journal-title":"Int J Fuzzy Syst Appl"},{"issue":"3","key":"1005_CR34","doi-asserted-by":"crossref","first-page":"51","DOI":"10.4018\/ijfsa.2012070104","volume":"2","author":"A Ebrahimnejad","year":"2012","unstructured":"Ebrahimnejad A (2012) Cost efficiency measures with trapezoidal fuzzy numbers in data envelopment analysis based on ranking functions: application in insurance organization and hospital. Int J Fuzzy Syst Appl 2(3):51\u201368","journal-title":"Int J Fuzzy Syst Appl"},{"issue":"1","key":"1005_CR35","first-page":"37","volume":"2","author":"AM Jinturkar","year":"2013","unstructured":"Jinturkar AM, Deshmukh SS (2013) Sustainable development by rural energy resources allocation in India: a fuzzy goal programming approach. Int J Energy Optim Eng 2(1):37\u201349","journal-title":"Int J Energy Optim Eng"},{"issue":"2","key":"1005_CR36","first-page":"26","volume":"1","author":"V Ebrahimipour","year":"2012","unstructured":"Ebrahimipour V, Haeri A, Sheikhalishahi M, Asadzadeh SM (2012) Application of multi-objective particle swarm optimization to solve a fuzzy multi-objective reliability redundancy allocation problem. J Saf Eng 1(2):26\u201338","journal-title":"J Saf Eng"},{"issue":"2","key":"1005_CR37","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/358549.358561","volume":"24","author":"CAR Hoare","year":"1981","unstructured":"Hoare CAR (1981) The emperor\u2019s old clothes. Commun ACM 24(2):75\u201383","journal-title":"Commun ACM"},{"key":"1005_CR38","volume-title":"Communicating sequential processes","author":"CAR Hoare","year":"2004","unstructured":"Hoare CAR (2004) Communicating sequential processes. Prentice Hall, Englewood Cliffs"},{"issue":"1\/3","key":"1005_CR39","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"JA Bergstra","year":"1984","unstructured":"Bergstra JA, Klop JW (1984) Process algebra for synchronous communication. Inf Control 60(1\/3):109\u2013137","journal-title":"Inf Control"},{"key":"1005_CR40","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Prentice Hall, Englewood Cliffs"},{"key":"1005_CR41","first-page":"1","volume-title":"CRC handbook of dynamic system modeling","author":"JCM Baeten","year":"2007","unstructured":"Baeten JCM, Van Beek DA, Rooda JE (2007) Process algebra for dynamic system modeling. In: CRC handbook of dynamic system modeling. CRC Press, Boca Raton, pp 1\u201321"},{"key":"1005_CR42","unstructured":"Baeten JCM, Klop JW (2011) Typography in process algebra, the Traveling Science Man. Liber amicorum, Nov. 2011, pp 127\u2013138"},{"key":"1005_CR43","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1007\/978-3-540-75221-9_14","volume-title":"Formal methods and hybrid real-time systems","author":"AE Haxthausen","year":"2007","unstructured":"Haxthausen AE, Peleska J (2007) A domain-oriented model-based approach for construction and verification of railway control systems. In: Formal methods and hybrid real-time systems. Lecture notes in computer science, vol 4700. Springer, Berlin, pp 320\u2013348"},{"key":"1005_CR44","first-page":"60","volume-title":"Lecture notes in computer science","author":"B Buth","year":"1997","unstructured":"Buth B, Kouvaras M, Peleska J, Shi H (1997) Deadlock analysis for a fault-tolerant system. In: Lecture notes in computer science, vol\u00a01349. Springer, Berlin, pp 60\u201375"},{"key":"1005_CR45","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3-540-49253-4_11","volume-title":"AMAST\u201998","author":"B Buth","year":"1998","unstructured":"Buth B, Peleska J, Shi H (1998) Combining methods for the livelock analysis of a fault-tolerant system. In: AMAST\u201998. Lecture notes in computer science, vol\u00a01548. Springer, Berlin, pp 124\u2013139."},{"key":"1005_CR46","volume-title":"The modeling and analysis of security protocols: the CSP approach","author":"P Ryan","year":"2001","unstructured":"Ryan P, Schneider S, Goldsmith M, Lowe G, Roscoe B (2001) The modeling and analysis of security protocols: the CSP approach. Addison-Wesley, Reading"},{"key":"1005_CR47","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/j.entcs.2006.01.031","volume":"162","author":"T Hoare","year":"2006","unstructured":"Hoare T (2006) Why ever CSP? Electron Notes Theor Comput Sci 162:209\u2013215","journal-title":"Electron Notes Theor Comput Sci"},{"key":"1005_CR48","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/3-540-60630-0_7","volume-title":"Tools and algorithms for the construction and analysis of systems","author":"AW Roscoe","year":"1995","unstructured":"Roscoe AW, Gardiner PHB, Goldsmith MH, Hulance JR, Jackson DM, Scattergood JB (1995) Hierarchical compression for model-checking CSP or how to check 1020 dining philosophers for deadlock. In: Tools and algorithms for the construction and analysis of systems, vol 1019, pp 133\u2013152"},{"key":"1005_CR49","doi-asserted-by":"crossref","unstructured":"Allen R, Garlan D (1997) A formal basis for architectural connection. ACM Trans Softw Eng Methodol, July","DOI":"10.1145\/258077.258078"},{"key":"1005_CR50","volume-title":"Proceedings of 12th IEEE international conference and workshops on the engineering of computer-based systems","author":"OR Ribeiro","year":"2005","unstructured":"Ribeiro OR, Fernandes JM, Pinto LF (2005) Model checking embedded systems with PROMELA. In: Proceedings of 12th IEEE international conference and workshops on the engineering of computer-based systems"},{"key":"1005_CR51","doi-asserted-by":"crossref","unstructured":"Hooman J, Kugler H, Ober I (2008) Supporting UML-based development of embedded systems by formal techniques. Softw Syst Model","DOI":"10.1007\/s10270-006-0043-7"},{"key":"1005_CR52","volume-title":"Proceedings of joint conference ESEC\/FSE","author":"F Xie","year":"2003","unstructured":"Xie F, Browne JC (2003) Verified systems by composition from verified components. In: Proceedings of joint conference ESEC\/FSE"},{"key":"1005_CR53","volume-title":"Proceedings of 26th international conference on software engineering","author":"T Ziadi","year":"2004","unstructured":"Ziadi T, Helou L, Jezequel JM (2004) Revisiting state chart synthesis with an algebraic approach. In: Proceedings of 26th international conference on software engineering"},{"key":"1005_CR54","doi-asserted-by":"crossref","unstructured":"Adamek J, Plasil F (2005) Component composition errors and update atomicity: static analysis. J\u00a0Softw Maint Evol Res Pract, September","DOI":"10.1002\/smr.321"},{"key":"1005_CR55","doi-asserted-by":"crossref","unstructured":"Campbell L, Cheng B, McUmber W, Stirewalt REK (2002) Automatically detecting and visualizing errors in UML diagrams. Requir Eng (7), 264\u2013287","DOI":"10.1007\/s007660200020"},{"key":"1005_CR56","volume-title":"UML components\u2014a simple process for specifying component-based software","author":"J Cheesman","year":"2000","unstructured":"Cheesman J, Daniels J (2000) UML components\u2014a simple process for specifying component-based software. Addison-Wesley Longman, Amsterdam"},{"key":"1005_CR57","volume-title":"Proceedings of the 9th European software engineering conference\/11th ACM SIGSOFT symposium on foundations of software engineering","author":"H Giese","year":"2003","unstructured":"Giese H et al (2003) Towards the composition verification of real-time UML designs. In: Proceedings of the 9th European software engineering conference\/11th ACM SIGSOFT symposium on foundations of software engineering"},{"key":"1005_CR58","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/978-3-540-69507-3_24","volume-title":"SOFSEM 2007","author":"G Goessler","year":"2007","unstructured":"Goessler G, Graf S, Majster-Cederbaum M, Martens M, Sifakis J (2007) An approach to modeling and verification of component based systems. In: SOFSEM 2007. Lecture notes in computer science, vol\u00a04362. Springer, Berlin, pp\u00a0295\u2013308"},{"issue":"3","key":"1005_CR59","doi-asserted-by":"crossref","first-page":"1396","DOI":"10.1007\/s11227-011-0553-0","volume":"59","author":"SM Babamir","year":"2012","unstructured":"Babamir SM (2012) Constructing formal rules to verify message communication in distributed systems. J Supercomput 59(3):1396\u20131418","journal-title":"J Supercomput"},{"key":"1005_CR60","doi-asserted-by":"crossref","unstructured":"Vrba Z (2009) Implementation and performance aspects of Kahn process networks. Ph.D. thesis","DOI":"10.1145\/1874413.1874418"},{"key":"1005_CR61","unstructured":"Parks TM (1995) Bounded scheduling of process networks. Ph.D. dissertation, Berkeley, CA, USA"},{"key":"1005_CR62","unstructured":"Kahn G (1974) The semantics of a simple language for parallel programming. Inf Process 74"},{"key":"1005_CR63","doi-asserted-by":"crossref","unstructured":"Kim M, Kim Y, Kim H (2011) A comparative study of software model checkers as unit testing tools: an industrial case study. IEEE Trans Softw Eng 37(2)","DOI":"10.1109\/TSE.2010.68"},{"key":"1005_CR64","volume-title":"Proceedings of ICSE\u201902: 24th international conference on software engineering","author":"J Aldrich","year":"2002","unstructured":"Aldrich J, Chambers C, Notkin D (2002) ArchJava: connecting software architecture to implementation. In: Proceedings of ICSE\u201902: 24th international conference on software engineering"},{"issue":"1","key":"1005_CR65","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1016\/j.jnca.2010.07.013","volume":"34","author":"T Chi Huang","year":"2011","unstructured":"Chi Huang T (2011) Universal connection architecture for interactive applications to achieve distributed computing. J Netw Comput Appl 34(1):232\u2013251","journal-title":"J Netw Comput Appl"},{"key":"1005_CR66","first-page":"75","volume-title":"Proceedings of the 32nd international conference on software engineering","author":"N Ubayashi","year":"2010","unstructured":"Ubayashi N, Nomura J, Tamai T (2010) Archface: a contract place where architectural design and code meet together. In: Proceedings of the 32nd international conference on software engineering. ACM, New York, pp 75\u201384"},{"issue":"1","key":"1005_CR67","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/s10270-010-0147-y","volume":"10","author":"Y Choi","year":"2011","unstructured":"Choi Y, Bunse C (2011) Design verification in model-based controller development using an abstract component. Softw Syst Model 10(1):91\u2013115","journal-title":"Softw Syst Model"},{"issue":"2","key":"1005_CR68","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1109\/TSE.2010.39","volume":"37","author":"L Baresi","year":"2010","unstructured":"Baresi L, Ghezzi C, Mottola Loupe L (2010) Verifying publish-subscribe architecture with a magnifying lens. IEEE Trans Softw Eng 37(2):228\u2013246","journal-title":"IEEE Trans Softw Eng"},{"issue":"1","key":"1005_CR69","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.infsof.2011.08.001","volume":"54","author":"Y Choi","year":"2012","unstructured":"Choi Y, Kim M (2012) Controlled composition and abstraction for bottom-up integration and verification of abstract components. Inf Softw Technol 54(1):119\u2013136","journal-title":"Inf Softw Technol"},{"issue":"12","key":"1005_CR70","doi-asserted-by":"crossref","first-page":"2237","DOI":"10.1016\/j.jss.2008.05.030","volume":"81","author":"P Pelliccione","year":"2008","unstructured":"Pelliccione P, Tivoli M, Bucchiarone A, Polini A (2008) An architectural approach to the correct and automatic assembly of evolving component-based systems. J Syst Softw 81(12):2237\u20132251","journal-title":"J Syst Softw"},{"issue":"3","key":"1005_CR71","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1109\/TSE.2008.104","volume":"35","author":"P Pelliccione","year":"2009","unstructured":"Pelliccione P, Inveradi P, Muccini H (2009) CHARMY: a framework for designing and verifying architectural specifications. IEEE Trans Softw Eng 35(3):325\u2013346","journal-title":"IEEE Trans Softw Eng"},{"key":"1005_CR72","doi-asserted-by":"crossref","unstructured":"Cassou D, Bruneau J, Consel C, Balland E (2011) Towards a tool-based development methodology for pervasive computing applications. IEEE Trans Softw Eng","DOI":"10.1109\/PERCOMW.2010.5470550"},{"key":"1005_CR73","volume-title":"Proceedings of FutureSOC\u201911: 6th HPI symposium on future trends in service-oriented computing","author":"D Cassou","year":"2011","unstructured":"Cassou D (2011) Leveraging software architectures to guide and verify the development of sense\/compute\/control applications. In: Proceedings of FutureSOC\u201911: 6th HPI symposium on future trends in service-oriented computing. Hasso-Plattner Institute, Potsdam, Germany, June 2011"},{"key":"1005_CR74","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2528\/PIERB08121302","volume":"12","author":"K Guney","year":"2009","unstructured":"Guney K (2009) Comparison of Mamdani and Sugeno fuzzy inference system models for resonant frequency calculation of rectangular microstrip antennas. Prog Electromagn Res B 12:81\u2013104","journal-title":"Prog Electromagn Res B"},{"key":"1005_CR75","isbn-type":"print","volume-title":"Software assessments, benchmarks and best practices","author":"C Jones","year":"2000","unstructured":"Jones C (2000) Software assessments, benchmarks and best practices. Addison-Wesley Professional, Reading. ISBN 978-0-201-48542-4","ISBN":"http:\/\/id.crossref.org\/isbn\/9780201485424"},{"key":"1005_CR76","unstructured":"Formal Systems (Europe) Ltd. Failures, Divergencies and Refinement. http:\/\/www.fsel.com\/documentation\/fdr2\/fdr2manual.pdf . Last visit: January 2013"},{"key":"1005_CR77","series-title":"Lecture notes in computer science","volume-title":"Proceedings of the 20th international conference on computer-aided verification (CAV 2009)","author":"J Sun","year":"2009","unstructured":"Sun J, Liu Y, Dong JS (2009) PAT: towards flexible verification under fairness. In: Proceedings of the 20th international conference on computer-aided verification (CAV 2009). Lecture notes in computer science, vol 5643. Springer, Berlin"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-013-1005-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-013-1005-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-013-1005-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T16:27:23Z","timestamp":1563812843000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-013-1005-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,31]]},"references-count":77,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["1005"],"URL":"https:\/\/doi.org\/10.1007\/s11227-013-1005-9","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,8,31]]}}}