skip to main content
10.1145/1167253.1167324acmconferencesArticle/Chapter ViewAbstractPublication Pagesacm-seConference Proceedingsconference-collections
Article

JCPNet tool and automated analysis of distributed systems

Published: 18 March 2005 Publication History

Abstract

Model based approach is crucial to the analysis of system design. Colored Petri Nets (CPNet) have been used as software model with good success. It can be used to complement UML diagrams by providing formal modeling and analysis of dynamic behaviors of distributed systems. In order to enable CPNet model to be utilized more flexibly and widely, a new software tool JCPNet has been developed. This paper discusses the background, motivation and development of JCPNet, and its applications to specification and analysis of distributed systems.

References

[1]
An introduction to Model Driven Architecture. http://www-106.ibm.com/developerworks/rational/library/3100.html]]
[2]
JCPNet: A Java Colored Petri Nets Modeling and Analysis Tool. http://www.cs.uga.edu/~xyi/jcpnet.html]]
[3]
X. Yi and Krys J. Kochut. "A CP-nets-based Design and Verification Framework for Web Services Composition", Proceedings of 2004 IEEE International Conference on Web Services, pp. 756--760, July 2004, San Diego, California]]
[4]
K. Jensen. Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use, Volume 1, 2, 3 second edition, 1996]]
[5]
Glen Lewis, C. Lakos. Incremental State Space Construction for Coloured Petri Nets. ICATPN 2001, LNCS 2075, pp. 263--282, 2001]]
[6]
L. M. Kristensen, S. Christensen, K. Jensen: The Practitioner's Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2 (1998), Springer Verlag, 98--132.]]
[7]
Lars M. Kristensen, Jens B. Jorgensen, and Kurt Jensen. Application of Coloured Petri Nets in System Development. In Lecture on Concurrency and Petri Nets, Jorg Desel, Wolfgang Reisig and Grezegorz Rozenberg (Eds.), Springer, LNCS 3089, 626--685.]]
[8]
T. Cormen, C. Leiserson, R. Rivest, C. Stein. 2001. Introduction to Algorithms. Second edition. MIT Press.]]
[9]
X. Yi and Krys J. Kochut," Specification and Analysis of Service-Oriented Distributed Systems using Colored Petri Nets: Algorithms and Tools", UGA computer science department technical report, Nov. 2004. http://www.cs.uga.edu/~xyi/atpnTR.pdf]]
[10]
Standard ML'97. http://www.smlnj.org/sml97.html]]
[11]
Graphviz - Graph Visualization Software http://www.graphviz.org/]]
[12]
A. Valmari. The State Explosion Problem. In Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science, pages 429--528. Springer-Verlag, 1998.]]
[13]
S. Christensen, L. M. Kristensen, and T. Mailund. A Sweep-Line Method for State Space Exploration. In Proc. of 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 2031 of Lecture Notes in Computer Science, pages 450--464. Springer-Verlag, 2001.]]
[14]
CPN tools. http://wiki.daimi.au.dk/cpntools/cpntools.wiki]]
[15]
T. Murata. Petri nets: Properties, analysis and applications. Proceedings of IEEE, vol. 77, no. 4, April 1989.]]

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ACMSE '05 vol 2: Proceedings of the 43rd annual ACM Southeast Conference - Volume 2
March 2005
430 pages
ISBN:1595930590
DOI:10.1145/1167253
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 March 2005

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. colored petri nets
  2. occurrence graph
  3. service composition
  4. service-oriented architecture
  5. state space

Qualifiers

  • Article

Conference

ACM SE05
Sponsor:
ACM SE05: ACM Southeast Regional Conference 2005
March 18 - 20, 2005
Georgia, Kennesaw

Acceptance Rates

Overall Acceptance Rate 502 of 1,023 submissions, 49%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 194
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Jan 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media