Model Synthesis from Imprecise Specifications

Bill Mitchell, Robert Thomson, Paul Bristow

2004

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.

References

  1. R. Alur, K. Etessami, M. Yannakakis, Inference of Message Sequence Charts, Proceedings 22nd International Conference on Software Engineering, pp 304-313, 2000.
  2. P. Baker, P. Bristow, C. Jervis, D. King, B. Mitchell, Automatic Generation of Conformance Tests From Message Sequence Charts, Proceedings of 3rd SAM Workshop 2002, Telecommunications and Beyond: The Broader Applicability of MSC and SDL, pp 170-198, LNCS 2599.
  3. Yves Bontemps, Pierre-Yves Schobbens, Synthesis of Open Reactive Systems from Scenario-Based Speci cations, Third International Conference on Application of Concurrency to System Design (ACSD'03)
  4. Werner Dam, David Harel, LSCs: Breathing life into message sequence charts, Formal Methods in System Design, 19(1):45-80, 2001.
  5. Johann Schumann, Jon Whittle, Generating Statechart Designs From Scenarios, Proceedings of the 22nd international conference on on Software engineering, 2000.
  6. Sebastian Uchitel, Jeff Kramer, Jeff Magee, Synthesis of Behavioral Models from Scenarios, IEEE Transactions on Software Engineering, vol. 29, no. 2, February 2003
  7. Z.120 (11/99)ITU-T Recommendation - Message Sequence Chart (MSC)
Download


Paper Citation


in Harvard Style

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 - Volume 1: VVEIS, (ICEIS 2004) ISBN 972-8865-03-1, pages 20-25. DOI: 10.5220/0002669500200025


in Bibtex Style

@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 - Volume 1: VVEIS, (ICEIS 2004)},
year={2004},
pages={20-25},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002669500200025},
isbn={972-8865-03-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004)
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