On compositionality and Petri nets in protocol engineering

Anisimov, Nikolay A.; Koutny, Maciej

doi:10.1007/978-0-387-34892-6_5

Cited by 9 publications

(3 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Indeed a big debate arose in the recent years to this regard and it is well explained in [22] and in the conclusions of [23]. Some work for enhancing Petri nets compositionality in other contexts has been done (a survey in [24]) and also work on modularization and Petri nets do exist [25] but we are not aware of applications.…”

Section: Structural Requirementsmentioning

confidence: 99%

On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems

Mazzara

Bhattacharyya

2010

2010 Third International Conference on Dependability

View full text Add to dashboard Cite

This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism must meet, and use these to evaluate wellestablished formalisms and two process algebras that we have been developing, namely, Webπ∞ and CCS dp . A simple case study is developed to illustrate the modelling power of these two formalisms. The paper shows how Webπ∞ and CCS dp represent a significant step forward in modelling adaptive and dependable real-time systems.

show abstract

Section: Structural Requirementsmentioning

confidence: 99%

On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems

Mazzara

Bhattacharyya

2010

2010 Third International Conference on Dependability

View full text Add to dashboard Cite

show abstract

“…Some examples of script-nets are presented in [3,4]. We allow multilabeling of net [5], i.e., labeling where each transition may be labeled by a set of expressions, such as sending and receiving a message, or creating a new object. This extension can simplify specifications and make them more compact.…”

Section: Basis Of Script-netsmentioning

confidence: 99%

An approach to design distributed CTI applications using Petri nets: an example of a call center

Anisimov

Kishinski²,

Miloslavski³

SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218)

View full text Add to dashboard Cite

In this paper we apply a formal approach, based on Petri nets, to design a logical structure for call centers based on sophisticated computer telephony integration applications. A typical call center consists of a set of operators, called agents, who process inbound calls from clients. This call processing may involve the use of computer systems and other devices, such as faxes, as well as communication with other agents. The treatment of each call being processed is heavily regulated by a script, which is specially designed for specific kinds of calls by the experts in telemarketing. However, the design of such scripts can be problematic. In this paper, we stress the need for tools supporting a scripting process. We propose a formal model intended to serve as a basis for such tools. Specifically, we introduce formal models called script nets for formal representation of scripts and of the call center as a whole. We have also introduced various ways to structure script nets, using a transition hierarchy and macroplaces.

show abstract

“…As Redes de Petri proveem formas para a modelagem de protocolos de comunicação, suportam diretamente a modelagem de concorrência, compartilhamento de recursos e eventos assíncronos. A falta de composicionalidade é a principal limitação encontrada nos modelos criados utilizando RP [Anisimov e Koutny 1995], [Lakos et al 1995].…”

Section: Redes De Petriunclassified

Aplicação do profile uml marte na modelagem de serviços de protocolos de comunicação de tempo real

Silva¹

View full text Add to dashboard Cite

Dedico este trabalho aos meus pais Ecio Tarcisio Alves da Silva e Welbia Maria Alves da Silva que sempre priorizaram a minha educação permitindo que eu tenha chegado até aqui. ResumoNo contexto de sistemas distribuídos e Internet, existe a aplicação de novas tecnologias e dispositivos para melhorar o suporte à mobilidade, segurança, qualidade de serviços e multicast. Existem diversas abordagens para a modelagem de sistemas distribuídos para a validação do comportamento. Entretanto, muitas delas não permitem representar requisitos necessários para um protocolo de comunicação e a arquitetura em que o mesmo está inserido. Além disso, as abordagens que possuem suporte para modelagem de requisitos de tempo real são de difícil leitura, interpretação e criação dos modelos por humanos. Desta forma, este trabalho tem como objetivo apresentar duas abordagens de modelagem de protocolos de comunicação, utilizando o profile MARTE/UML, que tenha suporte para os requisitos de tempo real e que possua uma leitura simplificada. No trabalho foram criadas duas abordagens de modelagem para protocolos de comunicação da arquitetura de Internet Entity Title Architecture (ETArch). Além disso, foi criado um analisador para a linguagem VSL, que é responsável por modelar as expressões de restrições de tempo real dos modelos da segunda abordagem. Para garantir a aplicabilidade do trabalho foi feito um questionário utilizando um modelo de aceitação de tecnologia, que apresentou um resultado positivo de aceitação por parte dos usuários. Em comparação com outras abordagens, as abordagens apresentadas no trabalho são vantajosas por permitirem tanto uma modelagem visual de alto nível quanto uma modelagem algébrica para representação das restrições, permitindo uma validação matemática.

show abstract

On compositionality and Petri nets in protocol engineering

Cited by 9 publications

References 16 publications

On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems

On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems

An approach to design distributed CTI applications using Petri nets: an example of a call center

Aplicação do profile uml marte na modelagem de serviços de protocolos de comunicação de tempo real

Contact Info

Product

Resources

About