A Petri net-based approach for supporting aspect-oriented modeling

Guan, Lianwei; Li, Xingyu; Hu, Hao; Lü, Jian

doi:10.1007/s11704-008-0041-8

Cited by 16 publications

(6 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The work closes to ours is presented in [2]. In this work, the authors present a Petri net-based approach for supporting aspect-oriented modeling, but they didn't analyze the effectiveness of constructed model.…”

Section: Related Workmentioning

confidence: 95%

An Aspect Oriented Method to Model and AnalyzeSelf-Recovery of Cloud Computing

Zhang¹,

Wu²,

Xue³

2013

Proceedings of the 2nd International Conference on Systems Engineering and Modeling

View full text Add to dashboard Cite

Cloud computing has attracted much interest recently from both industry and academic. More and more Internet applications are moving to the cloud environment. This paper proposes an aspect oriented method to model and analyze self-recovery of cloud application according to its characteristics. Petri nets are used as the formal description language for cloud application, and use it to describe its basic elements, such as, cloud module, resource service, physical machine, virtual machine, etc. Aspect oriented programming method is used to extract self-recovery process as the core and crosscutting concerns. On this basis, the self-recovery approach is presented, the related theories and tools of Petri nets are used to verify the correctness of proposed method. Experiments show that the proposed solutions have better performance in supporting the self-healing Web service composition.

show abstract

Section: Related Workmentioning

confidence: 95%

An Aspect Oriented Method to Model and AnalyzeSelf-Recovery of Cloud Computing

Zhang¹,

Wu²,

Xue³

2013

Proceedings of the 2nd International Conference on Systems Engineering and Modeling

View full text Add to dashboard Cite

show abstract

“…Molderez et al presented the aspect‐oriented extension to Petri nets. Only Guan et al used Xu and Nygard's aspect‐oriented Predicate‐Transition Petri net and Nagy's aspect relations definitions to resolve the problems with aspect‐aspect correctness.…”

Section: Related Workmentioning

confidence: 99%

Trustworthiness requirement‐oriented software process modeling

Zhang

Wang

Kang

2018

J Software Evolu Process

View full text Add to dashboard Cite

Trustworthy software is delivered by enacting trustworthy software processes. The purpose of this paper is to propose an approach to modeling trustworthiness requirement‐oriented software processes. First, based on the aspect‐oriented modeling techniques, separation of concerns is used to separate the crosscutting activities and the core activities according to the different trustworthiness requirements and functional requirements. A goal‐oriented modeling and reasoning method for trustworthiness requirements to find the crosscutting activities that satisfy multiple trustworthiness requirements is presented. Then, base processes are modeled for functional requirements. The crosscutting activities for trustworthiness requirements are decomposed into processes or tasks and encapsulated in aspects that are woven into the base processes. In the weaving procedure, correct weaving methods between multiple aspects and between aspects and base processes are designed. Errors or mistakes of aspect‐oriented process modeling are prevented. Finally, trustworthy third‐party certification authority software is studied systematically in a case study, and performance evaluations are conducted to show the cost and effect of the approach.

show abstract

“…They also formalized a weaving process for integrating aspects into base nets. Based on Xu's aspect-oriented PrT nets (Xu and Nygard, 2006) and Nagy's et al (2005) aspect relations definitions, Guan et al (2008) proposed solutions to resolve the problems about aspect-aspect correctness that may exist among the aspect nets. Molderez et al (2012) presented the aspect-oriented extension to Petri nets.…”

Section: Aspect-oriented Correctnessmentioning

confidence: 99%

“…All these studies focused on the approach of modeling aspect-oriented Petri nets. Only Guan et al (2008) analyzed the aspect-aspect correctness. As mentioned above, analysis and controlling of base-aspect correctness should also be considered.…”

Section: Aspect-oriented Petri Netsmentioning

confidence: 99%

Correctness of aspect-oriented business process modeling

Wang

Zhang

et al. 2018

BPMJ

View full text Add to dashboard Cite

Purpose -Business process models, while primarily intended for process documentation, communication, and improvement, are often also used as input for developing process-oriented software systems (Ouyang et al., 2009). Ensuring correctness, handling complexity, and improving reusability and maintainability of business process models are important for all these goals. The purpose of this paper is to propose an aspect-oriented business process modeling and correctness controlling method based on Petri nets to satisfy these goals. Design/methodology/approach -The aspect-oriented paradigm provides a proper mechanism to modularization, and thus reduces the complexity of models, and also improves reusability and maintainability. However, weaving aspects into base processes may bring in mistakes or errors. To ensure correctness of modeling, this paper presents a formal approach to modeling aspect-oriented business processes and a method to ensure modeling correctness. Petri net is used as the process modeling language and its analysis techniques are applied to analyze the correctness of modeling. Two types of correctness, specifically, aspect-aspect correctness and base-aspect correctness are analyzed. A real banking process model is studied systematically in the case study to evaluate the approach and the performance assessments are conducted to show the cost and effect of the approach. Findings -Designing aspect-oriented business process models help organizations reusing the model elements to reduce redundancy of their model repository, improving their maintainability, and supporting them to adapt to the changes of business requirements with flexible modeling. It is important to stress that the correctness of business process modeling is important in ensuring the quality of the models, especially in the safety-critical business domains, such as financial business domain. Originality/value -In this paper, separation of concerns is used to separate the cross-cutting activities and core activities in accordance with the different functions of these activities, and an approach to modeling aspect-oriented business processes is proposed. First, the cross-cutting activities are encapsulated as aspects, while core business activities are modeled as base processes. Then, according to the correctness requirements of business process models, based on the weaving mechanisms of aspect-oriented approach, weaving correctness is defined. Weaving correctness controlling methods between multi-aspects and between aspects and base processes are designed. Errors or mistakes of aspect-oriented business process modeling are prevented during the procedure of modeling to ensure error-free business process modeling.

show abstract

A Petri net-based approach for supporting aspect-oriented modeling

Cited by 16 publications

References 13 publications

An Aspect Oriented Method to Model and AnalyzeSelf-Recovery of Cloud Computing

An Aspect Oriented Method to Model and AnalyzeSelf-Recovery of Cloud Computing

Trustworthiness requirement‐oriented software process modeling

Correctness of aspect-oriented business process modeling

Contact Info

Product

Resources

About