Verification of BPMN Models

Brumbulli, Mihal; Gaudin, Emmanuel; Berre, Frédéric

doi:10.1007/978-3-030-34843-4_3

Cited by 2 publications

(3 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Concerning the platform for the execution test, we may find an integration between two distinct platforms, as shown in [ 33 ], to provide an automated execution test of a given complex model. Additionally, as shown in [ 27 , 28 , 29 ], there are platforms on which the designer is unable to test and validate his models or instances.…”

Section: Related Workmentioning

confidence: 99%

Environmental Constraints for Intelligent Internet of Deep-Sea/Underwater Things Relying on Enterprise Architecture Approach

Aoun,

Mansour,

Dornaika

et al. 2024

Sensors

View full text Add to dashboard Cite

Through the use of Underwater Smart Sensor Networks (USSNs), Marine Observatories (MOs) provide continuous ocean monitoring. Deployed sensors may not perform as intended due to the heterogeneity of USSN devices’ hardware and software when combined with the Internet. Hence, USSNs are regarded as complex distributed systems. As such, USSN designers will encounter challenges throughout the design phase related to time, complexity, sharing diverse domain experiences (viewpoints), and ensuring optimal performance for the deployed USSNs. Accordingly, during the USSN development and deployment phases, a few Underwater Environmental Constraints (UECs) should be taken into account. These constraints may include the salinity level and the operational depth of every physical component (sensor, server, etc.) that will be utilized throughout the duration of the USSN information systems’ development and implementation. To this end, in this article we present how we integrated an Artificial Intelligence (AI) Database, an extended ArchiMO meta-model, and a design tool into our previously proposed Enterprise Architecture Framework. This addition proposes adding new Underwater Environmental Constraints (UECs) to the AI Database, which is accessed by USSN designers when they define models, with the goal of simplifying the USSN design activity. This serves as the basis for generating a new version of our ArchiMO design tool that includes the UECs. To illustrate our proposal, we use the newly generated ArchiMO to create a model in the MO domain. Furthermore, we use our self-developed domain-specific model compiler to produce the relevant simulation code. Throughout the design phase, our approach contributes to the handling and controling of the uncertainties and variances of the provided quality of service that may occur during the performance of the USSNs, as well as reducing the design activity’s complexity and time. It provides a way to share the different viewpoints of the designers in the domain of USSNs.

show abstract

Section: Related Workmentioning

confidence: 99%

Environmental Constraints for Intelligent Internet of Deep-Sea/Underwater Things Relying on Enterprise Architecture Approach

Aoun,

Mansour,

Dornaika

et al. 2024

Sensors

View full text Add to dashboard Cite

show abstract

“…Herdando da inspeção de Fagan [10], o artigo [11] propõe 55 perguntas -divididas nas classes: objetos de dados, fluxo de processos e verificação estática -e utiliza uma taxonomia de defeitos diferente da usada por [8]. Os artigos [4], [12], [5] tratam de ferramentas para automação da detecção de problemas de qualidade, com ênfase nos aspectos sintáticos que, segundo [8], junto com os aspectos semântico e pragmático, constitui um dos eixos principais de modelos BPMN.…”

Section: Inspeção De Processosunclassified

“…Uma das estratégias para isso é a descrição de seus processos e, com isso, o compartilhamento de conhecimento de forma ordenada [2]. Diferentes tipos de organização têm utilizado a linguagem BPMN nessa estruturação, mas enfrentam diversos problemas para garantir a qualidade [3], pois, apesar da disponibilidade de ferramentas que ajudam na parte sintática de modelos BPMN [4], [5], ainda é necessária uma revisão humana, não só dos aspectos semânticos, mas também pragmáticos. Uma forma de fazer isso é através do uso de V&V dos modelos.…”

Section: Introductionunclassified

O Uso de Inspeção para Aumentar a Transparência de Processos

Conceição,

Leite,

Pitangueira

2023

Anais Do Workshop Em Engenharia De Requisitos

View full text Add to dashboard Cite

A modelagem de processos estrutura o conhecimento organizacional de forma a sistematizar esse conhecimento. Descrever processos organizacionais é uma maneira de compartilhar o conhecimento de forma organizada. No entanto, a descrição de processos é uma atividade que precisa ser feita com cuidado, de forma a refletir efetivamente o conhecimento que se deseja compartilhar. Diferentes tipos de organizações têm utilizado a linguagem BPMN como maneira de estruturar seus processos, mas enfrentam diversos problemas para garantir sua qualidade. Uma maneira de garantir qualidade é através da revisão dos modelos. No entanto, apesar da disponibilização de ferramentas que ajudam na parte sintática de modelos BPMN, ainda é necessária uma revisão por humanos, não só pelos aspectos semânticos, mas também pragmáticos. A literatura reconhece a necessidade de estratégias que aumentem a qualidade dos processos, face aos aspectos não sintáticos e entende que o assunto é desafiador. Utilizando a premissa de que a transparência é fundamental para compartilhar com eficácia, o presente artigo trata o desafio de como utilizar a técnica de inspeção com um checklist orientado a transparência. Demonstra-se a estratégia usando um caso real no domínio da justiça.

show abstract

Verification of BPMN Models

Cited by 2 publications

References 2 publications

Environmental Constraints for Intelligent Internet of Deep-Sea/Underwater Things Relying on Enterprise Architecture Approach

Environmental Constraints for Intelligent Internet of Deep-Sea/Underwater Things Relying on Enterprise Architecture Approach

O Uso de Inspeção para Aumentar a Transparência de Processos

Contact Info

Product

Resources

About