Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets

Brant-Ribeiro, Taffarel; Araújo, Rafael Dias; Mendonça, Igor; Soares, Michel S.; Cattelan, Renan G.

doi:10.1007/s10270-017-0593-x

Cited by 12 publications

(3 citation statements)

References 34 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…However, authors have missed considering the cancellation of the order scenario and missed any quantitative analysis such as availability, security analysis, etc. T. Brant‐Ribeiro et al 4 . proposed the idea of the Web Interaction Modeling Using Colored Petri Net (wiCPN), which focuses on web interaction as an incremental improvement of CPN.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Availability and security analysis of business‐critical systems: A case study of e‐commerce business process

Mamdikar

Kumar

Singh³

et al. 2021

Quality & Reliability Eng

View full text Add to dashboard Cite

Business critical systems (BCS) are those systems whose failure may lead to loss of business or damage to reputation in the market. This is often due to the interruption of service caused by the system being unusable. Therefore, non functional requirements (NFRs) such as availability and security play a crucial role during the development of BCS to mitigate impact to the risk. Nowadays, E‐commerce businesses contribute a significant amount to the GDP of any country. Availability of such systems should be high as well as these systems should be secured against threats. Therefore, in this work, a framework is proposed for the availability analysis during the design phase of the BCS. Also, an approach is used for the security analysis of BCS. A case study of the E‐commerce business system is taken to illustrate our framework.

show abstract

Section: Related Workmentioning

confidence: 99%

“…The 3 author is with the Department of Applied Mathematics, VJTI, Mumbai, India. The 4 authors are with the Department of Computer Science and Engineering, National Institute of Technology Patna, India. Email: 2018rscs017@nitjsr.ac.in; vkumar.cse@nitjsr.ac.in; poojasingh1615@gmail.com; subhash.cs@nitp.ac.in.…”

Section: Introductionmentioning

confidence: 99%

Availability and security analysis of business‐critical systems: A case study of e‐commerce business process

Mamdikar

Kumar

Singh³

et al. 2021

Quality & Reliability Eng

View full text Add to dashboard Cite

show abstract

“…En [38], los autores toman los conceptos de las RdP coloreadas (CPN) y extienden los conceptos de las RdP al modelado de interacción web. Posteriormente, los autores proponen la aplicación de estos conceptos desarrollados a la interfaz web de Classroom Experiencie, una plataforma educativa.…”

Section: Figura 19 Modelo Propuesto Por Los Autores [33]unclassified

Desarrollo de un enfoque de trabajo para el análisis y diseño de sistemas discretos y dinámicos

Zanek¹

View full text Add to dashboard Cite

La reunión de las disciplinas orientadas a los problemas y las soluciones puede llevar a importantes avances en ambas áreas. Las redes de Petri (RdP) proporcionan un medio excelente para modelar aspectos concurrentes y se han extendido de muchas maneras para hacer frente a muchos problemas. Las RdP se han aplicado con éxito muchas veces a varios problemas de ingeniería de software. Sin embargo, las dos disciplinas no pasan por un período de fertilización cruzada particularmente fuerte. Este trabajo trata de analizar algunos aspectos de la ingeniería de software, señalando aspectos en los que las RdP se han propuesto o se pueden proponer como soluciones a problemas críticos. En esta tesis, se propone el desarrollo de un enfoque de trabajo para realizar el análisis y diseño de sistemas discretos, dinámicos y estocásticos. Estos sistemas, se caracterizan por estar íntimamente relacionados con restricciones temporales y concurrentes, que por las características de los modelos desarrollados por UML, no pueden ser representadas; con lo cual es necesario complementar las herramientas con otras, que permitan modelar las características antes mencionadas; una de estas, son las RdP. Una RdP es un lenguaje útil para analizar y modelar formalmente varios sistemas. Recientemente, muchas RdP dedican sus esfuerzos a mejorar y extender el poder expresivo de las RdP. Uno de estos esfuerzos es extender las RdP con conceptos orientados a objetos. Un paradigma orientado a objetos proporciona conceptos excelentes para modelar problemas del mundo real. Los conceptos orientados a objetos nos permiten construir sistemas de software de forma fácil, intuitiva y natural. Se sugieren varias RdP de alto nivel con el concepto de objetos. Estas redes no son totalmente compatibles con el concepto orientado a objetos, por lo que no pueden llamarse RdP orientadas a objetos. La sintaxis formal y la semántica del enfoque propuesto se explican en detalle, adoptando una amplia gama de características del análisis y diseño orientados a objetos. Además, este enfoque es compatible con una variedad de mecanismos de análisis, como los métodos de descomposición, red e incrementales de los sistemas en evolución, el despliegue, a un nivel más bajo de la RdP y el análisis de accesibilidad incremental para los modelos desarrollado. Por último, se demuestra la eficiencia y la utilidad del enfoque desarrollado, a partir de la aplicación del mismo al caso de estudio, esto es, la simulación que explica el comportamiento y la demanda eléctrica residencial de la Ciudad de Salta, a partir de la cantidad y tipo de artefactos presentes en cada vivienda y el comportamiento humano para el encendido y apagado de los mismos.

show abstract

IoHMT: a probabilistic event-sensitive music analytics framework for low resource internet of humanitarian musical things

Roy

Mukherjee²,

2022

Innovations Syst Softw Eng

View full text Add to dashboard Cite

Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets

Cited by 12 publications

References 34 publications

Availability and security analysis of business‐critical systems: A case study of e‐commerce business process

Availability and security analysis of business‐critical systems: A case study of e‐commerce business process

Desarrollo de un enfoque de trabajo para el análisis y diseño de sistemas discretos y dinámicos

IoHMT: a probabilistic event-sensitive music analytics framework for low resource internet of humanitarian musical things

Contact Info

Product

Resources

About