Slim Kallel, investigador da University of Sfax (Túnez), ofrece esta conferencia organizada polo Centro Singular de Investigación en Tecnoloxías Intelixentes.
O xoves 28 de abril, ás 12.00 horas, o Salón de Actos do CiTIUS acollerá a conferencia 'Modeling and Verifying Time-aware Business Processes', do investigador Slim Kallel.
O seu traballo de investigación céntrase na modelización e verificación de restricións temporais, que se enmarcan no contexto dos Process-Aware Information Systems (PAIS). Satisfacer restricións temporais como os prazos ou a duración dunha actividade é vital para as organizacións. Por exemplo, as organizacións comerciais pretenden ofrecer produtos competitivos dentro de prazos respectados. As industrias do transporte, as organizacións sanitarias e os sistemas bancarios tamén dependen de restricións temporais, xa que a violación destas limitacións pode levar a situacións críticas e mesmo pode ameazar a seguridade das partes interesadas. Neste contexto, indentíficanse os seguintes desafíos relacionados coas propiedades temporais para PAIS. En primeiro lugar, a maioría das linguaxes de modelado empresarial existentes non admiten restricións temporais. Por exemplo, o Business Process Model and Notation (BPMN), os estándares de OMG para representar BPs, manexa mal a dimensión temporal. En segundo lugar, unha especificación de alto nivel de procesos empresariais enriquecida con restricións temporais pode conter conflitos entre tales restricións, que conducen a bloqueos e sistemas de información conscientes dos procesos inconsistentes. En terceiro lugar, a definición de restricións temporais nos procesos empresariais pode ter un impacto negativo na colaboración dos procesos empresariais, o que pode provocar erros e incompatibilidades. Os procesos de negocio implicados deben verificar a coincidencia das súas limitacións temporais para garantir a coherencia da colaboración.
Para afrontar estes desafíos, propónse un enfoque para modelar e verificar propiedades de seguridade non funcionais. Kallel concéntrase nas propiedades temporais dos sistemas de información conscientes de procesos considerando catro sistemas diferentes: sistemas interorganizativos, sistemas baseados na nube, sistemas ciberfísicos e sistemas baseados en blockchain. Na súa conversa, afrontará a presentación dos retos e unha visión xeral das miñas contribucións para cada sistema