Abstract | ||
---|---|---|
Middleware support for business process management (BPM) has met some of the challenges with respect to encoding, performance and maintenance of workflows. A remaining challenge is complexity: business processes are becoming widely distributed, interoperating across a range of inter- and intra-organizational behaviours, vocabularies and semantics. It is important that this semantic complexity is checked and analyzed for optimality and trustworthiness prior to deployment. Petri nets are a formal method that successfully provides behavioural analysis. A shortcoming of Petri nets is that the data exchanged between business activities abstract too far away from the importance of data in actual business processes. This paper addresses this abstraction gap via additional semantic enrichment, through a two stage, model-driven approach. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/ITNG.2008.237 | Las Vegas, NV |
Keywords | Field | DocType |
business process,middleware support,business process development,actual business process,petri net,abstraction gap,behavioural analysis,semantically-enriched environment,additional semantic enrichment,business process management,business activity,semantic complexity,open systems,interoperability,semantic web,computer science,formal method,petri nets,formal specification,terminology,ontologies,middleware,owl,data exchange | Artifact-centric business process model,Business process management,Software engineering,Business process,Computer science,Process architecture,Business process modeling,Business process discovery,Business rule,Business Process Model and Notation,Distributed computing,Process management | Conference |
ISBN | Citations | PageRank |
0-7695-3099-0 | 2 | 0.38 |
References | Authors | |
5 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Iman Poernomo | 1 | 428 | 27.61 |
Timur Umarov | 2 | 2 | 1.73 |