Loading...
Please wait, while we are loading the content...
Similar Documents
OPENET4WF: marco de conocimiento para el modelado de flujos de trabajo formalizados mediante redes de Petri
| Content Provider | Semantic Scholar |
|---|---|
| Author | Aguiar, Juan Carlos Vidal |
| Copyright Year | 2011 |
| Abstract | En esta tesis doctoral proponemos un nuevo marco para el diseno y ejecucion de flujos de trabajo modelados desde la perspectiva del conocimiento. La tesis doctoral tiene tres objetivos claramente diferenciados. Por una parte, la definicion de una arquitectura conceptual para dar soporte al modelado de flujos de trabajo (WFs) con el objetivo de facilitar la reutilizacion de su conocimiento y permitir razonar semanticamente acerca de sus caracteristicas. Este objetivo se ha alcanzando adaptando la arquitectura de UPML, pensada para el modelado de sistemas basados en conocimiento (SBCs), a las caracteristicas diferenciadoras de los WFs. Para ello fue necesario extender UPML con dos nuevas dimensiones para modelar adecuadamente (i) la coordinacion entre las distintas tareas que componen el WF y (ii) la coordinacion entre los agentes y las tareas a realizar. En esta tesis doctoral tambien integramos dentro del metamodelo un modelo de representacion de WFs con alta capacidad expresiva y legibilidad para asi facilitar la definicion de las estructuras de control complejas (las cuales no se pueden modelar adecuadamente con los mecanismos tradicionales de modelado de SBC). Para ello se desarrollo una ontologia de redes de Petri, que sigue los estandares ISO disponibles hasta la fecha, y que nos permite representar redes de Petri de alto nivel y jerarquicas, facilitando el diseno de los modelos. Ademas, nos proporcionan mecanismos de analisis a traves de los cuales es posible conocer las propiedades de la red, las dependencias entre las transiciones o, por ejemplo, si es posible alcanzar un determinado estado. El segundo objetivo, a cargo de la infraestructura tecnologica de OPENET4WF, es dar soporte a la definicion de los distintos componentes del WF asi como a su ejecucion. El nucleo de esta arquitectura software es un motor de ejecucion de redes de HLPNs construido sobre un razonador basado en logica de marcos y tiene la ventaja de ser facilmente escalable: para anadir una nueva capa por encima del metamodelo de WFs es suficiente con crear su base de conocimiento, sus reglas y su interfaz de acceso. Finalmente, el tercer objetivo ha sido la validacion de nuestra propuesta de modelado mediante WFs con distintas caracteristicas y en distintos dominios de aplicacion. La validacion del metamodelo ha sido una de las prioridades de esta tesis doctoral, y ha tenido por objetivo verificar la aplicabilidad y generalidad de nuestra propuesta de modelado de WFs. Esta validacion se realizo a traves de tres aplicaciones: ? Los desarrollos en el dominio de la industria del mueble permitieron comprobar la capacidad del metamodelo para representar conocimiento experto, tipico de cualquier dominio dedicado a la fabricacion. ? El modelado de unidades de aprendizaje en el dominio de la educacion demostro la capacidad del metamodelo y de OPENET4WF para dar soporte a WFs complejos que pueden llegar a tener mas de dos mil nodos. ? El modelado como WFs de los servicios web semanticas expresados en OWL-S ha permitido comprobar la facilidad con la que se puede extender la capa de patrones de WFs definida en nuestro metamodelo. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://minerva.usc.es/xmlui/bitstream/handle/10347/2854/9788498874525_content.pdf?isAllowed=y&sequence=1 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
