Model Synthesis from Imprecise Specifications
Model Synthesis from Imprecise Specifications
The paper defines a formal semantics for MSC scenarios that is a weakening of the state semantics from [6], whilst permitting some additional semantics in the spirit of Live Sequence Charts (LSCs) [4]. The semantics here differs from that of LSCs in that mandatory behaviour is defined dynamically within the domain of possible scenarios. This permits a semantics which uses domain knowledge to define when compositions of imprecise requirements are valid. This has been implemented by Motorola UK Research Labs, and is being used in a pilot study for a new telecommunications mobile 3G handset.
972-8865-03-1
20-25
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
Thomson, Robert
7e5ed66c-67df-4734-b34c-f1b1d07f635b
Bristow, Paul
ba1de211-ea56-41df-82a9-95874190d549
2004
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
Thomson, Robert
7e5ed66c-67df-4734-b34c-f1b1d07f635b
Bristow, Paul
ba1de211-ea56-41df-82a9-95874190d549
Mitchell, Bill, Thomson, Robert and Bristow, Paul
(2004)
Model Synthesis from Imprecise Specifications.
In,
VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004.
INSTICC Press, .
Record type:
Book Section
Abstract
The paper defines a formal semantics for MSC scenarios that is a weakening of the state semantics from [6], whilst permitting some additional semantics in the spirit of Live Sequence Charts (LSCs) [4]. The semantics here differs from that of LSCs in that mandatory behaviour is defined dynamically within the domain of possible scenarios. This permits a semantics which uses domain knowledge to define when compositions of imprecise requirements are valid. This has been implemented by Motorola UK Research Labs, and is being used in a pilot study for a new telecommunications mobile 3G handset.
Text
mitchell_vveis_lncs.pdf
- Version of Record
Available under License Other.
More information
Published date: 2004
Organisations:
Electronics & Computer Science, IT Innovation
Identifiers
Local EPrints ID: 267438
URI: http://eprints.soton.ac.uk/id/eprint/267438
ISBN: 972-8865-03-1
PURE UUID: 88fb8e70-2c03-46eb-9d06-fb787910d35d
Catalogue record
Date deposited: 01 Jun 2009 10:30
Last modified: 14 Mar 2024 08:50
Export record
Contributors
Author:
Bill Mitchell
Author:
Robert Thomson
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