Skip to main content
SpringerLink
Log in
Book cover

Services and Visualization Towards User-Friendly Design pp 222–237Cite as

Automatic error location for IN service definition

  • Selected Papers
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1385))

Abstract

The paper presents a new unique feature of the IN-METAFrame Service Definition Environment: the automatic generation of diagnostic location information as a consequence of detecting an error in the design phase of a Service Logic. Violations of constraints which express frame conditions for the design (concerning e.g. implementability, country specific standards, and network specific features) are detected by formal verification techniques. The subsequent error diagnosis and correction is now supported by a new kind of abstract views, which not only give hints on the possible source of trouble, tut additionally automatically locate the exact occurrence of the constraint violation in the Service Logic.

See [1], as well as the position statements [8,9] in the same issue.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ed Clarke, J. Wing: ACM Worksh. on Strategic Directions in Computing Research, Position Statement of the Formal Methods group, Boston (USA), June 1996. ACM Computing Surv. 28A(4), Dec. 1996, http://www.acm.org/surveys/1996.

    Google Scholar 

  2. D. Kozen: “Results on the Propositional Μ-Calculus”, Theoretical Computer Science, Vol. 27, 1983, pp. 333–354.

    Article  MATH  MathSciNet  Google Scholar 

  3. J.K. Ousterhout: “Tcl and the Tk Toolkit,” Addison-Wesley, April 1994.

    Google Scholar 

  4. B. Steffen, A. Claßen, M. Klein, J. Knoop, T. Margaria: “The Fixpoint Analysis Machine”, Proc. CONCUR'95, Pittsburgh (USA), August 1995, LNCS 962, Springer Verlag.

    Google Scholar 

  5. B. Steffen, T. Margaria, A. Claßen, V. Braun, M. Reitenspieß: “An Environment for the Creation of Intelligent Network Services”, in “Intelligent Networks: IN/AIN Technologies, Operations, Services, and Applications — A Comprehensive Report”, Int. Engineering Consortium Chicago (USA), 1996, pp.287–300.

    Google Scholar 

  6. B. Steffen, T. Margaria, A. Claßen: Heterogeneous Analysis and Verification for Distributed Systems, “Software: Concepts and Tools” Vol.17(1), pp.13–25, March 1996, Springer Verlag

    Google Scholar 

  7. B. Steffen, T. Margaria, A. Claßen, V. Braun, M. Reitenspieß: “A Constraint-Oriented Service Creation Environment,” Proc. PACT'96, Int. Conf on Practical Applications of Constraint Technology, 24–26 Apr.1996, London (UK).

    Google Scholar 

  8. B. Steffen, T. Margaria: Method Engineering for Real-Life Concurrent Systems, position statement, ACM Worksh. on Strategic Directions in Computing Research, Working Group on Concurrency, ACM Computing Surveys 28A(4), Dec. 1996, http://www.acm.org/surveys/1996/SteffenMethod/

    Google Scholar 

  9. B. Steffen, T. Margaria: Tools Get Formal Methods into Practice, position statement, ACM Worksh. on Strategic Directions in Computing Research, Working Group on Formal Methods, ACM Computing Surveys 28A(4), Dec. 1996, http://www. acm. org/surveys/1996/SteffenTools/

    Google Scholar 

  10. B. Steffen, T. Margaria, A. Claßen, V. Braun: Incremental Formalization: a Key to Industrial Success, in “Software: Concepts and Tools”, Vol.17(2), pp. 78–91, Springer Verlag, July 1996.

    Google Scholar 

  11. B. Steffen, T. Margaria, A. Claßen, V. Braun, M. Reitenspieß, H. Wendler: Service Creation: Formal Verification and Abstract Views, Proc. 4th Int. Conf. on Intelligent Networks (ICIN'96), Nov. 1996, Bordeaux (France), pp. 96–101.

    Google Scholar 

  12. B. Steffen, T. Margaria, V. Braun, N. Kalt: Hierarchical Service Definition, Annual Review of Communic., Int. Engineering Consortium, Chicago, 1997, pp.847–856.

    Google Scholar 

  13. B. Steffen, T. Margaria, A. Claßen, V. Braun: The METAFrame '95 Environment, Proc. CAV'96, Juli–Aug. 1996, New Brunswick, NJ, USA, LNCS 1102, pp.450–453, Springer Verlag.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lehrstuhl für Programmiersysteme, Universität Dortmund, Baroper Str. 301, D-44221, Dortmund, Germany

    Volker Braun, Bernhard Steffen & Haiseung Yoo

  2. Universität Passau, Innstr. 33, D-94032, Passau, Germany

    Tiziana Margaria

Authors
  1. Volker Braun
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bernhard Steffen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Haiseung Yoo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Tiziana Margaria Bernhard Steffen Roland Rückert Joachim Posegga

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Braun, V., Margaria, T., Steffen, B., Yoo, H. (1998). Automatic error location for IN service definition. In: Margaria, T., Steffen, B., Rückert, R., Posegga, J. (eds) Services and Visualization Towards User-Friendly Design. Lecture Notes in Computer Science, vol 1385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053508

Download citation

  • DOI: https://doi.org/10.1007/BFb0053508

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64367-8

  • Online ISBN: 978-3-540-69760-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation