skip to main content
10.1145/1363686.1363720acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
poster

Using process algebra to control the execution of business processes

Published: 16 March 2008 Publication History

Abstract

Integrating information systems with tools that manage workflows and business processes is not always a simple task. This difficulty becomes more accentuated when the execution control assumes countless business processes.
This work presents an alternative to control the execution of business processes. This alternative consists in a library of functions, called NavigationPlanTool, which can be easily integrated into the information systems and uses Navigation Plan Definition Language (NPDL) as the language to define business processes. NPDL is a language for business processes specification that uses process algebra as formal foundation. The NavigationPlanTool implements NPDL language as a SQL extension and offers two other important services: processes instantiation and process instances execution monitor. The NavigationPlanTool combines the process algebra features with a relational database model to provide a scalable and reliable control in the execution of business processes.

References

[1]
K. R. Braghetto, J. E. Ferreira, and C. Pu. Using Control-Flow Patterns for Specifying Business Processes in Cooperative Environments. In Proceedings of the 2007 ACM Symposium on Applied Computing, Seoul, Korea, March 11--15, 2007, pages 1234--1241. ACM, 2007.
[2]
J. E. Ferreira, O. K. Takai, K. R. Braghetto, and C. Pu. Large Scale Order Processing through Navigation Plan Concept. In Proceedings of the IEEE International Conference on Services Computing, pages 297--300. IEEE Computer Society, 2006.
[3]
W. Fokkink. Introduction to Process Algebra. Springer, 2000.
[4]
F. Leymann, D. Roller, and M.-T. Schmidt. Web Services and Business Process Management. IBM Systems Journal, 41(2):198--211, 2002.
[5]
M. B.-L. et al. CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. In Proc. of 22nd International Conf. on Applications and Theory of Petri Nets 2001, Newcastle upon Tyne, UK, pages 71--80. LNCS, Springer, June 2001.

Cited By

View all
  • (2010)Termination analysis of business process workflowsProceedings of the 5th International Workshop on Enhanced Web Service Technologies10.1145/1883133.1883137(18-25)Online publication date: 1-Dec-2010
  • (2010)Extending and Formalizing UML 2.0 Activity Diagrams for the specification of time-constrained business processes2010 Fourth International Conference on Research Challenges in Information Science (RCIS)10.1109/RCIS.2010.5507368(93-100)Online publication date: May-2010

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SAC '08: Proceedings of the 2008 ACM symposium on Applied computing
March 2008
2586 pages
ISBN:9781595937537
DOI:10.1145/1363686
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: 16 March 2008

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. business process management
  2. process algebra
  3. workflows

Qualifiers

  • Poster

Conference

SAC '08
Sponsor:
SAC '08: The 2008 ACM Symposium on Applied Computing
March 16 - 20, 2008
Fortaleza, Ceara, Brazil

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25
The 40th ACM/SIGAPP Symposium on Applied Computing
March 31 - April 4, 2025
Catania , Italy

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 17 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2010)Termination analysis of business process workflowsProceedings of the 5th International Workshop on Enhanced Web Service Technologies10.1145/1883133.1883137(18-25)Online publication date: 1-Dec-2010
  • (2010)Extending and Formalizing UML 2.0 Activity Diagrams for the specification of time-constrained business processes2010 Fourth International Conference on Research Challenges in Information Science (RCIS)10.1109/RCIS.2010.5507368(93-100)Online publication date: May-2010

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media