Matches in SemOpenAlex for { <https://semopenalex.org/work/W116110414> ?p ?o ?g. }
- W116110414 abstract "El uso de diferentes metodos y herramientas que asistan en la organizacion y el control de procesos, ha tomado relevancia debido a la necesidad constante de eficiencia por parte de la industria y a la adecuacion de sus practicas a las emergentes y novedosas tecnicas de desarrollo y produccion. Como producto de estas necesidades, diversos lenguajes para la descripcion de procesos de negocios capturaron el interes tanto del sector productivo, para su aplicacion en sus actividades, como asi tambien del sector academico, con el fin de aportar conocimiento y generar nuevas herramientas para tal fin. Si bien la mayor parte de los lenguajes para la especificacion de procesos de negocios son informales, existen algunos fundados en formalismos matematicos. Esto brinda a estos lenguajes formales para procesos de negocios la eliminacion de ambiguedades en la interpretacion de especificaciones, y la posibilidad de realizar diferentes analisis formales, como chequeos de sanidad. Sin embargo, las alternativas existentes poseen en general limitaciones, o bien en poder expresivo, o, para las alternativas mas expresivas, la imposibilidad de realizar algunas tareas de analisis automaticamente. En este trabajo presentamos un enfoque formal para la especificacion y el analisis de procesos de negocios, que permite dar semantica a construcciones complejas de procesos de negocios, a la vez que admite el analisis de chequeos de sanidad usuales de manera automatica mediante model checking. Mas aun, nuestra propuesta abarca la posibilidad de que el usuario especifique y analice propiedades de interes acerca de las especificaciones, mediante logicas temporales, un mecanismo con frecuencia ausente en los lenguajes existentes. Ademas del desarrollo de una semantica formal para un lenguaje de proceso de negocios sumamente expresivo, nuestro trabajo toma como base para la especificacion de propiedades de procesos de negocios el uso de logicas temporales. Identificamos algunos elementos que hacen particularmente complicada la expresion de algunos tipos de propiedades, en particular cuando las mismas demandan expresar repeticiones de eventos o tareas, y proponemos una logica temporal que permite describir tales propiedades con mayor facilidad. Con el fin de no perder capacidad de analisis, desarrollamos traducciones que nos permiten capturar los elementos novedosos de esta logica en terminos de otros elementos, soportados por logicas temporales tradicionales, con soporte de herramientas. Por otra parte, observamos la tendencia de los lenguajes de descripcion de procesos de negocios a no tratar formalmente la descripcion de los productos que manipulan. Tomamos un formalismo excepcional en este sentido, PPML, y definimos a partir del mismo un lenguaje de especificaciones, una semantica simplificada para el mismo, y una tecnica de analisis de especificaciones basada en una caracterizacion de sus modelos en UPPAAL. Nuestro enfoque esta claramente orientado a la produccion de herramientas de soporte al proceso de especificacion. Para los lenguajes tratados brindamos herramientas de especificacion y analisis de procesos de negocios, como asi tambien la posibilidad de construir descripciones de procesos de negocios a partir de las propiedades que los mismos deben cumplir. Estas tareas son evaluadas en este trabajo a traves del desarrollo de casos de estudio tomados de la literatura del area, en lo que respecta a descripcion de procesos y chequeos de sanidad de los mismos, y en base a variantes de estos casos en las cuales se enfatiza la necesidad de contar con propiedades descriptas por el usuario, y de dar mas relevancia a la descripcion de los productos manipulados por los procesos de negocios." @default.
- W116110414 created "2016-06-24" @default.
- W116110414 creator A5074298887 @default.
- W116110414 date "2014-01-01" @default.
- W116110414 modified "2023-09-24" @default.
- W116110414 title "Especificación formal y verificación de propiedades temporales de procesos de negocios" @default.
- W116110414 cites W134272950 @default.
- W116110414 cites W1483515574 @default.
- W116110414 cites W1487792011 @default.
- W116110414 cites W1490658580 @default.
- W116110414 cites W1496007014 @default.
- W116110414 cites W1498432697 @default.
- W116110414 cites W1501731334 @default.
- W116110414 cites W1501745438 @default.
- W116110414 cites W1506229097 @default.
- W116110414 cites W1506588809 @default.
- W116110414 cites W1527974694 @default.
- W116110414 cites W1536344896 @default.
- W116110414 cites W1540180001 @default.
- W116110414 cites W1543378523 @default.
- W116110414 cites W1546220007 @default.
- W116110414 cites W1548365164 @default.
- W116110414 cites W1554125077 @default.
- W116110414 cites W1565807956 @default.
- W116110414 cites W1568573127 @default.
- W116110414 cites W1581293248 @default.
- W116110414 cites W1582292473 @default.
- W116110414 cites W1584580268 @default.
- W116110414 cites W1587329505 @default.
- W116110414 cites W1589398260 @default.
- W116110414 cites W1593874741 @default.
- W116110414 cites W1598430057 @default.
- W116110414 cites W1679534293 @default.
- W116110414 cites W175551733 @default.
- W116110414 cites W1778175466 @default.
- W116110414 cites W1786154393 @default.
- W116110414 cites W1862449455 @default.
- W116110414 cites W1872371932 @default.
- W116110414 cites W1931776868 @default.
- W116110414 cites W1943502734 @default.
- W116110414 cites W1974168649 @default.
- W116110414 cites W1977607526 @default.
- W116110414 cites W1981626968 @default.
- W116110414 cites W1981808971 @default.
- W116110414 cites W1983860203 @default.
- W116110414 cites W1996489781 @default.
- W116110414 cites W2002089154 @default.
- W116110414 cites W2004306067 @default.
- W116110414 cites W2005819264 @default.
- W116110414 cites W2008838944 @default.
- W116110414 cites W2015688007 @default.
- W116110414 cites W2020563325 @default.
- W116110414 cites W2022078754 @default.
- W116110414 cites W2026629052 @default.
- W116110414 cites W2030435982 @default.
- W116110414 cites W2033071128 @default.
- W116110414 cites W2040127143 @default.
- W116110414 cites W2048355938 @default.
- W116110414 cites W2060910670 @default.
- W116110414 cites W2070475271 @default.
- W116110414 cites W2082532312 @default.
- W116110414 cites W2084570980 @default.
- W116110414 cites W2086860560 @default.
- W116110414 cites W2093916942 @default.
- W116110414 cites W2102899517 @default.
- W116110414 cites W2104877841 @default.
- W116110414 cites W2105505307 @default.
- W116110414 cites W2107656755 @default.
- W116110414 cites W2109653929 @default.
- W116110414 cites W2111560512 @default.
- W116110414 cites W2114457640 @default.
- W116110414 cites W2117189826 @default.
- W116110414 cites W2118252041 @default.
- W116110414 cites W2121372686 @default.
- W116110414 cites W2127094324 @default.
- W116110414 cites W2127300475 @default.
- W116110414 cites W2131247527 @default.
- W116110414 cites W2134908243 @default.
- W116110414 cites W2137865376 @default.
- W116110414 cites W2138447175 @default.
- W116110414 cites W2142718416 @default.
- W116110414 cites W2150970956 @default.
- W116110414 cites W2152540926 @default.
- W116110414 cites W2153074919 @default.
- W116110414 cites W2160883697 @default.
- W116110414 cites W2161825580 @default.
- W116110414 cites W2180065628 @default.
- W116110414 cites W2204954092 @default.
- W116110414 cites W2232005191 @default.
- W116110414 cites W2521374453 @default.
- W116110414 cites W2577476 @default.
- W116110414 cites W2794739549 @default.
- W116110414 cites W2911625174 @default.
- W116110414 cites W2914206182 @default.
- W116110414 cites W3023554972 @default.
- W116110414 cites W3146075203 @default.
- W116110414 cites W333982422 @default.
- W116110414 cites W388441076 @default.
- W116110414 cites W44713956 @default.
- W116110414 cites W59365162 @default.