loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Bill Mitchell 1 ; Robert Thomson 2 and Paul Bristow 2

Affiliations: 1 University of Surrey, United Kingdom ; 2 Motorola UK Research Lab, United Kingdom

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Modeling of Distributed Systems

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 52.207.218.95

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Mitchell, B.; Thomson, R. and Bristow, P. (2004). Model Synthesis from Imprecise Specifications. In Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems (ICEIS 2004) - VVEIS; ISBN 972-8865-03-1, SciTePress, pages 20-25. DOI: 10.5220/0002669500200025

@conference{vveis04,
author={Bill Mitchell. and Robert Thomson. and Paul Bristow.},
title={Model Synthesis from Imprecise Specifications},
booktitle={Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems (ICEIS 2004) - VVEIS},
year={2004},
pages={20-25},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002669500200025},
isbn={972-8865-03-1},
}

TY - CONF

JO - Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems (ICEIS 2004) - VVEIS
TI - Model Synthesis from Imprecise Specifications
SN - 972-8865-03-1
AU - Mitchell, B.
AU - Thomson, R.
AU - Bristow, P.
PY - 2004
SP - 20
EP - 25
DO - 10.5220/0002669500200025
PB - SciTePress