Behavioral refinements of UML-statecharts
In [SV08] we have proposed a formalism for specifying the behavior of software product lines using UML-statecharts. Using an order relation among statecharts which represents when a statechart has a more complex structure than another one, we de ne how to combine diferent extensions of the same stat...
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Այլ հեղինակներ: | |
| Ձևաչափ: | report |
| Հրապարակվել է: |
2010
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | http://hdl.handle.net/20.500.12008/3453 |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| _version_ | 1868890181239570432 |
|---|---|
| author | Szasz, Nora |
| author2 | Vilanova, Pedro |
| author2_role | author |
| author_browse | Szasz, Nora Vilanova, Pedro |
| author_facet | Szasz, Nora Vilanova, Pedro |
| author_role | author |
| collection | COLIBRI |
| dc.creator.none.fl_str_mv | Szasz, Nora Vilanova, Pedro |
| dc.date.none.fl_str_mv | 2010 2014-12-02T16:06:16Z 2014-12-02T16:06:16Z 20141202 |
| dc.format.none.fl_str_mv | 26 p. application/pdf |
| dc.identifier.none.fl_str_mv | SZASZ, N., VILANOVA, P. "Behavioral refinements of UML-statecharts". Reportes Técnicos 10-13. UR. FI – INCO, 2010. 0797-6410 http://hdl.handle.net/20.500.12008/3453 |
| dc.language.none.fl_str_mv | in |
| dc.publisher.none.fl_str_mv | UR. FI – INCO. |
| dc.relation.none.fl_str_mv | Reportes Técnicos 10-13 |
| dc.rights.none.fl_str_mv | info:eu-repo/semantics/openAccess Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| dc.source.none.fl_str_mv | reponame:COLIBRI instname:Universidad de la República instacron:Universidad de la República |
| dc.subject.none.fl_str_mv | Statecharts UML Formal semantics Software product lines Variability Behavioral refinement |
| dc.title.none.fl_str_mv | Behavioral refinements of UML-statecharts |
| dc.type.none.fl_str_mv | Reporte técnico info:eu-repo/semantics/report info:eu-repo/semantics/publishedVersion |
| description | In [SV08] we have proposed a formalism for specifying the behavior of software product lines using UML-statecharts. Using an order relation among statecharts which represents when a statechart has a more complex structure than another one, we de ne how to combine diferent extensions of the same statechart into an integral new one. In this paper, we prove that the proposed extension constitutes a behavioral re nement. That is, whenever we allow the possibility of extending a given statechart, the old behaviour is preserved and new behavior may be added |
| eu_rights_str_mv | openAccess |
| format | report |
| id | anni_bf75d3faa9964b19a4d206fe8f1c8ad9 |
| identifier_str_mv | SZASZ, N., VILANOVA, P. "Behavioral refinements of UML-statecharts". Reportes Técnicos 10-13. UR. FI – INCO, 2010. 0797-6410 |
| instacron_str | Universidad de la República |
| institution | Universidad de la República |
| instname_str | Universidad de la República |
| language_invalid_str_mv | in |
| network_acronym_str | anni |
| network_name_str | oai-lr-anni |
| oai_identifier_str | oai:colibri.udelar.edu.uy:20.500.12008/3453 |
| publishDate | 2010 |
| publishDateSort | 2010 |
| publisher.none.fl_str_mv | UR. FI – INCO. |
| reponame_str | COLIBRI |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| rights_invalid_str_mv | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| spelling | Behavioral refinements of UML-statechartsSzasz, NoraVilanova, PedroStatechartsUMLFormal semanticsSoftware product linesVariabilityBehavioral refinementIn [SV08] we have proposed a formalism for specifying the behavior of software product lines using UML-statecharts. Using an order relation among statecharts which represents when a statechart has a more complex structure than another one, we de ne how to combine diferent extensions of the same statechart into an integral new one. In this paper, we prove that the proposed extension constitutes a behavioral re nement. That is, whenever we allow the possibility of extending a given statechart, the old behaviour is preserved and new behavior may be addedEn [SV08] proponemos un formalismo para especificar el comportamiento de líneas de productos de software utilizando UML-statecharts. Mediante una relación de orden entre statecharts que representa cuando un statechart tiene una estructura más compleja que otro, se define la forma de combinar diferentes extensiones de un mismo statechart en uno nuevo. En este trabajo probamos que la extensión propuesta constituye un refinamiento de comportamiento. Es decir, cada vez que se extiende un statechart, se preserva el comportamiento anterior, con la posibilidad de añadir nuevo comportamiento.UR. FI – INCO.2014-12-02T16:06:16Z2014-12-02T16:06:16Z201020141202Reporte técnicoinfo:eu-repo/semantics/reportinfo:eu-repo/semantics/publishedVersion26 p.application/pdfSZASZ, N., VILANOVA, P. "Behavioral refinements of UML-statecharts". Reportes Técnicos 10-13. UR. FI – INCO, 2010.0797-6410http://hdl.handle.net/20.500.12008/3453reponame:COLIBRIinstname:Universidad de la Repúblicainstacron:Universidad de la RepúblicainReportes Técnicos 10-13Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014)info:eu-repo/semantics/openAccessLicencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)oai:colibri.udelar.edu.uy:20.500.12008/34532026-04-14T10:16:11Z |
| spellingShingle | Behavioral refinements of UML-statecharts Szasz, Nora Statecharts UML Formal semantics Software product lines Variability Behavioral refinement |
| status_str | publishedVersion |
| title | Behavioral refinements of UML-statecharts |
| title_full | Behavioral refinements of UML-statecharts |
| title_fullStr | Behavioral refinements of UML-statecharts |
| title_full_unstemmed | Behavioral refinements of UML-statecharts |
| title_short | Behavioral refinements of UML-statecharts |
| title_sort | Behavioral refinements of UML-statecharts |
| topic | Statecharts UML Formal semantics Software product lines Variability Behavioral refinement |
| url | http://hdl.handle.net/20.500.12008/3453 |