skip to main content
10.1145/2108616.2108683acmconferencesArticle/Chapter ViewAbstractPublication PagesicuimcConference Proceedingsconference-collections
research-article

Actor Petri net model for scientific workflows: model, design and system

Published: 14 January 2010 Publication History

Abstract

We propose in this paper Actor Petri net Model for designing scientific workflow applications that are characterized by heterogeneous data and intensive computing. Based on many other workflow representation models (such as Actor Network, a series of Petri nets, and DFL), it is intended to be a runtime model that can represent dynamic scenarios of applications. Scientific workflow applications designed and run upon this model can offer very flexible operations to control their running states, including data operations, skeleton operations, serialization and deserialization, and VCR control. The intrinsic properties of the model are that designed workflows can process complex data and run on distributed environments, so it can be used to design any open world applications with almost no restrictions, including as a basic design and execution infrastructure for DDDAS and the coming Cloud Computing.

References

[1]
Zisman, M. D. Representation, Specification, and Automation of Office Procedures. The Wharton School, University of Pennsylvania, Philadelphia, Pennsylvania, 1977.
[2]
Process Definition Interface--XML Process Definition Language. WFMC-TC-1025, Workflow Management Coalition, 2008.
[3]
Jordan, D., Evdemon, J., Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Guízar, A., Kartha, N., Liu, C. K., Khalaf, R., König, D., Marin, M., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P. and Yiu, A. Web Services Business Process Execution Language Version 2.0. OASIS (WSBPEL) TC, 2007.
[4]
White, S. A. Business Process Model and Notation. BPMI and Object Management Group, 2009.
[5]
Aalst, W. M. P. v. d. and ter Hofstede, A. H. M. Yawl: Yet Another Workflow Language. Information Systems, 30, 4 (2005), 245--275.
[6]
Geoffrey, C. F. and Dennis, G. Special Issue: Workflow in Grid Systems. Concurrency and Computation: Practice and Experience, 18, 10 (2006), 1009--1019.
[7]
Taylor, I. J., Deelman, E., Gannon, D. and Shields, M. S. Workflows for e-Science: Scientific Workflows for Grids. Springer-Verlag New York, Inc., City, 2007.
[8]
Hendler, J. COMMUNICATION: Enhanced: Science and the Semantic Web. Science, 299, 5606 (January 24 2003), 520--521.
[9]
Barga, R. and Gannon, D. Scientific versus Business Workflows. Springer-Verlag New York, Inc., City, 2007.
[10]
Ridley, M. The Origins of Virtue: Human Instincts and the Evolution of Cooperation. Viking Press, 1997.
[11]
Hey, T. e-Science and its implications. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 361, 1809 (2003), 1809--1825.
[12]
Taverna http://taverna.sourceforge.net/
[13]
Darema, F. New Software Technologies for the Development and Runtime Support of Complex Applications. International Journal of High Performance Computing Applications, 13, 3 (August 1 1999), 180--190.
[14]
Viega, J. Cloud Computing and the Common Man. Computer, 42, 8 (Auguest 2009), 106--108.
[15]
Brooks, C., Lee, E. A., Liu, X., Neuendorffer, S., Zhao, Y. and Zheng, H. Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II). EECS Department, University of California, Berkeley, 2008.
[16]
Ludäscher, B., Altintas, I., Berkley, C., Higgins, D., Jaeger, E., Jones, M., Lee, E. A., Tao, J. and Zhao, Y. Scientific Workflow Management and the Kepler System. Concurrency and Computation: Practice & Experience, 18, 10 (2005), 1039--1065.
[17]
Lee, E. A. The Problem with Threads. Computer, 39, 5 (May 2006), 33--42.
[18]
Jensen, K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer-Verlag, London, UK, 1996.
[19]
Liu, B. The Research on Key Technologies of Dynamic Web Service Composition. Graduate School of National University of Defense Technology, Changsha, October, 2005. (in Chinese)
[20]
Russell, N., ter Hofstede, A. H. M., Aalst, W. M. P. v. d. and Mulyar, N. Workflow Control-Flow Patterns: A Revised View. BPM Center Report BPM-06-22, BPMcenter.org, 2006.
[21]
Hidders, J., Kwasnikowska, N., Sroka, J., Tyszkiewicz, J. and Van den Bussche, J. DFL: A Dataflow Language Based on Petri Nets and Nested Relational Calculus. Information Systems, 33, 3 (2008), 261--284.
[22]
Murata, T. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77, 4 (April 1989), 541--580.
[23]
Darema, F. Characterizing Dynamic Data Driven Applications Systems (DDDAS) in Terms of a Computational Model. In Proceedings of the ICCS 2009, Part II (2009).
[24]
Andreas, H. User Tools and Languages for Graph-based Grid Workflows. Concurrency and Computation: Practice and Experience, 18, 10 (2006), 1101--1113.
[25]
Du, N., Liang, Y., Li, Q. and Du, L. Transition System Semantics of DFL as a Scientific Workflow Language. In Proceedings of the 4th International Conference on Semantics, Knowledge and Grid (Beijing, China, 2008).
[26]
Aalst, W. M. P. v. d. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8, 1 (1998), 21--66.
[27]
Aalst, W. M. P. v. d. and van Hee, K. M. Workflow Management: Models, Methods, and Systems. MIT Press, 2002.
[28]
Qt Library http://qt.nokia.com
[29]
Abelson, H., Sussman, G. J. and Sussman, J. Structure and Interpretation of Computer Programs. MIT Press, Cambridge, MA, USA, 1996.
[30]
Gannon, D. Component Architecture and Services: From Application Construction to Scientific Workflow. Springer-Verlag New York, Inc., City, 2007.
[31]
Hagen, C. and Alonso, G. Exception Handling in Workflow Management Systems. IEEE Transactions on Software Engineering, 26, 10 (2000), 943--958.
[32]
Casati, F., Castano, S., Fugini, M., Mirbel, I. and Pernici, B. Using Patterns to Design Rules in Workflows. IEEE Transactions on Software Engineering, 26, 8 (2000), 760--785.
[33]
Kepler. Kepler User Manual. 1.0.0, Kepler Project, 2008.
[34]
Lotka, A. J. and James, A. Elements of Physical Biology. Baltimore: Williams & Wilkins, 1925.
[35]
Volterra, V. Fluctuations in the abundance of a species considered mathematically. Nature, 118, 558--60 (1926).
[36]
Yu, J. and Buyya, R. A Taxonomy of Scientific Workflow Systems for Grid Computing. SIGMOD Record, 34, 3 (2005), 44--49.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ICUIMC '10: Proceedings of the 4th International Conference on Uniquitous Information Management and Communication
January 2010
550 pages
ISBN:9781605588933
DOI:10.1145/2108616
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

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 January 2010

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. actor Petri net model
  2. cloud computing
  3. distributed computing
  4. heterogeneous data
  5. scientific workflow

Qualifiers

  • Research-article

Conference

ICUIMC '10
Sponsor:

Acceptance Rates

Overall Acceptance Rate 251 of 941 submissions, 27%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 136
    Total Downloads
  • Downloads (Last 12 months)2
  • 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