Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

Approach for workflow modeling using pi-calculus.

Dong Yang1, Shen-sheng Zhang

  • 1Department of Industrial Engineering, Shanghai Jiaotong University, Shanghai 200030,China. dongyangcn@hotmail.com

Journal of Zhejiang University. Science
|October 21, 2003
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Effect of Peony-Glycyrrhiza Decoction on Amisulpride-Induced Hyperprolactinemia in Women with Schizophrenia: A Preliminary Study.

Evidence-based complementary and alternative medicine : eCAM·2018
Same author

A Measure of Perceived Chronic Social Adversity: Development and Validation.

Frontiers in psychology·2018
Same author

Chinese consensus statement on standard procedure and perioperative management of bronchial thermoplasty.

Journal of thoracic disease·2018
Same author

Combination of 24-Hour and 7-Day Relative Neurological Improvement Strongly Predicts 90-Day Functional Outcome of Endovascular Stroke Therapy.

Journal of stroke and cerebrovascular diseases : the official journal of National Stroke Association·2018
Same author

Identification of two novel pathogenic compound heterozygous MYO7A mutations in Usher syndrome by whole exome sequencing.

International journal of pediatric otorhinolaryngology·2017
Same author

Strain improvement by combined UV mutagenesis and ribosome engineering and subsequent fermentation optimization for enhanced 6'-deoxy-bleomycin Z production.

Applied microbiology and biotechnology·2017
Same journal

Enhancing the quality metric of protein microarray image.

Journal of Zhejiang University. Science·2004
Same journal

Mathematical modeling of salt-gradient ion-exchange simulated moving bed chromatography for protein separations.

Journal of Zhejiang University. Science·2004
Same journal

Characterization of cellulose acetate micropore membrane immobilized acylase I.

Journal of Zhejiang University. Science·2004
Same journal

Research on the rheological properties of pesticide suspension concentrate.

Journal of Zhejiang University. Science·2004
Same journal

Ant colony system algorithm for the optimization of beer fermentation control.

Journal of Zhejiang University. Science·2004
Same journal

Scale-up of rifamycin B fermentation with Amycolatoposis mediterranei.

Journal of Zhejiang University. Science·2004
See all related articles

This study introduces Pi-calculus to model workflow processes, enabling verification of properties like deadlock-freedom and facilitating business process optimization through formal semantics.

Area of Science:

  • Computer Science
  • Formal Methods
  • Process Algebra

Background:

  • Process algebra, specifically Pi-calculus, is used to describe interactions between evolving processes.
  • Modeling business activities as interacting processes is crucial for understanding workflow dynamics.

Purpose of the Study:

  • To present a novel approach for representing workflow models using Pi-calculus.
  • To leverage formal semantics for analyzing and verifying workflow properties.

Main Methods:

  • Representing workflow activities as processes interacting through ports.
  • Utilizing Pi-calculus and its Labeled Transition Semantics (LTS) to model workflow dynamics.
  • Applying weak bisimulation theorem for workflow model equivalence checking.

Related Experiment Videos

Main Results:

  • The Pi-calculus model effectively characterizes the dynamic behaviors of workflow processes.
  • Formal semantics allow for verification of critical workflow properties, including deadlock-freedom and normal termination.
  • Equivalence checking facilitates the optimization of business processes.

Conclusions:

  • Pi-calculus provides a robust framework for formalizing and analyzing workflow models.
  • The proposed approach enhances the ability to verify workflow properties and optimize business processes.