Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact


Show simple item record

dc.date.accessioned 2012-10-03T12:33:26Z
dc.date.available 2012-10-03T12:33:26Z
dc.date.issued 2008
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/21953
dc.description.abstract At present the business processes have temporary requirements within their specifications. Logistics, e-commerce, are examples of these, among others. The time involved in business processes is important regarding the interaction of the actors. The sound of the technology involved in building these processes plays a key role in assessing the risk of implementation. The possibility of having technologies with elements for such specifications is vital to accurately model of reality. Workflow (Wf) is the technology of wide acceptance and recognition that can improve business processes. The Wf architecture has the Interface 1, which lets you define process through its processes definition language (PDL), but has no elements to express temporary restrictions of this kind. Our works present a theoretical framework in which there is an extension of the grammar of the WPDL to allow the specification of time variable. It also establishes a correspondence between the PD and its underlying Petri Net with Clocks (PNwC) preserving its semantic. The correspondence is specified by means of the RAISE Specification Language (RSL). The correlation between these formalisms lets you define business process with temporary restrictions validated. en
dc.language en es
dc.subject Workflow management es
dc.subject Business es
dc.subject Petri nets es
dc.subject Languages es
dc.title Temporal validation of extended workflow processes by means Petri Nets with Clocks en
dc.type Objeto de conferencia es
sedici.creator.person Riesco, Daniel Eduardo es
sedici.creator.person Vilallonga, Gabriel Domingo es
sedici.creator.person Montejano, Germán Antonio es
sedici.creator.person Uzal, Roberto es
sedici.creator.person Welch, Daniel es
sedici.creator.person Gallina, Sergio Hilario es
sedici.description.note Workshop de Ingeniería de Software y Bases de Datos (WISBD) es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2008-10
sedici.relation.event XIV Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es

Download Files

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)