Skip to main content
SpringerLink
Log in

Workflow Testing

  • Conference paper
Book cover Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 17))

  • 985 Accesses

Abstract

The increased use of workflow management systems and orchestrated services has created the need for frameworks supporting the quality assurance of workflows. In this paper we present WorkflowInspector, a prototype of a workflow test framework for the Windows Workflow Foundation.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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.

References

  1. Microsoft: Microsoft. NET Framework 3.0 (2007) (Accessed on 2007-03-01) , http://www.netfx3.com/

  2. Aschenbrenner, K.: Windows Workflow Foundation - Designer für effektive Workflows. dotnetpro 1, 78–85 (2006)

    Google Scholar 

  3. Kanjilal, J.: An Introduction to Windows Workflow Foundation (2006) (Accessed on 2008-01-21), http://aspalliance.com/1074_An_Introduction_to_Windows_Workflow_Foundation

  4. Allen, S.: Windows Workflow Foundation - Practical WF Techniques and Examples using XAML and C#. Packt Publishing (2006)

    Google Scholar 

  5. Pressman, R.S.: Software Engineering: A Practitioner’s Approach, 6th edn. McGraw-Hill Higher Education, New York (2004)

    MATH  Google Scholar 

  6. Li, Z., Sun, W., Jiang, Z.B., Zhang, X.: BPEL4WS Unit Testing: Framework and Implementation. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2005), vol. 1, pp. 103–110. IBM China Research Lab (2005)

    Google Scholar 

  7. Mayer, P., Lübke, D.: Towards a BPEL unit testing framework. In: Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications, Portland, Maine, University of Hannover, FG Software Engineering, pp. 33–42. ACM Press, New York (2006)

    Google Scholar 

  8. Microsoft: The Official Microsoft ASP.NET Site (2008) (Accessed on 2008-01-29), http://www.asp.net/

  9. NUnit.org: NUnit (2007) (Accessed on 2008-01-21), http://www.nunit.org

  10. Koordinierung und Beratungsstelle der Bundesregierung für Informationstechnik in der Bundesverwaltung: V-Modell XT 1.2.1 Dokumentation. Technical report, Bundesminsterium des Innern (2007)

    Google Scholar 

  11. Burke, E.M., Coyner, B.M.: Java Extreme Programming Cookbook, 1st edn. O’Reilly, Sebastopol (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research Group “Quality Engineering”, Universität Innsbruck, Institut für Informatik, A-6020, Innsbruck, Austria

    R. Breu, M. Willburger & B. Katt

  2. world-direct/eBusiness Solutions GmbH, A-6073, Sistrans/Innsbruck

    A. Lechner & M. Willburger

Authors
  1. R. Breu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Lechner
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Willburger
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. B. Katt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Technische Universität Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Breu, R., Lechner, A., Willburger, M., Katt, B. (2008). Workflow Testing. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_51

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88479-8_51

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88478-1

  • Online ISBN: 978-3-540-88479-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation