Rule-based refinement of high-level nets preserving safety properties

Padberg, Julia; Gajewsky, Magdalena; Ermel, Claudia

doi:10.1016/s0167-6423(00)00022-8

Cited by 22 publications

(5 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our contribution extends Padberg's result published in [19,20] but as already mentioned, this result does not consider guard strengthening. To the best of our knowledge, Padberg's work on this topic has been discontinued after a last survey paper [10] has been published on the topic in 2003.…”

Section: Related Worksupporting

confidence: 84%

“…In [19,20], Padberg, Gajewski and Ermel proposed a mechanism for preserving safety properties on Algebraic Petri-Nets based on place preserving morphisms. However, this result does not allow changes on the transition guards, which is required in order to deal with the kind of iterations we are targeting.…”

Section: Invariants Preservation Along Evolutionmentioning

confidence: 99%

“…The following definitions specify two different morphisms: the first one is the classical place preserving (Pp) morphism used in [20]; the second takes care of guards strengthening (Gs). N )) if all the following conditions hold:…”

Section: Invariants Preservation Along Evolutionmentioning

confidence: 99%

See 2 more Smart Citations

Invariant preservation in iterative modeling

Levi

Syriani

Amrani

et al. 2012

Proceedings of the 6th International Workshop on Models and Evolution

View full text Add to dashboard Cite

In a Model-Driven Development project, models are typically built iteratively to better satisfy a set of requirements. Therefore it is crucial to guarantee that one iteration of a model evolution does not hinder the previous version. In this paper, we focus on invariant preservation of behavioral models expressed in Algebraic Petri Nets. The theory developed is applied to a Multi-Level Security File System modeled iteratively. We also discuss how this approach can be applied on Domain-Specific Languages that are translated to Algebraic Petri Nets.

show abstract

Section: Related Worksupporting

confidence: 84%

Section: Invariants Preservation Along Evolutionmentioning

confidence: 99%

See 1 more Smart Citation

Invariant preservation in iterative modeling

Levi

Syriani

Amrani

et al. 2012

Proceedings of the 6th International Workshop on Models and Evolution

View full text Add to dashboard Cite

show abstract

“…Fact 5.4 (Place preserving morphism preserve safety properties (Theorem 3.5 in [27]) A place-preserving morphism q ∈ Q pp with q : N → N preserves safety properties, i.e. given a safety property ϕ we have…”

Section: Instantiation To Algebraic High-level Netsmentioning

confidence: 99%

Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components

Padberg

2007

Appl Categor Struct

View full text Add to dashboard Cite

The integration of two important categorical frameworks -namely adhesive High-Level Replacement (HLR) systems and the generic component conceptyields a categorical approach to component transformation and refinement. The generic component concept is shown to be an adhesive HLR category, so rules and transformations as well as the corresponding results are available. Moreover, the compatibility with the hierarchical component composition is provided. The extension to rule-based refinement requires additional property-preserving morphisms and yields property-preserving rules and transformations, i.e. refinements where compatibility with the hierarchical component composition again is achieved. The categorical framework is instantiated to typed algebraic high-level (AHL) nets and illustrated with an example of AHL net components.

show abstract

“…PN transformation is an important approach to manipulate Petri net structure changes in the way of replacement or operation. The replacement approaches perform rule-based net modification developed from graph transformation, such as a majority of refinement methods [2]- [3] and reduction techniques [4] [5], PN model reconfiguration [1]. However, these approaches of replacement have suffered from strong restriction on net transformation rules, low transformation efficiency, uneasy use and so on.…”

Section: Introductionmentioning

confidence: 99%

Petri Net Algebras for DES Model Transformation

Li¹,

Guan²,

Dou

2010

2010 International Conference on Computational Intelligence and Software Engineering

View full text Add to dashboard Cite

This paper proposes a class of strict and high efficient Petri net algebras by combining the algebraic system theory with net transformation operations for model transformation of discrete event systems. The algebras include the fundamental operation systems of P/T net nodes and blocks as well as the advanced node-interfaced and block-interfaced net operation systems. Meanwhile, the algebraic properties of the net operations defined are discussed, e.g., closure, associativeness, and commutativeness. At the end of the work, application of the algebras presented is illustrated by an example and the result indicates the validity of the algebras.

show abstract

Rule-based refinement of high-level nets preserving safety properties

Cited by 22 publications

References 9 publications

Invariant preservation in iterative modeling

Invariant preservation in iterative modeling

Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components

Petri Net Algebras for DES Model Transformation

Contact Info

Product

Resources

About