@inproceedings{309a4e1f8f0e4f3eabec01c842534cb1,
title = "Automatic error location for IN service definition",
abstract = "The paper presents a new unique feature of the IN-MBTAFrame 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.",
author = "Volker Braun and Tiziana Margaria and Bernhard Steffen and Haiseung Yoo",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1998.; 1st European Joint Conferences on Theory and Practice of Software, ETAPS 1998 associated with International Workshop on Advanced Communication Services, ACOS 1998, International Workshop on Visualization Issues for Formal Methods, VISUAL 1998, 2nd International Workshop on Advanced Intelligent Networks, AIN 1997 ; Conference date: 28-03-1998 Through 04-04-1998",
year = "1998",
doi = "10.1007/bfb0053508",
language = "English",
isbn = "3540643672",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "222--237",
editor = "Tiziana Margaria and Bernhard Steffen and Roland R{\"u}ckert and Joachim Posegga",
booktitle = "Services and Visualization",
}