skip to main content
10.1145/2723839.2723847acmotherconferencesArticle/Chapter ViewAbstractPublication Pagess-bpmoneConference Proceedingsconference-collections
research-article

Towards the automated business process building by means of type theory

Published: 23 April 2015 Publication History

Abstract

An approach to automated construction of executable business process models based on formal goal description is proposed. The methodology is founded on the type theory notions which on the one hand give means for logical goal description and its refinement and on the other hand enable to bind this description to the executable program expressed as a composition of computational objects. The proposed methodology covers the whole procedure of the business process construction and enables to minimize the need to involve the IT workforce.

References

[1]
H. Barendregt. Introduction to generalized type systems. Journal of functional programming, 1(2): 125--154, 1991. 00263.
[2]
A. Bove, P. Dybjer, and U. Norell. A brief overview of Agda --- a functional language with dependent types. In Theorem Proving in Higher Order Logics, pages 73--78. Springer, 2009.
[3]
A. Gromoff, N. Kazantsev, D. Kozhevnikov, M. Ponfilenok, and Y. Stavenko. Newer approach to create flexible business architecture of modern enterprise. Global Journal of Flexible Systems Management, 13(4): 207--215, Mar. 2013.
[4]
G. Huet, G. Kahn, and C. Paulin-Mohring. The Coq Proof Assistant A Tutorial. Rapport Technique, 178, 1997.
[5]
J. Lu and J. Xu. Analogical program derivation based on type theory. Theoretical Computer Science, 113(2): 259--272, June 1993.
[6]
B. C. Pierce. Types and programming languages. The MIT Press, 2002.
[7]
V. Roslovtsev, L. Shumsky, E. Belyaev, A. Bordonos, and N. Kazantsev. A synthetic approach to building a canonical model of subject areas in the integration bus. In ISKO-Maghreb, 3rd International Symposium, 2013.
[8]
H. Ruess. Towards high-level deductive program synthesis based on type theory. In Knowledge-Based Software Engineering Conference, pages 174--174. IEEE Computer Society, 1995.
[9]
L. Shumsky, V. Roslovtsev, and V. Wolfengagen. Processes Construction and π-calculus-based Execution and Tracing. ICEIS 2014 -- Proceedings of the 16th International Conference on Enterprise Information Systems, 2: 448--453, 2014.
[10]
M. H. Sørensen and P. Urzyczyn. Lectures on the Curry-Howard isomorphism, volume 149. Access Online via Elsevier, 2006.

Cited By

View all
  • (2016)Some considerations on the implementation of OLAP technology in small and middle companiesIMK-14 - Istrazivanje i razvoj10.5937/IMK1602037N22:4(37-41)Online publication date: 2016
  • (2016)Type-theoretic Means for Querying Heterogeneous Data Sources Available via Cloud APIsProcedia Computer Science10.1016/j.procs.2016.08.08996:C(951-960)Online publication date: 1-Oct-2016

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
S-BPM ONE '15: Proceedings of the 7th International Conference on Subject-Oriented Business Process Management
April 2015
182 pages
ISBN:9781450333122
DOI:10.1145/2723839
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 the author(s) 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

  • IANES: Interactive Acquisition, Negotiation and Enactment of Subject-Oriented Business Process Knowledge
  • StrICT Solutions: StrICT Solutions GmbH
  • I2PM: Institute of Innovative Process Management
  • Christian-Albrechts-Universität zu Kiel: Christian-Albrechts-Universität zu Kiel
  • Metasonic: Metasonic GmbH
  • ConsSys IT AG: ConsSys IT AG
  • Wirtschaftsakademie Schleswig-Holstein: Wirtschaftsakademie Schleswig-Holstein GmbH

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 April 2015

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. business process management
  2. business process modelling
  3. business process semantics
  4. business-goal
  5. business-process
  6. type theory

Qualifiers

  • Research-article

Conference

S-BPM ONE '15
Sponsor:
  • IANES
  • StrICT Solutions
  • I2PM
  • Christian-Albrechts-Universität zu Kiel
  • Metasonic
  • ConsSys IT AG
  • Wirtschaftsakademie Schleswig-Holstein

Acceptance Rates

Overall Acceptance Rate 28 of 54 submissions, 52%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

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

Other Metrics

Citations

Cited By

View all
  • (2016)Some considerations on the implementation of OLAP technology in small and middle companiesIMK-14 - Istrazivanje i razvoj10.5937/IMK1602037N22:4(37-41)Online publication date: 2016
  • (2016)Type-theoretic Means for Querying Heterogeneous Data Sources Available via Cloud APIsProcedia Computer Science10.1016/j.procs.2016.08.08996:C(951-960)Online publication date: 1-Oct-2016

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