Skip to main content

A Formalisation of Adaptable Pervasive Flows

  • Conference paper
Web Services and Formal Methods (WS-FM 2009)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6194))

Included in the following conference series:

  • 424 Accesses

Abstract

Adaptable Pervasive Flows is a novel workflow-based paradigm for the design and execution of pervasive applications, where dynamic workflows situated in the real world are able to modify their execution in order to adapt to changes in their environment. In this paper, we study a formalisation of such flows by means of a formal flow language. More precisely, we define APFoL (Adaptable Pervasive Flow Language) and formalise its textual notation by encoding it in Blite, a formalisation of WS-BPEL. The encoding in Blite equips the language with a formal semantics and enables the use of automated verification techniques. We illustrate the approach with an example of a Warehouse Case Study.

Research supported by the EU, STREP project Allow IST-324449 and Sensoria, IST-2005-016004.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. EU-FET project 213339 ALLOW, http://www.allow-project.eu/

  2. D3.1 Basic flow-model and language for Adaptable Pervasive Flows. ALLOW Project Deliverable (November 2008)

    Google Scholar 

  3. APFoL homepage, http://www.antoniobucchiarone.it/APFoL.html

  4. Blite: A formal account of WS-BPEL, http://rap.dsi.unifi.it/blite/

  5. OASIS WSBPEL Tecnical Committee. Web Services Business Process Execution Language, version 2.0 (2007), http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0

  6. Bruni, R., Gadducci, F., Lluch Lafuente, A.: A graph syntax for processes and services. In: 9th International Workshop on Web Services and Formal Methods, WS-FM 2009 (2009)

    Google Scholar 

  7. Bundgaard, M., Glenstrup, A.J., Hildebrandt, T.T., Højsgaard, E., Niss, H.: Formalizing higher-order mobile embedded business processes with binding bigraphs. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 83–99. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  8. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, vol. 4350. Springer, Heidelberg (2007)

    MATH  Google Scholar 

  9. Eberle, H., Fll, S., Herrmann, K., Leymann, F., Marconi, A., Unger, T., Wolf, H.: Enforcement from the inside: Improving quality of bussiness in process management. In: IEEE 7th International Conference on Web Services, ICWS 2009 (2009) (to appear)

    Google Scholar 

  10. Herrmann, K., Rothermel, K., Kortuem, G., Dulay, N.: Adaptable Pervasive Flows - An Emerging Technology for Pervasive Adaptation. In: Workshop on Pervasive Adaptation (PerAda), September 2008. IEEE Computer Society, Los Alamitos (2008)

    Google Scholar 

  11. Hull, R.: Artifact-centric business process models: Brief survey of research results and challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part II. LNCS, vol. 5332, pp. 1152–1163. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  12. Laneve, C., Zavattaro, G.: Web-pi at work. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol. 3705, pp. 182–194. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  13. Lapadula, A., Pugliese, R., Tiezzi, F.: A formal account of WS-BPEL. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 199–215. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77–91. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  15. Lucchi, R., Mazzara, M.: A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming 70(1), 96–118 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  16. Marconi, A., Pistore, M., Sirbu, A., Eberle, H., Leymann, F.: Enabling adaptation of pervasive flows: Built-in contextual adaptation. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC 2009. LNCS, vol. 5900, pp. 389–403. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  17. Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428–445 (2003)

    Article  Google Scholar 

  18. Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in WS-BPEL. Science of Computer Programming 67(2-3), 162–198 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  19. van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bucchiarone, A., Lafuente, A.L., Marconi, A., Pistore, M. (2010). A Formalisation of Adaptable Pervasive Flows. In: Laneve, C., Su, J. (eds) Web Services and Formal Methods. WS-FM 2009. Lecture Notes in Computer Science, vol 6194. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14458-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14458-5_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14457-8

  • Online ISBN: 978-3-642-14458-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics