{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:14:34Z","timestamp":1740140074608,"version":"3.37.3"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,9,6]],"date-time":"2017-09-06T00:00:00Z","timestamp":1504656000000},"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":["Inf Syst E-Bus Manage"],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1007\/s10257-017-0363-x","type":"journal-article","created":{"date-parts":[[2017,9,6]],"date-time":"2017-09-06T18:01:06Z","timestamp":1504720866000},"page":"205-242","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Ensuring business and service requirements in enterprise mashups"],"prefix":"10.1007","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2389-7389","authenticated-orcid":false,"given":"Nikolaos","family":"Vesyropoulos","sequence":"first","affiliation":[]},{"given":"Christos K.","family":"Georgiadis","sequence":"additional","affiliation":[]},{"given":"Panagiotis","family":"Katsaros","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,6]]},"reference":[{"key":"363_CR1","first-page":"314","volume-title":"Lecture notes in computer science","author":"A Basu","year":"2013","unstructured":"Basu A, Bensalem S, Bozga M, Bourgos P, Maheshwari M, Sifakis J (2013) Component assemblies in the context of manycore. In: Beckert B et al (eds) Lecture notes in computer science. Springer, Berlin, pp 314\u2013333"},{"key":"363_CR2","doi-asserted-by":"crossref","unstructured":"Bliudze S, Sifakis J (2008) A notion of glue expressiveness for component-based systems. In: Proceedings of 20th international conference on concurrency theory (CONCUR), pp 508\u2013522","DOI":"10.1007\/978-3-540-85361-9_39"},{"key":"363_CR3","doi-asserted-by":"publisher","unstructured":"Bozzon A, Brambilla M, Facca FM, Carughu GT (2009) A conceptual modeling approach to business service mashup development. In: Proceedings of IEEE international conference on web services, (ICWS), pp 751\u2013758. doi: 10.1109\/ICWS.2009.24","DOI":"10.1109\/ICWS.2009.24"},{"key":"363_CR4","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/j.websem.2004.03.001","volume":"1","author":"J Cardoso","year":"2004","unstructured":"Cardoso J, Sheth A, Miller J, Arnold J, Kochut K (2004) Quality of service for workflows and web service processes. Web Semant Sci Serv Agents World Wide Web 1:281\u2013308. doi: 10.1016\/j.websem.2004.03.001","journal-title":"Web Semant Sci Serv Agents World Wide Web"},{"key":"363_CR5","doi-asserted-by":"crossref","unstructured":"Chen M, Tan TH, Sun J, Liu Y, Dong JS (2014) Veriws: a tool for verification of combined functional and non-functional requirements of web service composition. In: Proceedings of 36th international conference on software engineering (ICSE), pp 564\u2013567","DOI":"10.1145\/2591062.2591070"},{"key":"363_CR6","unstructured":"Chkouri MY, Robert A, Bozga M, Sifakis J (2008). Translating AADL into BIP-application to the verification of real-time systems. In: Proceedings of international conference on model driven engineering languages and systems (MODELS), pp. 5\u201319"},{"key":"363_CR7","unstructured":"de Bruin H (2000) Scenario-based analysis of component compositions. In: Proceedings of international symposium on generative and component-based software engineering. Springer, Berlin, pp 131\u2013148"},{"key":"363_CR8","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-44800-4_12","volume-title":"Generative and Component-Based Software Engineering","author":"H de Bruin","year":"2001","unstructured":"de Bruin H, van Vliet H (2001) Scenario-based generation and evaluation of software architectures. In: Bosch J (eds) Generative and component-based software engineering. Springer, Berlin, pp 128\u2013139"},{"key":"363_CR9","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1016\/j.future.2010.10.004","volume":"27","author":"P Vrieze de","year":"2011","unstructured":"de Vrieze P, Xu L, Bouguettaya A, Yang J, Chen J (2011) Building enterprise mashups. Future Gener Comput Syst 27:637\u2013642. doi: 10.1016\/j.future.2010.10.004","journal-title":"Future Gener Comput Syst"},{"key":"363_CR10","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-642-01364-5_5","volume-title":"Web services and formal methods","author":"G Decker","year":"2009","unstructured":"Decker G, L\u00fcders A, Overdick H, Schlichting K, Weske M (2009) RESTful Petri Net Execution. In: Bruni R, Wolf K (eds) Web services and formal methods. Springer, Berlin, pp 73\u201387"},{"key":"363_CR11","doi-asserted-by":"crossref","unstructured":"El Kassmi I, Jarir Z, Obaid A (2016) Non-functional requirements interdependencies in web service composition. In: Proceedings of IEEE international conference on systems of collaboration (SysCo), pp 1\u20136","DOI":"10.1109\/SYSCO.2016.7831332"},{"key":"363_CR12","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.ijhcs.2015.10.008","volume":"87","author":"G Ghiani","year":"2016","unstructured":"Ghiani G, Patern\u00f2 F, Spano LD, Pintori G (2016) An environment for end-user development of web mashups. Int J Hum Comput Stud 87:38\u201364. doi: 10.1016\/j.ijhcs.2015.10.008","journal-title":"Int J Hum Comput Stud"},{"key":"363_CR13","doi-asserted-by":"crossref","unstructured":"Glombitza N, Pfisterer D, Fischer S (2010) Using state machines for a model driven development of web service-based sensor network applications. In: Proceedings of ACM workshop on software engineering for sensor network applications (ICSE), pp 2\u20137","DOI":"10.1145\/1809111.1809115"},{"key":"363_CR14","doi-asserted-by":"crossref","unstructured":"Guermouche N, Dal Zilio S (2012) Towards timed requirement verification for service choreographies. In: Proceedings of 8th IEEE international conference on collaborative computing: networking, applications and worksharing (CollaborateCom), pp 117\u2013126","DOI":"10.4108\/icst.collaboratecom.2012.250441"},{"key":"363_CR15","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/978-3-642-39218-4_22","volume-title":"Security and privacy protection in information processing systems","author":"H Hobel","year":"2013","unstructured":"Hobel H, Heurix J, Anjomshoaa A, Weippl E (2013) Towards security-enhanced and privacy-preserving mashup compositions. In: Janczewski J et al (eds) Security and privacy protection in information processing systems. Springer, Berlin, pp 286\u2013299"},{"key":"363_CR16","doi-asserted-by":"crossref","unstructured":"Hoyer V, Stanoesvka-Slabeva K, Janner T, Schroth C (2008) Enterprise mashups: design principles towards the long tail of user needs. In: Proceedings of IEEE international conference on services computing (SCC), pp 601\u2013602","DOI":"10.1109\/SCC.2008.88"},{"key":"363_CR17","doi-asserted-by":"crossref","unstructured":"Hoyer V, Stanoevska-Slabeva K, Kramer S, Giessmann A (2011) What are the business benefits of enterprise mashups?. In: Proceedings of IEEE 44th Hawaii international conference on system sciences (HICSS), pp 1\u201310","DOI":"10.1109\/HICSS.2011.490"},{"key":"363_CR18","doi-asserted-by":"crossref","unstructured":"Isikdag U (2015) Enhanced building information models: using IoT services and integration patterns. Springer, Cham","DOI":"10.1007\/978-3-319-21825-0"},{"key":"363_CR19","doi-asserted-by":"crossref","unstructured":"Kazhamiakin R, Pistore M, Roveri M (2004) A framework for integrating business processes and business requirements. In: Proceedings of eighth IEEE international enterprise distributed object computing conference (EDOC), pp. 9\u201320","DOI":"10.1109\/EDOC.2004.1342501"},{"key":"363_CR20","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-3-319-23063-4_4","volume-title":"Business process management","author":"A Kheldoun","year":"2015","unstructured":"Kheldoun A, Barkaoui K, Ioualalen M (2015) Specification and verification of complex business processes\u2014a high-level petri net-based approach. In: Motahari-Nezhad RH, Recker J, Weidlich M (eds) Business process management. Springer, Berlin, pp 55\u201371"},{"key":"363_CR21","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1504\/IJWGS.2013.057466","volume":"9","author":"H Kil","year":"2013","unstructured":"Kil H, Nam W (2013) Semantic web service composition via model checking techniques. Int J Web Grid Serv 9:339\u2013350. doi: 10.1504\/IJWGS.2013.057466","journal-title":"Int J Web Grid Serv"},{"key":"363_CR22","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1504\/IJWGS.2013.057470","volume":"9","author":"YS Kim","year":"2013","unstructured":"Kim YS, Shin DH, Jeon HB, Lee KH, Cho KS, Park W (2013) Conflict detection in composite web services based on model checking. Int J Web Grid Serv 9:394\u2013430. doi: 10.1504\/IJWGS.2013.057470","journal-title":"Int J Web Grid Serv"},{"key":"363_CR23","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1109\/TSE.2007.70726","volume":"33","author":"KK Lau","year":"2007","unstructured":"Lau KK, Wang Z (2007) Software component models. IEEE Trans Software Eng 33:709\u2013724. doi: 10.1109\/TSE.2007.70726","journal-title":"IEEE Trans Software Eng"},{"key":"363_CR24","doi-asserted-by":"crossref","unstructured":"Lekidis A, Stachtiari E, Katsaros P, Bozga M, Georgiadis CK (2015) Using BIP to reinforce correctness of resource-constrained IoT applications. In: Proceedings of 10th IEEE international symposium on industrial embedded systems (SIES), pp 1\u201310","DOI":"10.1109\/SIES.2015.7185066"},{"key":"363_CR25","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1147\/sj.412.0198","volume":"41","author":"F Leymann","year":"2002","unstructured":"Leymann F, Roller D, Schmidt MT (2002) Web services and business process management. IBM Syst J 41:198\u2013211. doi: 10.1147\/sj.412.0198","journal-title":"IBM Syst J"},{"key":"363_CR26","doi-asserted-by":"publisher","first-page":"1436","DOI":"10.1016\/j.jss.2011.01.030","volume":"84","author":"Y Liu","year":"2011","unstructured":"Liu Y, Liang X, Xu L, Staples M, Zhu L (2011) Composing enterprise mashup components and services using architecture integration patterns. J Syst Softw 84:1436\u20131446. doi: 10.1016\/j.jss.2011.01.030","journal-title":"J Syst Softw"},{"key":"363_CR27","doi-asserted-by":"crossref","unstructured":"L\u00f3pez J, Bellas F, Pan A, Montoto P (2009) A component-based approach for engineering enterprise mashups. In: Proceedings of international conference on web engineering (ICWE), pp 30\u201344","DOI":"10.1007\/978-3-642-02818-2_3"},{"key":"363_CR28","doi-asserted-by":"crossref","unstructured":"Mavridou A, Stachtiari E, Bliudze S, Ivanov A, Katsaros P, Sifakis J (2016) Architecture-based design: a satellite on-board software case study. In: Proceedings of 13th international conference on formal aspects of component software (FACS 2016)","DOI":"10.1007\/978-3-319-57666-4_16"},{"key":"363_CR29","doi-asserted-by":"crossref","first-page":"2147","DOI":"10.1109\/TII.2013.2238948","volume":"9","author":"N Niu","year":"2013","unstructured":"Niu N, Da Xu L, Bi Z (2013) Enterprise information systems architecture\u2014analysis and evaluation. IEEE Trans Ind Inf 9:2147\u20132154","journal-title":"IEEE Trans Ind Inf"},{"key":"363_CR30","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s12599-010-0121-9","volume":"2","author":"I Pahlke","year":"2010","unstructured":"Pahlke I, Beck R, Wolf M (2010) Enterprise mashup systems as platform for situational applications. Bus Inf Syst Eng 2:305\u2013315. doi: 10.1007\/s12599-010-0121-9","journal-title":"Bus Inf Syst Eng"},{"key":"363_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/17517575.2012.684802","volume":"7","author":"H Panetto","year":"2013","unstructured":"Panetto H, Cecil J (2013) Information systems for enterprise integration, interoperability and networking: theory and applications (editorial). Enterp Inf Syst 7:1\u20136. doi: 10.1080\/17517575.2012.684802","journal-title":"Enterp Inf Syst"},{"key":"363_CR32","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1002\/spe.2233","volume":"45","author":"MA Paredes\u2010Valverde","year":"2015","unstructured":"Paredes\u2010Valverde MA, Alor\u2010Hern\u00e1ndez G, Rodr\u00edguez\u2010Gonz\u00e1lez A, Valencia\u2010Garc\u00eda R, Jim\u00e9nez\u2010Domingo (2015) A systematic review of tools, languages, and methodologies for mashup development. Softw Pract Exp 45:365\u2013397. doi: 10.1002\/spe.2233","journal-title":"Softw Pract Exp"},{"key":"363_CR33","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.entcs.2004.05.005","volume":"105","author":"M Pistore","year":"2004","unstructured":"Pistore M, Roveri M, Busetta P (2004) Requirements-driven verification of web services. Electron Notes Theor Comput Sci 105:95\u2013108. doi: 10.1016\/j.entcs.2004.05.005","journal-title":"Electron Notes Theor Comput Sci"},{"key":"363_CR34","doi-asserted-by":"crossref","unstructured":"Polymerou E, Chatzakou D, Vakali A (2014) Emotube: a sentiment analysis integrated environment for social web content. In: Proceedings of 4th international conference on web intelligence, mining and semantics (WIMS14), pp 20\u201325","DOI":"10.1145\/2611040.2611081"},{"key":"363_CR35","unstructured":"Ruhi U, Choi D (2013) Enterprise mashups for knowledge management. In: Proceedings of 1st international conference on information and communication technology trends (ICICTT), pp 159\u2013168"},{"key":"363_CR36","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-3-319-28934-2_6","volume-title":"Formal aspects of component software","author":"NB Said","year":"2016","unstructured":"Said NB, Abdellatif T, Bensalem S, Bozga M (2016) A robust framework for securing composed web services. In: Braga C, \u00d6lveczky PC (eds) Formal aspects of component software. Springer, Berlin, pp 105\u2013122"},{"key":"363_CR37","doi-asserted-by":"crossref","unstructured":"Sifakis J (2014) Rigorous system design. In: Proceedings of symposium on principles of distributed computing, pp 292\u2013292. ACM","DOI":"10.1145\/2611462.2611517"},{"key":"363_CR38","doi-asserted-by":"crossref","unstructured":"Stachtiari E, Mentis A, Katsaros P (2012) Rigorous analysis of service composability by embedding WS-BPEL into the BIP component framework. In: Proceedings of 19th IEEE international conference on web services (ICWS), pp 319\u2013326","DOI":"10.1109\/ICWS.2012.63"},{"key":"363_CR39","doi-asserted-by":"crossref","unstructured":"Stachtiari E, Vesyropoulos N, Kourouleas G, Georgiadis CK, Katsaros P (2014) Correct-by-construction web service architecture. In: Proceedings of 8th IEEE international symposium on service oriented system engineering (SOSE), pp 47\u201358","DOI":"10.1109\/SOSE.2014.12"},{"key":"363_CR40","doi-asserted-by":"crossref","unstructured":"Vesyropoulos N, Georgiadis CK (2013) Web of things: understanding the growing opportunities for business transactions. In: Proceedings of 6th Balkan conference in informatics, pp 267\u2013274","DOI":"10.1145\/2490257.2490287"},{"key":"363_CR41","doi-asserted-by":"crossref","unstructured":"V\u00f6rtler T, H\u00f6ckner B, Hofstedt P, Klotz T (2015) Formal verification of software for the Contiki operating system considering interrupts. In: 18th IEEE international symposium on design and diagnostics of electronic circuits & systems (DDECS), pp 295\u2013298","DOI":"10.1109\/DDECS.2015.59"},{"key":"363_CR42","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1109\/TSC.2009.22","volume":"2","author":"Q Wang","year":"2009","unstructured":"Wang Q, Shao J, Deng F, Liu Y, Li M, Han J, Mei H (2009) An online monitoring approach for web service requirements. IEEE Trans Serv Comput 2:338\u2013351. doi: 10.1109\/TSC.2009.22","journal-title":"IEEE Trans Serv Comput"},{"key":"363_CR43","doi-asserted-by":"publisher","DOI":"10.1007\/s10257-016-0321-z","author":"T Wang","year":"2016","unstructured":"Wang T, Truptil S, Benaben F (2016) An automatic model-to-model mapping and transformation methodology to serve model-based systems engineering. IseB. doi: 10.1007\/s10257-016-0321-z","journal-title":"IseB"},{"key":"363_CR44","unstructured":"Wilson S, Daniel F, Jugel U, Soi S (2011) Orchestrated user interface mashups using w3c widgets. In: Proceedings of international conference on web engineering (ICWE), pp 49\u201361"},{"key":"363_CR45","first-page":"87","volume-title":"Web services and formal methods","author":"X Wu","year":"2012","unstructured":"Wu X, Zhang Y, Zhu H, Zhao Y, Sun Z, Liu P (2012) Formal modeling and analysis of the REST architecture using CSP. In: Beek M, Lohmann N (eds) Web services and formal methods. Springer, Berlin, pp 87\u2013102"},{"key":"363_CR46","doi-asserted-by":"publisher","first-page":"990","DOI":"10.1080\/0951192X.2012.685107","volume":"26","author":"L Xu","year":"2013","unstructured":"Xu L, de Vrieze P, Phalp K, Jeary S, Liang P (2013) Interoperative end-user process modelling for process collaborative manufacturing. Int J Comput Integr Manuf 26:990\u20131002. doi: 10.1080\/0951192X.2012.685107","journal-title":"Int J Comput Integr Manuf"},{"key":"363_CR47","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-642-37804-1_10","volume-title":"Service-oriented computing\u2014ICSOC 2012 workshops","author":"S Xue","year":"2013","unstructured":"Xue S, Wu B, Chen J (2013) An end-user oriented approach for business process personalization from multiple sources. In: Ghose Aditya et al (eds) Service-oriented computing\u2014ICSOC 2012 workshops. Springer, Berlin, pp 87\u201398"},{"key":"363_CR48","doi-asserted-by":"publisher","DOI":"10.1007\/s10257-016-0317-8","author":"G Zacharewicz","year":"2016","unstructured":"Zacharewicz G, Diallo S, Ducq Y, Agostinho C, Jardim-Goncalves R, Bazoun H, Wang Z, Doumeingts G (2016) Model-based approaches for interoperability of next generation enterprise information systems: state of the art and future challenges. IseB. doi: 10.1007\/s10257-016-0317-8","journal-title":"IseB"},{"key":"363_CR49","unstructured":"Zahoor E, Perrin O, Godart C (2008) Mashup model and verification using mashup processing network. In: Proceedings of international conference on collaborative computing: networking, applications and worksharing, pp 632\u2013648"}],"container-title":["Information Systems and e-Business Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10257-017-0363-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10257-017-0363-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10257-017-0363-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T01:45:52Z","timestamp":1570067152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10257-017-0363-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,6]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["363"],"URL":"https:\/\/doi.org\/10.1007\/s10257-017-0363-x","relation":{},"ISSN":["1617-9846","1617-9854"],"issn-type":[{"type":"print","value":"1617-9846"},{"type":"electronic","value":"1617-9854"}],"subject":[],"published":{"date-parts":[[2017,9,6]]}}}