An object-oriented modular Petri Nets for modeling service oriented applications

被引：0
|
作者：
Wang, Ching Huey [1 ]
Wang, Feng Jian [1 ]
机构：
[1] Natl Chiao Tung Univ, Dept Comp Sci, Hsinchu, Taiwan
来源：
COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL II, PROCEEDINGS | 2007年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Use cases have been applied to describe how a web service will is used. Use cases can be categorized into classes of usage scenarios, which are often then defined as sequences of actions for accomplishing specific tasks. Neither use case nor scenario is not Object-Oriented (OO). For a web service to be implemented with OO programming technique(s), adopting object concept to system specifications from the scenarios can reduce the experience dependency on platforms transition. The paper proposes a model, named Object Oriented Petri Nets with modularity (OOMPNets), which introduces Colored Petri Nets into OO techniques. Based on the scenario, OOMPNets can be allowed to describe objects incrementally. Besides, the analysis techniques based on Colored Petri Nets can be applied for that of OOMPNets to reduce the effects of specification errors.
引用
收藏
页码：479 / +
页数：2
相关论文
共 50 条
  • [1] Encapsulation in an object-oriented notation based on modular Petri nets
    Thanh, CB
    Klaudel, H
    [J]. Modelling and Simulation 2003, 2003, : 508 - 512
  • [2] Modeling DEDS with object-oriented high-level petri nets-consistent nets on object-oriented high-level petri nets
    Ningbo Univ, Ningbo, China
    [J]. Zidonghua Xuebao, 3 (319-325):
  • [3] Object-oriented modelling with high-level modular Petri nets
    Thanh, CB
    Klaudel, H
    [J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 287 - 306
  • [4] Modeling a FMS with colored timed object-oriented Petri nets
    Tunghai Univ, Taichung, Taiwan
    [J]. J Chin Soc Mech Eng Trans Chin Inst Eng Ser C, 6 (573-580):
  • [5] An Object-Oriented Modeling Framework for Petri Nets and Related Models
    Gholizadeh, Hamid Mohammad
    Azgomi, Mohammad Abdollahi
    [J]. 2009 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2, 2009, : 546 - +
  • [6] Object-oriented Petri nets, their simulation, and analysis
    Ceska, M
    Janousek, V
    Vojnar, T
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 256 - 261
  • [7] Model checking in object-oriented Petri nets
    Rodrigues, CL
    Guerrero, DDS
    de Figueiredo, JCA
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4977 - 4982
  • [8] Constraint programming with object-oriented Petri nets
    Sanders, MJ
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 289 - 294
  • [9] Object-oriented Petri nets, their simulation, and analysis
    Ceska, M
    Janousek, V
    Vojnar, T
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 262 - 267
  • [10] Modeling a distributed railway interlocking system with object-oriented Petri nets
    Hei, X.
    Mochizuki, H.
    Takahashi, S.
    Nakamura, H.
    Fukuda, M.
    Iwata, K.
    Sato, K.
    [J]. COMPUTERS IN RAILWAYS X: COMPUTER SYSTEM DESIGN AND OPERATION IN THE RAILWAY AND OTHER TRANSIT SYSTEMS, 2006, 88 : 309 - +
12345