Detecting and resolving semantic pathologies in UML sequence diagrams

ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)

Volumn , Issue , 2005, Pages 50-59

  Baker, Paul ^a   Bristow, Paul ^a   Jervis, Clive ^a   King, David ^a   Thomson, Robert ^a   Mitchell, Bill ^b   Burton, Simon ^c  

^a MOTOROLA   (United Kingdom)

^b UNIVERSITY OF SURREY   (United Kingdom)

^c DAIMLER AG   (Germany)

Author keywords

Communication semantics; MSC; Requirements; UML 2.0

Indexed keywords

COMMUNICATION SYSTEMS; DEFECTS; ERRORS; INFORMATION TECHNOLOGY; OPTICAL RESOLVING POWER; PATHOLOGY;

COMMUNICATION SEMANTICS; MSC; REQUIREMENTS; UML 2.0;

SEMANTICS;

EID: 32344433271     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1081706.1081716     Document Type: Conference Paper

References (18)

1. Alur, R., Holzmann, G.J., and Peled, D., An analyzer for Message Sequence Charts, Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), Springer-Verlag, 1996.
2. Alur, R., and Yannakakis, M., Model checking of Message Sequence Charts, Proceedings of the Tenth International Conference on Concurrency Theory, Springer-Verlag, 1999.
3. Baker, P., Bristow, P., Jervis, C., King, D., and Mitchell, B., Automatic Generation of Conformance Tests From Message Sequence Charts, Telecommunications and Beyond: The Broader Applicability of MSC and SDL, pp 170-198, LNCS 2599, 2003.
4. Beizer, B., Software Testing Techniques, New York, New York: Van Nostrand Reinhold, 1983.
5. Ben-Abdallah, H., and Leue S., MESA: Support for Scenario-Based Design of Concurrent Systems, Proceedings of 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), LNCS 1384, Springer-Verlag, 1998.
6. Boehm, B., and Basili, V.R., Software Defect Reduction Top 10 List, IEEE Computer Society Press, Vol. 34, No. 1, 2001.
7. Engels, A., Mauw, S., and Reniers, M. A., A Hierarchy of Communication Models for Message Sequence Charts, FORTE, 1997.
8. ETSI ES 201 873-1, Methods for Testing and Specification; The Testing and Control Notation version 3 (TTCN-3); Part 1: TTCN-3 Core Language, European Telecommunications Standards Institute (ETSI), 2001.
9. Gilb, T., Principles of Software Engineering Management, Addison Wesley Longman, 1988.
10. International Telecommunications Union: ITU-T Recommendation Z.120, Message Sequence Chart (MSC), 2000. Available from http://www.itu.int.
11. International Telecommunications Union: ITU-T Recommendation X.292, The Tree and Tabular Combined Notation (TTCN-2), 1997. Available from http://www.itu.int.
12. Lutz, R., Targeting Safety-Related Errors During Software Requirements Analysis, Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993.
13. Mitchell, B., Thomson, R., and Jervis, C., Phase Automaton for Requirements Scenarios, Feature Interactions in Telecommunications and Software Systems VII 77-84, IOS Press, 2003.
14. Nelson, M., Clark, J., and Spurlock, M.A., Curing the Software Requirements And Cost Estimating Blues, PM: Nov-Dec, 1999.
15. Object Management Group (OMG), Unified Modeling Language (UML): Superstructure, Version 2.0, 2003. Available from http://www.omg.org.
16. Object Management Group (OMG), UML Profile for Schedulability, Performance, and Time VI. 1, 2005-01-02. Available from http://www.omg.org.
17. Telelogic, Tau documentation, Telelogic Web Site: http://www.telelogic.com, 2005.
18. Wong, E., Horgan, J.R., Zage, W., Zage, D., and Syring, M., Applying Design Metrics to a Large-Scale Software System, Proceedings of the 9th International Symposium on Software Engineering Reliability (ISSRE '98), Paderborn, Germany, November 4-7, 1998.