Deriving business processes with service level agreements from early requirements

Ganna Frankova*, Magali Séguran, Florian Gilcher, Slim Trabelsi, Jörg Dörflinger, Marco Aiello

*Corresponding author for this work

Research output: Contribution to journalArticle

15 Citations (Scopus)

Abstract

When designing a service-based business process employing loosely coupled services, one is not only interested in guaranteeing a certain flow of work, but also in how the work will be performed. This involves the consideration of non-functional properties which go from execution time and costs, to trust and security. Ideally, a designer would like to have guarantees over the behavior of the services involved in the process. These guarantees are the object of Service Level Agreements. We propose a methodology to design service-based business processes together with Service Level Agreements that guarantee a certain quality of execution, with particular emphasis on security. Starting from an early requirements analysis modeled in the Secure Tropos formalism, we provide a set of user-guided transformations and reasoning tools the final output of which is a set of processes in the form of Secure BPELs together with a set of Service Level Agreements to be signed by participating services. To show the potential impact of the approach, we illustrate the functioning of the methodology on a collaborative procurement scenario derived from the application domain of a research project.

Original languageEnglish
Pages (from-to)1351-1363
Number of pages13
JournalJournal of Systems and Software
Volume84
Issue number8
DOIs
Publication statusPublished - Aug 2011
Externally publishedYes

Keywords

  • Business process
  • Requirements engineering
  • Service level agreement

Fingerprint Dive into the research topics of 'Deriving business processes with service level agreements from early requirements'. Together they form a unique fingerprint.

  • Cite this

    Frankova, G., Séguran, M., Gilcher, F., Trabelsi, S., Dörflinger, J., & Aiello, M. (2011). Deriving business processes with service level agreements from early requirements. Journal of Systems and Software, 84(8), 1351-1363. https://doi.org/10.1016/j.jss.2011.03.077