Existential live sequence charts revisited
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 exi...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , |
| Formato: | Acta de conferencia Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
2008
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 06359caa a22008537a 4500 | ||
|---|---|---|---|
| 001 | PAPER-5495 | ||
| 003 | AR-BaUEN | ||
| 005 | 20251211114106.0 | ||
| 008 | 190411s2008 xx ||||fo|||| 10| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-57349101759 | |
| 030 | |a PCSED | ||
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 100 | 1 | |a Sibay, G. | |
| 245 | 1 | 0 | |a Existential live sequence charts revisited |
| 260 | |c 2008 | ||
| 270 | 1 | 0 | |m Sibay, G.; FCEN, U. of Buenos Aires, Buenos Aires, Argentina; email: gsibay@dc.uba.ar |
| 504 | |a 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 | ||
| 504 | |a 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 | ||
| 504 | |a 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 | ||
| 504 | |a 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 | ||
| 504 | |a Harel, D., Marelly, R., (2003) Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, , Springer | ||
| 504 | |a 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 | ||
| 504 | |a 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 | ||
| 504 | |a Larsen, K., Thomsen, B., A Modal Process Logic (1988) Logic in Computer Science, pp. 203-210 | ||
| 504 | |a (1994) A classical mind: Essays in honour of C. A. R. Hoare, , A. W. Roscoe, editor, Prentice Hall International (UK) Ltd, Hertfordshire, UK, UK | ||
| 504 | |a Sengupta, B., Cleaveland, R., Triggered message sequence charts (2006) IEEE TSE, 32 (8), pp. 587-607 | ||
| 504 | |a Uchitel, S., Brunet, G., Chechik, M., Behaviour model synthesis from properties and scenarios (2007) International Conference on Software Engineering, pp. 34-43 | ||
| 504 | |a Uchitel, S., Chechik, M., Merging Partial Behavioural Models (2004) Foundations of Software, Engineering, pp. 43-52 | ||
| 504 | |a Uchitel, S., Kramer, J., Magee, J., Incremental Elaboration of Scenario-Based Specifications and Behaviour Models using Implied Scenarios (2004) ACM TOSEM, 13 (1) | ||
| 504 | |a Zachos, K., Maiden, N., Tosar, A., Rich-media scenarios for discovering requirements (2005) IEEE Software, 22 (5), pp. 89-97 | ||
| 504 | |a 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 | ||
| 506 | |2 openaire |e Política editorial | ||
| 520 | 3 | |a 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. |l eng | |
| 593 | |a FCEN, U. of Buenos Aires, Buenos Aires, Argentina | ||
| 593 | |a Imperial College London, FCEN, U. of Buenos Aires, Buenos Aires, Argentina | ||
| 690 | 1 | 0 | |a MTS |
| 690 | 1 | 0 | |a PARTIAL BEHAVIOUR MODELS |
| 690 | 1 | 0 | |a SCENARIOS |
| 690 | 1 | 0 | |a SYNTHESIS |
| 690 | 1 | 0 | |a CASE-BASED APPROACHES |
| 690 | 1 | 0 | |a LANGUAGE SEMANTICS |
| 690 | 1 | 0 | |a LIVE SEQUENCE CHARTS |
| 690 | 1 | 0 | |a MTS |
| 690 | 1 | 0 | |a PARTIAL BEHAVIOUR MODELS |
| 690 | 1 | 0 | |a SCENARIO-BASED SPECIFICATIONS |
| 690 | 1 | 0 | |a SCENARIOS |
| 690 | 1 | 0 | |a SYNTHESIS |
| 690 | 1 | 0 | |a SYNTHESIS ALGORITHMS |
| 690 | 1 | 0 | |a BEHAVIOUR MODELS |
| 690 | 1 | 0 | |a CASE-BASED APPROACH |
| 690 | 1 | 0 | |a LIVE SEQUENCE CHART |
| 690 | 1 | 0 | |a MODAL TRANSITION SYSTEMS |
| 690 | 1 | 0 | |a FLOWCHARTING |
| 690 | 1 | 0 | |a GRAPHIC METHODS |
| 690 | 1 | 0 | |a INFORMATION THEORY |
| 690 | 1 | 0 | |a SEMANTICS |
| 690 | 1 | 0 | |a SOFTWARE ENGINEERING |
| 690 | 1 | 0 | |a SPECIFICATION LANGUAGES |
| 690 | 1 | 0 | |a SPECIFICATIONS |
| 690 | 1 | 0 | |a COMPUTER SOFTWARE |
| 690 | 1 | 0 | |a LINGUISTICS |
| 690 | 1 | 0 | |a LINGUISTICS |
| 690 | 1 | 0 | |a MATHEMATICAL MODELS |
| 700 | 1 | |a Uchitel, Sebastián | |
| 700 | 1 | |a Braberman, V. | |
| 711 | 2 | |c Leipzig |d 10 May 2008 through 18 May 2008 |g Código de la conferencia: 74416 | |
| 773 | 0 | |d 2008 |h pp. 41-50 |p Proc Int Conf Software Eng |n Proceedings - International Conference on Software Engineering |x 02705257 |z 9781605580791 |t 30th International Conference on Software Engineering 2008, ICSE'08 | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-57349101759&doi=10.1145%2f1368088.1368095&partnerID=40&md5=c2d201af056f2579dee54052a20d9a4c |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1145/1368088.1368095 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_02705257_v_n_p41_Sibay |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p41_Sibay |y Registro en la Biblioteca Digital |
| 961 | |a paper_02705257_v_n_p41_Sibay |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/conferenceObject |a info:ar-repo/semantics/documento de conferencia |b info:eu-repo/semantics/publishedVersion | ||
| 999 | |c 66448 | ||