Incorporating Object-Orientedness in Transformations from Live Sequence Charts to Colored Petri Nets

Khadka, Binsan; Mikolajczak, Bolesław

doi:10.1109/itng.2008.191

Cited by 3 publications

(3 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Approaches to transform a LSC specification to a CPN have been described in [1] and [28]. As two LSCs of a specification may be contradictory [20], both synthesis approaches need to generate the state space of the LSC and the synthesized CPN to check equivalency of both models.…”

Section: Discussionmentioning

confidence: 99%

“…That simplicity of semantics influences the way how components can be synthesized from scenarios can be seen when comparing available techniques. While synthesis is generally infeasible from both HMSCs and LSCs, synthesis from feasible subclasses of scenarios to Petri nets is straight forward for HMSCs [31,2] yielding components that are correct by construction, whereas synthesis from LSCs [1,28] requires to verify the synthesis result to ensure correctness.…”

Section: Principles Of Scenario-based Specificationsmentioning

confidence: 99%

See 1 more Smart Citation

Data and Abstraction for Scenario-Based Modeling with Petri Nets

Fahland

Prüfer

2012

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Scenario-based modeling is an approach for describing behaviors of a distributed system in terms of partial runs, called scenarios. Deriving an operational system from a set of scenarios is the main challenge that is typically addressed by either synthesizing system components or by providing operational semantics. Over the last years, several established scenario-based techniques have been adopted to Petri nets. Their adaptation allows for verifying scenario-based models and for synthesizing individual components from scenarios within one formal technique, by building on Petri net theory. However, current adaptations of scenarios face two limitations: a system modeler (1) cannot abstract from concrete behavior, and (2) cannot explicitly describe data in scenarios. This paper lifts these limitations for scenarios in the style of Live Sequence Charts (LSCs). We extend an existing model for scenarios, that features Petri net-based semantics, verification and synthesis techniques, and close the gap between LSCs and Petri nets further.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Principles Of Scenario-based Specificationsmentioning

confidence: 99%

Data and Abstraction for Scenario-Based Modeling with Petri Nets

Fahland

Prüfer

2012

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…De acordo comKHADKA et al (2007), redes de Petri suportam simulações de sistemas com simultaneidade em diferentes fases da sua execução.Diversos trabalhos têm valorizado a estrutura formal das redes de Petri para representar e potencializar a modelagem e a análise de sistemas reais PÁDUA et al (2003),OLIVEIRA (2008). eGEHLOT et al (1985) são boas referências para iniciar um estudo nesse sentido.…”

unclassified

Auxílio de Redes de Petri Coloridas na Implantação de Projetos Scrum

Biasoli¹,

Fontoura²

2011

Anais Do VII Simpósio Brasileiro De Sistemas De Informação (SBSI 2011)

View full text Add to dashboard Cite

O sucesso da implantação de Projetos Scrum é potencializado pelo sucesso no alcance das metas definidas para cada Sprint. Como uma equipe Scrum é diferente da outra, se necessário, é possível adaptar o processo e torná-lo mais adequado para uma equipe em específico. A elaboração inicial de um diagrama de atividades, para cada item a ser desenvolvido do Product Backlog, torna o time mais confiante e compromissado com o trabalho a ser desenvolvido. Com base neste diagrama, propõe-se a elaboração de uma rede de petri colorida para cada item, a fim de que seja possível simular resultados, antecipar problemas de desenvolvimento, gerenciar riscos e, até mesmo, realocar recursos.

show abstract