REFlex: An Efficient Web Service Orchestrator for Declarative Business Processes

  • Natália Cabral Silva
  • Renata Medeiros de Carvalho
  • César Augusto Lins Oliveira
  • Ricardo Massa Ferreira Lima
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8274)


Declarative business process modeling is a flexible approach to business process management in which participants can decide the order in which activities are performed. Business rules are employed to determine restrictions and obligations that must be satisfied during execution time. In this way, complex control-flows are simplified and participants have more flexibility to handle unpredicted situations. Current implementations of declarative business process engines focus only on manual activities. Automatic communication with external applications to exchange data and reuse functionality is barely supported. Such automation opportunities could be better exploited by a declarative engine that integrates with existing SOA technologies. In this paper, we introduce an engine that fills this gap. REFlex is an efficient, data-aware declarative web services orchestrator. It enables participants to call external web services to perform automated tasks. Different from related work, the REFlex algorithm does not depend on the generation of all reachable states, which makes it well suited to model large and complex business processes. Moreover, REFlex is capable of modeling data-dependent business rules, which provides unprecedent context awareness and modeling power to the declarative paradigm.


declarative business process business process flexibility business rules web services orchestrator context awareness 


  1. 1.
    Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The sciff framework. ACM Trans. Comput. Logic 9(4), 29:1–29:43 (2008)Google Scholar
  2. 2.
    Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S.: et al. Business process execution language for web services (2003)Google Scholar
  3. 3.
    de Carvalho, R.M., Silva, N.C., Oliveira, C.A.L., Lima, R.M.: Reflex: an efficient graph-based rule engine to execute declarative processes. In: Proceedings of the International Conference on Systems, Man and Cybernetics (2013)Google Scholar
  4. 4.
    de Carvalho, R.M., Silva, N.C., Oliveira, C.A.L., Lima, R.M.: A solution to the state space explosion problem in declarative business process modeling. In: Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering (2013)Google Scholar
  5. 5.
    Charfi, A., Mezini, M.: Ao4bpel: An aspect-oriented extension to bpel. World Wide Web 10(3), 309–344 (2007)CrossRefGoogle Scholar
  6. 6.
    Colombo, M., Di Nitto, E., Mauri, M.: SCENE: A service composition execution environment supporting dynamic changes disciplined through rules. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 191–202. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Hermosillo, G., Seinturier, L., Duchien, L.: Using complex event processing for dynamic business process adaptation. In: 2010 IEEE International Conference on Services Computing (SCC), pp. 466–473 (July 2010)Google Scholar
  8. 8.
    Hildebrandt, T.T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: PLACES, pp. 59–73 (2010)Google Scholar
  9. 9.
    Koning, M., Sun, C.-A., Sinnema, M., Avgeriou, P.: Vxbpel: Supporting variability for web services in bpel. Inf. Softw. Technol. 51(2), 258–269 (2009)CrossRefGoogle Scholar
  10. 10.
    Nurcan, S.: A survey on the flexibility requirements related to business processes and modeling artifacts. In: HICSS 2008: Proceedings of the 41st Annual Hawaii International Conference on System Sciences, p. 378. IEEE Computer Society, Washington, DC (2008)CrossRefGoogle Scholar
  11. 11.
    Oliveira, C., Silva, N., Sabat, C., Lima, R.: Reducing the gap between business and information systems through complex event processing. Computing and Informatics 32(2) (2013)Google Scholar
  12. 12.
    Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: Declare: Full support for loosely-structured processes. In: 11th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2007, p. 287 (October 2007)Google Scholar
  13. 13.
    Pesic, M.: Constraint-Based Workflow Management Systems: Shifting Control to Users. PhD thesis, Technische Universiteit Eindhoven, Eindhoven, The Netherlands (2008)Google Scholar
  14. 14.
    Silva, N.C., de Carvalho, R.M., Oliveira, C.A.L., Lima, R.M.: Integrating declarative processes and soa: A declarative web service orchestrator. In: Proceedings of the 2013 International Conference on Semantic Web and Web Services (2013)Google Scholar
  15. 15.
    van der Aalst, W.M.P., Pesic, M.: Decserflow: Towards a truly declarative service flow language. In: Leymann, F., Reisig, W., Thatte, S.R., van der Aalst, W.M.P. (eds.) The Role of Business Processes in Service Oriented Architectures, July 16-July 21. Dagstuhl Seminar Proceedings, vol. 06291. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany (2006)Google Scholar
  16. 16.
    Weigand, H., van den Heuvel, W.-J., Hiel, M.: Business policy compliance in service-oriented systems. Information Systems 36(4), 791–807 (2011), Selected Papers from the 2nd International Workshop on Similarity Search and Applications SISAP 2009Google Scholar
  17. 17.
    Xiao, Z., Cao, D., You, C., Mei, H.: Towards a constraint-based framework for dynamic business process adaptation. In: Proceedings of the 2011 IEEE International Conference on Services Computing, SCC 2011, pp. 685–692. IEEE Computer Society, Washington, DC (2011)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Natália Cabral Silva
    • 1
  • Renata Medeiros de Carvalho
    • 1
  • César Augusto Lins Oliveira
    • 1
  • Ricardo Massa Ferreira Lima
    • 1
  1. 1.Center for Informatics (CIn)Federal University of PernambucoRecifeBrazil

Personalised recommendations