FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1591747105> ?p ?o ?g. }

• W1591747105 abstract "La busqueda de notaciones y lenguales para la descripcion de Procesos de Negocio (Business Processes, BP) ha sido uno de los objetivos del Modelado de Procesos de Negocio (Business Process Modelling, BPM) en los ultimos tiempos. Como resultado de este esfuerzo, la Notacion para el Modelado de Procesos de Negocio (Business Process Modelling Notation, BPMN) ha surgido como una notacion grafica estandarizada ampliamente aceptada para la documentacion de BP. Sin embargo, por la heterogeneidad de sus construcciones y por la falta de una definicion precisa de la notacion, la especificacion, el modelado y la verificacion formal de BP se ve obstaculizado.En esta tesis doctoral, como parte de los trabajos relacionados con las Herramientas Metodologicas para la Verificacion de Sistemas Abiertos y Procesos de Negocio, se presenta una propuesta para la especificacion, el modelado y la verificacion composicional de requisitos no funcionales y restricciones temporales de modelos de BP realizados con BPMN. Para la especificacion y el modelado se define una semantica formal de los elementos notacionales de tiempo de BPMN, bajo el dominio semantico del calculo de proceso basado en CSP, Communicating Sequential Processes + Time (CSP+T). Para la verificacion formal de los modelos de BP se utiliza el Enfoque Formal de Verificacion Composicional (EFVC), una propuesta que se hace en el ambito de la Ingenieria de Software (IS) para la verificacion composicional de Sistemas con Criticidad en Seguridad (Safety-Critical Systems, SCS), que integra la verificacion composicional con la tecnica de verificacion automatica Model Ckecking (MC). Como resultado, se ha obtenido una herramienta metodologica que incorpora avances de la IS al ambito del BPM para el analisis formal de modelos de BP.Ademas, se presenta el diseno general del conjunto de herramientas de software que permiten automatizar el EFVC y se describe la implementacion de la herramienta BTransformer, la cual soporta la transformacion de modelos BPMN a terminos de proceso CSP+T. Adicionalmente, se discute la aplicacion de los aportes de la presente tesis doctoral a dos casos de interes empresarial e industrial. Uno, relacionado con un BP considerado critico para la estrategia de Gestion de las Relaciones con el Cliente (Customer Relationship Management, CRM). El otro, corresponde al sistema que implementa el proceso critico del protocolo de comunicacion que constituye el corazon de una red de comunicacion de telefonos moviles. La aplicacion del EFVC nos ha permitido corroborar que este puede ser utilizado para verificar tanto el comportamiento de BP con criticidad, como los componentes que conforman el software que implementa BP complejos y con criticidad, conformando asi una contribucion dentro del area de las Tecnicas Avanzadas de Verificacion de BP y Sistemas Software Abiertos." @default.
• W1591747105 created "2016-06-24" @default.
• W1591747105 creator A5040520799 @default.
• W1591747105 date "2011-11-10" @default.
• W1591747105 modified "2023-09-27" @default.
• W1591747105 title "Una contribución a las técnicas avanzadas de verificación de procesos de negocio y sistemas software abiertos" @default.
• W1591747105 cites W103336569 @default.
• W1591747105 cites W122270814 @default.
• W1591747105 cites W122395637 @default.
• W1591747105 cites W138593380 @default.
• W1591747105 cites W1479987225 @default.
• W1591747105 cites W1498432697 @default.
• W1591747105 cites W1507304612 @default.
• W1591747105 cites W1511239995 @default.
• W1591747105 cites W1517320587 @default.
• W1591747105 cites W1518292187 @default.
• W1591747105 cites W1529785310 @default.
• W1591747105 cites W1535554879 @default.
• W1591747105 cites W1537800020 @default.
• W1591747105 cites W1540180001 @default.
• W1591747105 cites W1546220007 @default.
• W1591747105 cites W1548825518 @default.
• W1591747105 cites W1550827356 @default.
• W1591747105 cites W1553407733 @default.
• W1591747105 cites W1559035930 @default.
• W1591747105 cites W1562934601 @default.
• W1591747105 cites W1564947547 @default.
• W1591747105 cites W1566263746 @default.
• W1591747105 cites W1570989018 @default.
• W1591747105 cites W1571487936 @default.
• W1591747105 cites W1582720900 @default.
• W1591747105 cites W1593428110 @default.
• W1591747105 cites W1595528047 @default.
• W1591747105 cites W1597414920 @default.
• W1591747105 cites W1603487930 @default.
• W1591747105 cites W1603799276 @default.
• W1591747105 cites W1604959559 @default.
• W1591747105 cites W1607782211 @default.
• W1591747105 cites W1612366852 @default.
• W1591747105 cites W1620275631 @default.
• W1591747105 cites W1695437353 @default.
• W1591747105 cites W1702414696 @default.
• W1591747105 cites W1776174556 @default.
• W1591747105 cites W1802427677 @default.
• W1591747105 cites W1819209966 @default.
• W1591747105 cites W182325824 @default.
• W1591747105 cites W1830854096 @default.
• W1591747105 cites W183767468 @default.
• W1591747105 cites W1841277100 @default.
• W1591747105 cites W1916934041 @default.
• W1591747105 cites W1936022305 @default.
• W1591747105 cites W1958553228 @default.
• W1591747105 cites W1964387595 @default.
• W1591747105 cites W1965979806 @default.
• W1591747105 cites W1968483059 @default.
• W1591747105 cites W1972065960 @default.
• W1591747105 cites W1972382501 @default.
• W1591747105 cites W1972478730 @default.
• W1591747105 cites W1986117326 @default.
• W1591747105 cites W1987073197 @default.
• W1591747105 cites W1992006255 @default.
• W1591747105 cites W1995736448 @default.
• W1591747105 cites W1998356535 @default.
• W1591747105 cites W2001243851 @default.
• W1591747105 cites W2001289891 @default.
• W1591747105 cites W2002089154 @default.
• W1591747105 cites W2002882778 @default.
• W1591747105 cites W2005497495 @default.
• W1591747105 cites W2005836640 @default.
• W1591747105 cites W2006553351 @default.
• W1591747105 cites W2006834804 @default.
• W1591747105 cites W2009965218 @default.
• W1591747105 cites W2010698657 @default.
• W1591747105 cites W2010795160 @default.
• W1591747105 cites W2013658284 @default.
• W1591747105 cites W2013754195 @default.
• W1591747105 cites W2016300863 @default.
• W1591747105 cites W2017623530 @default.
• W1591747105 cites W2025545064 @default.
• W1591747105 cites W2025741235 @default.
• W1591747105 cites W2029775995 @default.
• W1591747105 cites W2030224590 @default.
• W1591747105 cites W2030935018 @default.
• W1591747105 cites W2034717157 @default.
• W1591747105 cites W2036670017 @default.
• W1591747105 cites W2039019493 @default.
• W1591747105 cites W2039319112 @default.
• W1591747105 cites W2041669452 @default.
• W1591747105 cites W2043100293 @default.
• W1591747105 cites W2046269572 @default.
• W1591747105 cites W2046736980 @default.
• W1591747105 cites W2048355938 @default.
• W1591747105 cites W2054198444 @default.
• W1591747105 cites W2058284014 @default.
• W1591747105 cites W2061438988 @default.
• W1591747105 cites W2063294547 @default.
• W1591747105 cites W2063526382 @default.
• W1591747105 cites W2073153654 @default.
• W1591747105 cites W2078079358 @default.
• W1591747105 cites W2080267935 @default.

• next