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.
Preview
Unable to display preview. Download preview PDF.
References
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.
D. Kozen: “Results on the Propositional Μ-Calculus”, Theoretical Computer Science, Vol. 27, 1983, pp. 333–354.
J.K. Ousterhout: “Tcl and the Tk Toolkit,” Addison-Wesley, April 1994.
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.
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.
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
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).
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/
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/
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.
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.
B. Steffen, T. Margaria, V. Braun, N. Kalt: Hierarchical Service Definition, Annual Review of Communic., Int. Engineering Consortium, Chicago, 1997, pp.847–856.
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.
Author information
Authors and Affiliations
Editor information
Rights 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