Skip to main content
SpringerLink
Log in

Ensuring business and service requirements in enterprise mashups

  • Original Article
  • Published:
Information Systems and e-Business Management Aims and scope Submit manuscript

Abstract

During the past few years, mashups have gained wide attention as they utilize Web 2.0 technologies in order to combine data, as well as the functionalities of numerous services, in a simple web application. While developing mashups for simple user-specific needs is not a demanding procedure, this is not the case for value-added services that need to satisfy specific properties and business needs, known as enterprise mashups. As a number of business requirements have to be satisfied, and execution faults are less tolerated compared to user-centric scenarios, a rigorous approach for their development is required. In this work we present such an approach utilizing model checking techniques, provided by the behavior, interaction, priorities (BIP) component framework. In addition, a methodology for the transformation of business process model and notation models, describing the business logic of a requested mashup, into the corresponding BIP models is proposed. The generated models enable the verification of requested properties.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18

Similar content being viewed by others

References

  • 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

    Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Chapter  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Chapter  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Chapter  Google Scholar 

  • 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

    Chapter  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

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

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Chapter  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Chapter  Google Scholar 

  • 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

    Google Scholar 

  • 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

Download references

Author information

Authors and Affiliations

  1. University of Macedonia, 156 Egnatia Street, 54006, Thessaloníki, Greece

    Nikolaos Vesyropoulos & Christos K. Georgiadis

  2. Aristotle University of Thessaloniki, Thessaloníki, Greece

    Panagiotis Katsaros

Authors
  1. Nikolaos Vesyropoulos
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christos K. Georgiadis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Panagiotis Katsaros
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nikolaos Vesyropoulos.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Vesyropoulos, N., Georgiadis, C.K. & Katsaros, P. Ensuring business and service requirements in enterprise mashups. Inf Syst E-Bus Manage 16, 205–242 (2018). https://doi.org/10.1007/s10257-017-0363-x

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10257-017-0363-x

Keywords

Search

Navigation