Detecting and resolving semantic pathologies in UML sequence diagrams
Detecting and resolving semantic pathologies in UML sequence diagrams
Scenario based requirements specifications are the industry norm for defining communicating systems. These scenarios are often captured in the form of UML/MSC sequence diagrams. Errors are often introduced at this stage of the development process, which are costly to resolve if they are not detected early. This paper is concerned with the automatic detection and resolution of semantic errors that can occur in such scenarios.The paper discusses a semantic interpretation of scenario-based requirements and various types of defects (or pathologies) that can be detected. The paper defines the semantics and defects within a partial order theoretic framework. We introduce a UML 2.0 profile that captures various domain specific communication semantics, which can be used to determine the relevance of detected pathologies when different underlying implementation assumptions are made. The paper also discusses how to automatically resolve pathologies by using this profile to adapt the communication architecture in the requirements model.
1-59593-014-0
50-59
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
Baker, Paul
1685f8ed-e86b-4828-9505-2c22a02c54d6
King, David
fbf9579c-6de4-4169-9184-74134a34c5e2
Thomson, Robert
7e5ed66c-67df-4734-b34c-f1b1d07f635b
Burton, Simon
037e7373-a9e6-415e-a614-fd15ae2e53c6
Bristow, Paul
ba1de211-ea56-41df-82a9-95874190d549
2005
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
Baker, Paul
1685f8ed-e86b-4828-9505-2c22a02c54d6
King, David
fbf9579c-6de4-4169-9184-74134a34c5e2
Thomson, Robert
7e5ed66c-67df-4734-b34c-f1b1d07f635b
Burton, Simon
037e7373-a9e6-415e-a614-fd15ae2e53c6
Bristow, Paul
ba1de211-ea56-41df-82a9-95874190d549
Mitchell, Bill, Baker, Paul, King, David, Thomson, Robert, Burton, Simon and Bristow, Paul
(2005)
Detecting and resolving semantic pathologies in UML sequence diagrams.
Proceedings of the 10th European Software Engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of Software Engineering.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Scenario based requirements specifications are the industry norm for defining communicating systems. These scenarios are often captured in the form of UML/MSC sequence diagrams. Errors are often introduced at this stage of the development process, which are costly to resolve if they are not detected early. This paper is concerned with the automatic detection and resolution of semantic errors that can occur in such scenarios.The paper discusses a semantic interpretation of scenario-based requirements and various types of defects (or pathologies) that can be detected. The paper defines the semantics and defects within a partial order theoretic framework. We introduce a UML 2.0 profile that captures various domain specific communication semantics, which can be used to determine the relevance of detected pathologies when different underlying implementation assumptions are made. The paper also discusses how to automatically resolve pathologies by using this profile to adapt the communication architecture in the requirements model.
Text
acm_fse2005.pdf
- Other
More information
Published date: 2005
Venue - Dates:
Proceedings of the 10th European Software Engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of Software Engineering, 2005-01-01
Organisations:
Electronics & Computer Science, IT Innovation
Identifiers
Local EPrints ID: 266091
URI: http://eprints.soton.ac.uk/id/eprint/266091
ISBN: 1-59593-014-0
PURE UUID: 2c6cf365-bc73-458e-b197-5003c798bb6b
Catalogue record
Date deposited: 09 Jul 2008 21:45
Last modified: 14 Mar 2024 08:20
Export record
Contributors
Author:
Bill Mitchell
Author:
Paul Baker
Author:
David King
Author:
Robert Thomson
Author:
Simon Burton
Author:
Paul Bristow
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics