Ensuring business and service requirements in enterprise mashups

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–333

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–522

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–758. doi: 10.1109/ICWS.2009.24

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–308. doi: 10.1016/j.websem.2004.03.001

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–567

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–19

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–148

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–139

de Vrieze P, Xu L, Bouguettaya A, Yang J, Chen J (2011) Building enterprise mashups. Future Gener Comput Syst 27:637–642. doi: 10.1016/j.future.2010.10.004

Decker G, Lüders 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–87

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–6

Ghiani G, Paternò F, Spano LD, Pintori G (2016) An environment for end-user development of web mashups. Int J Hum Comput Stud 87:38–64. doi: 10.1016/j.ijhcs.2015.10.008

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–7

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–126

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–299

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–602

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–10

Isikdag U (2015) Enhanced building information models: using IoT services and integration patterns. Springer, Cham

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–20

Kheldoun A, Barkaoui K, Ioualalen M (2015) Specification and verification of complex business processes—a high-level petri net-based approach. In: Motahari-Nezhad RH, Recker J, Weidlich M (eds) Business process management. Springer, Berlin, pp 55–71

Kil H, Nam W (2013) Semantic web service composition via model checking techniques. Int J Web Grid Serv 9:339–350. doi: 10.1504/IJWGS.2013.057466

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–430. doi: 10.1504/IJWGS.2013.057470

Lau KK, Wang Z (2007) Software component models. IEEE Trans Software Eng 33:709–724. doi: 10.1109/TSE.2007.70726

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–10

Leymann F, Roller D, Schmidt MT (2002) Web services and business process management. IBM Syst J 41:198–211. doi: 10.1147/sj.412.0198

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–1446. doi: 10.1016/j.jss.2011.01.030

López 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–44

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)

Niu N, Da Xu L, Bi Z (2013) Enterprise information systems architecture—analysis and evaluation. IEEE Trans Ind Inf 9:2147–2154

Pahlke I, Beck R, Wolf M (2010) Enterprise mashup systems as platform for situational applications. Bus Inf Syst Eng 2:305–315. doi: 10.1007/s12599-010-0121-9

Panetto H, Cecil J (2013) Information systems for enterprise integration, interoperability and networking: theory and applications (editorial). Enterp Inf Syst 7:1–6. doi: 10.1080/17517575.2012.684802

Paredes‐Valverde MA, Alor‐Hernández G, Rodríguez‐González A, Valencia‐García R, Jiménez‐Domingo (2015) A systematic review of tools, languages, and methodologies for mashup development. Softw Pract Exp 45:365–397. doi: 10.1002/spe.2233

Pistore M, Roveri M, Busetta P (2004) Requirements-driven verification of web services. Electron Notes Theor Comput Sci 105:95–108. doi: 10.1016/j.entcs.2004.05.005

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–25

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–168

Said NB, Abdellatif T, Bensalem S, Bozga M (2016) A robust framework for securing composed web services. In: Braga C, Ölveczky PC (eds) Formal aspects of component software. Springer, Berlin, pp 105–122

Sifakis J (2014) Rigorous system design. In: Proceedings of symposium on principles of distributed computing, pp 292–292. ACM

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–326

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–58

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–274

Vörtler T, Höckner 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–298

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–351. doi: 10.1109/TSC.2009.22

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

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–61

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–102

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–1002. doi: 10.1080/0951192X.2012.685107

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—ICSOC 2012 workshops. Springer, Berlin, pp 87–98

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

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–648