I/sup 3/: a Petri-net based specification method for architectural components

Chang, Carl K.; Kim, Seongwoon

doi:10.1109/cmpsac.1999.814317

Cited by 5 publications

(2 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Petri net [4] as a mathematical and graphical modeling tool has been broadly used to model software [3] as well as hardware [1]. When Petri net is used to represent software architecture models or workflow systems, it has the advantage over other diagrammatic representations such as statechart or sequence diagram in UML due to its mathematical soundness and availability of various Petri net tools.…”

Section: Introductionmentioning

confidence: 99%

An Aspect-Oriented Approach to Resource Composition in Petri net-based Software Architectural Models

Kim

Chang

2006

30th Annual International Computer Software and Applications Conference (COMPSAC'06)

View full text Add to dashboard Cite

Petri net has been widely used for modeling software systems due to its mathematical soundness and support of various tools. In many cases, performance-related analyses of Petri net for a software system need to consider the resource limitations caused by a specific platform. In terms of aspect-oriented approach, the interference of various resources scattered across a software system can be regarded as a specific concern that is only necessary during its performance-related analysis process. To capture the interactions of resources within the Petri net-based software architectural model, we propose an aspect-oriented resource composition model and the XML-based representation language called the resource extension markup language (ReML) for its description. In our approach, one or more resource composition models can be developed and described in ReML separately from the development of base software architectural models. Through the weaving process, a resource composition model can be applied to extend several Petri net-based software architectural models. The resource weaver generates an augmented Petri net used for analyzing performance characteristics of the extended software architectural model with resource interactions. Our aspect-oriented approach facilitates selecting an optimal or superior resource composition model for a software architectural model, and vice versa, which is illustrated using two exemplary server models.

show abstract

Section: Introductionmentioning

confidence: 99%

An Aspect-Oriented Approach to Resource Composition in Petri net-based Software Architectural Models

Kim

Chang

2006

30th Annual International Computer Software and Applications Conference (COMPSAC'06)

View full text Add to dashboard Cite

show abstract

“…Since Petri net developed by C. A. Petri is supported by a sound mathematical foundation and a graphical representation, it has been widely used to model software [67] as well as hardware [65]. When Petri net is used to model software architecture or workflow systems, it has the advantage over other diagrammatic representations such as statechart or sequence diagram in UML due to its mathematical soundness and availability of various Petri net tools.…”

Section: Petri Netmentioning

confidence: 99%

Service-oriented design in aspect-oriented and Petri net-based approach

Chang

Kim

View full text Add to dashboard Cite

Morris Chang for their contributions as my committee members.I especially would like to thank my friends and lab colleagues, in particular Minoh Kang, Jinchun Xia, and Hsin-yi Jiang, for every kind of support they brought to me during my work.I am profoundly thankful for the endless love, trust and support so unselfishly given to me from my mother, Neung-ja Oh, and my father, Woo-koo Kim.Finally, I cannot express how much I love my wife, Jiyon Im, and my daughter, Michelle Caen Kim. I am always happy with them.

show abstract

LfP: A specification language for rapid prototyping of concurrent systems

Regep

Kordon

Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001

View full text Add to dashboard Cite

I/sup 3/: a Petri-net based specification method for architectural components

Cited by 5 publications

References 9 publications

An Aspect-Oriented Approach to Resource Composition in Petri net-based Software Architectural Models

An Aspect-Oriented Approach to Resource Composition in Petri net-based Software Architectural Models

Service-oriented design in aspect-oriented and Petri net-based approach

LfP: A specification language for rapid prototyping of concurrent systems

Contact Info

Product

Resources

About