dc.contributor.author | Lara Jaramillo, Juan de | |
dc.contributor.author | Guerra Sánchez, Esther | |
dc.contributor.author | Boronat, Artur | |
dc.contributor.author | Heckel, Reiko | |
dc.contributor.author | Torrini, Paolo | |
dc.contributor.other | UAM. Departamento de Ingeniería Informática | es_ES |
dc.date.accessioned | 2015-02-26T14:55:55Z | |
dc.date.available | 2015-02-26T14:55:55Z | |
dc.date.issued | 2010 | |
dc.identifier.citation | Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings. Lecture Notes in Computer Science, Volumen 6372. Springer, 2010. 266-281 | en_US |
dc.identifier.isbn | 978-3-642-15927-5 (print) | en_US |
dc.identifier.isbn | 978-3-642-15928-2 (online) | en_US |
dc.identifier.issn | 0302-9743 (print) | en_US |
dc.identifier.issn | 1611-3349 (online) | en_US |
dc.identifier.uri | http://hdl.handle.net/10486/664096 | |
dc.description | The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-15928-2_18 | en_US |
dc.description | Proceedings of 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010 | en_US |
dc.description.abstract | Graph transformation is being increasingly used to express the semantics of domain specific visual languages since its graphical nature makes rules intuitive. However, many application domains require an explicit handling of time in order to represent accurately the behaviour of the real system and to obtain useful simulation metrics.
Inspired by the vast knowledge and experience accumulated by the discrete event simulation community, we propose a novel way of adding explicit time to graph transformation rules. In particular, we take the event scheduling discrete simulation world view and incorporate to the rules the ability of scheduling the occurrence of other rules in the future. Hence, our work combines standard, efficient techniques for discrete event simulation (based on the handling of a future event set) and the intuitive, visual nature of graph transformation. Moreover, we show how our formalism can be used to give semantics to other timed approaches. | en_US |
dc.description.sponsorship | Work partially sponsored by the Spanish Ministry of Science and Innovation, under project “METEORIC” (TIN2008-02081) and mobility grants JC2009-00015 and PR2009-0019, as well as by the R&D programme of the Community of Madrid, project “e-Madrid” (S2009/TIC-1650). We are grateful to the anonymous reviewers, which helped in improving the paper | en_US |
dc.format.extent | 17 pág. | es_ES |
dc.format.mimetype | application/pdf | en |
dc.language.iso | eng | en |
dc.publisher | Springer Berlin Heidelberg | en_US |
dc.relation.ispartof | Lecture Notes in Computer Science | en_US |
dc.rights | © Springer-Verlag Berlin Heidelberg 2010 | en_US |
dc.subject.other | Discrete Mathematics in Computer Science | en_US |
dc.subject.other | Software Engineering | en_US |
dc.subject.other | Data Structures | en_US |
dc.subject.other | Logics and Meanings of Programs | en_US |
dc.subject.other | Algorithm Analysis and Problem Complexity | en_US |
dc.subject.other | Mathematical Logic | en_US |
dc.subject.other | Formal Languages | en_US |
dc.title | Graph transformation for domain-specific discrete event time simulation | en_US |
dc.type | conferenceObject | en |
dc.type | bookPart | en |
dc.subject.eciencia | Informática | es_ES |
dc.relation.publisherversion | http://dx.doi.org/10.1007/978-3-642-15928-2_18 | |
dc.identifier.doi | 10.1007/978-3-642-15928-2_18 | |
dc.identifier.publicationfirstpage | 266 | |
dc.identifier.publicationlastpage | 281 | |
dc.identifier.publicationvolume | 6372 | |
dc.relation.eventdate | September 27–October 2, 2010 | en_US |
dc.relation.eventnumber | 5 | |
dc.relation.eventplace | Enschede (The Netherlands) | en_US |
dc.relation.eventtitle | 5th International Conferences on Graph Transformation, ICGT 2010 | en_US |
dc.relation.projectID | Comunidad de Madrid. S2009/TIC-1650/E-MADRID | es_ES |
dc.type.version | info:eu-repo/semantics/acceptedVersion | en |
dc.contributor.group | Herramientas Interactivas Avanzadas (ING EPS-003) | es_ES |
dc.rights.accessRights | openAccess | en |
dc.authorUAM | Lara Jaramillo, Juan De (259157) | |
dc.facultadUAM | Escuela Politécnica Superior | |