Semantic methods for execution-level business modeling: Modeling support through process verification and service composition

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

5 Scopus citations

Original language	English
Title of host publication	Semantic Methods for Execution-Level Business Modeling
Subtitle of host publication	Modeling Support Through Process Verification and Service Composition
Publisher	Springer Verlag
Pages	1-303
Number of pages	303
ISBN (Print)	9783642050848
State	Published - 2009
Externally published	Yes

Name	Lecture Notes in Business Information Processing
Volume	40 LNBIP
ISSN (Print)	1865-1348

Cite this

Weber, I. M. (2009). Semantic methods for execution-level business modeling: Modeling support through process verification and service composition. In Semantic Methods for Execution-Level Business Modeling: Modeling Support Through Process Verification and Service Composition (pp. 1-303). (Lecture Notes in Business Information Processing; Vol. 40 LNBIP). Springer Verlag.

@inbook{065a6c727d7e49d98bbb25cd8f744bac,

title = "Semantic methods for execution-level business modeling: Modeling support through process verification and service composition",

author = "Weber, \{Ingo M.\}",

year = "2009",

language = "English",

isbn = "9783642050848",

series = "Lecture Notes in Business Information Processing",

publisher = "Springer Verlag",

pages = "1--303",

booktitle = "Semantic Methods for Execution-Level Business Modeling",

}

Semantic methods for execution-level business modeling: Modeling support through process verification and service composition. / Weber, Ingo M.
Semantic Methods for Execution-Level Business Modeling: Modeling Support Through Process Verification and Service Composition. Springer Verlag, 2009. p. 1-303 (Lecture Notes in Business Information Processing; Vol. 40 LNBIP).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - Semantic methods for execution-level business modeling

T2 - Modeling support through process verification and service composition

AU - Weber, Ingo M.

PY - 2009

Y1 - 2009

UR - https://www.scopus.com/pages/publications/84876316784

M3 - Chapter

AN - SCOPUS:84876316784

SN - 9783642050848

T3 - Lecture Notes in Business Information Processing

SP - 1

EP - 303

BT - Semantic Methods for Execution-Level Business Modeling

PB - Springer Verlag

ER -