skip to main content
10.1145/1368088.1368095acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
research-article

Existential live sequence charts revisited

Published: 10 May 2008 Publication History

Abstract

Scenario-based specifications are a popular means for describing intended system behaviour. We aim to facilitate early analysis of system behaviour and the development of behaviour models in conjunction with scenarios.
In this paper we define a novel scenario-based specification language with an existential semantics and that supports conditional specification of behaviour in the form of prechart and main chart. The language semantics is consistent with existing informal scenario-based and use-case based approaches to requirements engineering. The language provides a good fit with universal live sequence charts as standard existential live sequence charts do not adequately support conditional scenarios.
In addition, we define a novel synthesis algorithm that, rather than building arbitrarily one of the many behaviour models that satisfy a scenario, constructs a Modal Transition System (MTS) which characterizes all behaviour models that conform to the scenario.

References

[1]
Y. Bontemps, P. Heymans, and P.-Y. Schobbens. From live sequence charts to state machines and back: A guided tour. IEEE Transactions on Software Engineering, 31(12):999--1014, 2005.
[2]
Y. Bontemps, P.-Y. Schobbens, and C. Löding. Synthesis of open reactive systems from scenario-based specifications. Fundam. Inform., 62(2):139--169, 2004.
[3]
W. Damm and D. Harel. Lscs: Breathing life into message sequence charts. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, FMOODS, volume 139 of IFIP Conference Proceedings. Kluwer, 1999.
[4]
D. Fischbein and S. Uchitel. On Consistency and Merge of MTS. In Submitted to International Workshop on Living with Uncertainty, ASE'07, 2007.
[5]
D. Harel and H. Kugler. Synthesizing state-based object systems from lsc specifications. Int. J. Found. Comput. Sci., 13(1):5--51, 2002.
[6]
D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, 2003.
[7]
ITU. Recommendation z.120: Message sequence charts. ITU, 2000.
[8]
J. Kramer, J. Magee, and M. Sloman. CONIC: an Integrated Approach to Distributed Computer Control Systems. IEE Proceedings, 130(1):1--10, 1983.
[9]
I. Kruger. Distributed system design with message sequence charts. PhD thesis, Technical University of Munich, 2000.
[10]
H. Kugler, M. J. Stern, and E. J. A. Hubbard. Testing scenario-based models. In M. B. Dwyer and A. Lopes, editors, FASE, volume 4422 of Lecture Notes in Computer Science, pages 306--320. Springer, 2007.
[11]
K. Larsen and B. Thomsen. A Modal Process Logic. In LICS'88, pages 203--210, 1988.
[12]
A. W. Roscoe, editor. A classical mind: essays in honour of C. A. R. Hoare. Prentice Hall International (UK) Ltd., Hertfordshire, UK, UK, 1994.
[13]
B. Sengupta and R. Cleaveland. Triggered message sequence charts. IEEE Transactions on Software Engineering, 32(8):587--607, 2006.
[14]
S. Uchitel, G. Brunet, and M. Chechik. Behaviour model synthesis from properties and scenarios. icse, 00:34--43, 2007.
[15]
S. Uchitel and M. Chechik. Merging Partial Behavioural Models. In FSE'04, pages 43--52, 2004.
[16]
S. Uchitel, J. Kramer, and J. Magee. Incremental Elaboration of Scenario-Based Specifications and Behaviour Models using Implied Scenarios. ACM TOSEM, 13(1), 2004.
[17]
K. Zachos, N. Maiden, and A. Tosar. Rich-media scenarios for discovering requirements. IEEE Software, 22(5):89--97, 2005.
[18]
T. Ziadi, L. Helouet, and J.-M. Jezequel. Revisiting statechart synthesis with an algebraic approach. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering, pages 242--251, Washington, DC, USA, 2004. IEEE Computer Society.

Cited By

View all
  • (2023)Triggers for Reactive Synthesis Specifications2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)10.1109/ICSE48619.2023.00070(729-741)Online publication date: May-2023
  • (2019)Test-driven scenario specification of automotive software componentsProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion10.1109/MODELS-C.2019.00009(12-17)Online publication date: 15-Sep-2019
  • (2019)GR(1)*: GR(1) Specifications Extended with Existential GuaranteesFormal Methods – The Next 30 Years10.1007/978-3-030-30942-8_7(83-100)Online publication date: 23-Sep-2019
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ICSE '08: Proceedings of the 30th international conference on Software engineering
May 2008
558 pages
ISBN:9781605580791
DOI:10.1145/1368088
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 May 2008

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. mts
  2. partial behaviour models
  3. scenarios
  4. synthesis

Qualifiers

  • Research-article

Conference

ICSE '08
Sponsor:

Acceptance Rates

ICSE '08 Paper Acceptance Rate 56 of 370 submissions, 15%;
Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)Triggers for Reactive Synthesis Specifications2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)10.1109/ICSE48619.2023.00070(729-741)Online publication date: May-2023
  • (2019)Test-driven scenario specification of automotive software componentsProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion10.1109/MODELS-C.2019.00009(12-17)Online publication date: 15-Sep-2019
  • (2019)GR(1)*: GR(1) Specifications Extended with Existential GuaranteesFormal Methods – The Next 30 Years10.1007/978-3-030-30942-8_7(83-100)Online publication date: 23-Sep-2019
  • (2017)Declaratively building behavior by means of scenario clausesRequirements Engineering10.1007/s00766-015-0242-222:2(239-274)Online publication date: 1-Jun-2017
  • (2015)Deriving behavioural models of component-based software systems from requirements specifications2015 International Conference on Computing, Control, Networking, Electronics and Embedded Systems Engineering (ICCNEEE)10.1109/ICCNEEE.2015.7381373(260-265)Online publication date: Sep-2015
  • (2014)Required behavior of sequence diagramsACM Transactions on Software Engineering and Methodology10.1145/252310823:2(1-28)Online publication date: 4-Apr-2014
  • (2014)Component-Aware Triggered ScenariosProceedings of the 2014 IEEE/IFIP Conference on Software Architecture10.1109/WICSA.2014.23(129-138)Online publication date: 7-Apr-2014
  • (2014)Modeling and calculation of scenarios reliability in component-based software systems2014 8th. Malaysian Software Engineering Conference (MySEC)10.1109/MySec.2014.6986007(160-165)Online publication date: Sep-2014
  • (2014)Semantically Configurable Analysis of Scenario-Based SpecificationsProceedings of the 17th International Conference on Fundamental Approaches to Software Engineering - Volume 841110.1007/978-3-642-54804-8_13(185-199)Online publication date: 5-Apr-2014
  • (2013)Counter play-out: executing unrealizable scenario-based specificationsProceedings of the 2013 International Conference on Software Engineering10.5555/2486788.2486821(242-251)Online publication date: 18-May-2013
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media