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. Copyright 2008 ACM.
Registro:
Documento: |
Conferencia
|
Título: | Existential live sequence charts revisited |
Autor: | Sibay, G.; Uchitel, S.; Braberman, V. |
Ciudad: | Leipzig |
Filiación: | FCEN, U. of Buenos Aires, Buenos Aires, Argentina Imperial College London, FCEN, U. of Buenos Aires, Buenos Aires, Argentina
|
Palabras clave: | MTS; Partial behaviour models; Scenarios; Synthesis; Case-based approaches; Language semantics; Live sequence charts; MTS; Partial behaviour models; Scenario-based specifications; Scenarios; Synthesis; Synthesis algorithms; Behaviour models; Case-based approach; Live sequence chart; Modal Transition Systems; Flowcharting; Graphic methods; Information theory; Semantics; Software engineering; Specification languages; Specifications; Computer software; Linguistics; Linguistics; Mathematical models |
Año: | 2008
|
Página de inicio: | 41
|
Página de fin: | 50
|
DOI: |
http://dx.doi.org/10.1145/1368088.1368095 |
Título revista: | 30th International Conference on Software Engineering 2008, ICSE'08
|
Título revista abreviado: | Proc Int Conf Software Eng
|
ISSN: | 02705257
|
CODEN: | PCSED
|
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p41_Sibay |
Referencias:
- Bontemps, Y., Heymans, P., Schobbens, P.-Y., From live sequence charts to state machines and back: A guided tour (2005) IEEE TSE, 31 (12), pp. 999-1014
- Bontemps, Y., Schobbens, P.-Y., Löding, C., Synthesis of open reactive systems from scenario-based specifications (2004) Fundam. Inform, 62 (2), pp. 139-169
- W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. In FMOODS, 139 of IFIP Conference Proceedings, 1999; Fischbein, D., Uchitel, S., On Consistency and Merge of MTS (2007) International Workshop on Living with Uncertainty, ASE'07
- Harel, D., Kugler, H., Synthesizing state-based object systems from LSC specifications (2002) Int. J. on Foundations on Computer Science, 13 (1), pp. 5-51
- Harel, D., Marelly, R., (2003) Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, , Springer
- ITU. Recommendation z.120: Message sequence charts. ITU, 2000; Kramer, J., Magee, J., Sloman, M., CONIC: An Integrated Approach to Distributed Computer Control Systems (1983) IEE Proceedings, 130 (1), pp. 1-10
- Kruger, I., Distributed system design with message sequence charts (2000), PhD thesis, Technical University of Munich; Kugler, H., Stern, M.J., Hubbard, E.J.A., Testing scenario-based models (2007) LNCS, 4422, pp. 306-320. , Fundamental Approaches to Software Engineering, of, Springer
- Larsen, K., Thomsen, B., A Modal Process Logic (1988) Logic in Computer Science, pp. 203-210
- (1994) A classical mind: Essays in honour of C. A. R. Hoare, , A. W. Roscoe, editor, Prentice Hall International (UK) Ltd, Hertfordshire, UK, UK
- Sengupta, B., Cleaveland, R., Triggered message sequence charts (2006) IEEE TSE, 32 (8), pp. 587-607
- Uchitel, S., Brunet, G., Chechik, M., Behaviour model synthesis from properties and scenarios (2007) International Conference on Software Engineering, pp. 34-43
- Uchitel, S., Chechik, M., Merging Partial Behavioural Models (2004) Foundations of Software, Engineering, pp. 43-52
- Uchitel, S., Kramer, J., Magee, J., Incremental Elaboration of Scenario-Based Specifications and Behaviour Models using Implied Scenarios (2004) ACM TOSEM, 13 (1)
- Zachos, K., Maiden, N., Tosar, A., Rich-media scenarios for discovering requirements (2005) IEEE Software, 22 (5), pp. 89-97
- Ziadi, T., Helouet, L., Jezequel, J.-M., Revisiting statechart synthesis with an algebraic approach (2004) International Conference on Software Engineering, pp. 242-251A4 - ACM SIGSOFT; IEEE CSE
Citas:
---------- APA ----------
Sibay, G., Uchitel, S. & Braberman, V.
(2008)
. Existential live sequence charts revisited. 30th International Conference on Software Engineering 2008, ICSE'08, 41-50.
http://dx.doi.org/10.1145/1368088.1368095---------- CHICAGO ----------
Sibay, G., Uchitel, S., Braberman, V.
"Existential live sequence charts revisited"
. 30th International Conference on Software Engineering 2008, ICSE'08
(2008) : 41-50.
http://dx.doi.org/10.1145/1368088.1368095---------- MLA ----------
Sibay, G., Uchitel, S., Braberman, V.
"Existential live sequence charts revisited"
. 30th International Conference on Software Engineering 2008, ICSE'08, 2008, pp. 41-50.
http://dx.doi.org/10.1145/1368088.1368095---------- VANCOUVER ----------
Sibay, G., Uchitel, S., Braberman, V. Existential live sequence charts revisited. Proc Int Conf Software Eng. 2008:41-50.
http://dx.doi.org/10.1145/1368088.1368095