CAISE 2007 - PDF Preprint Papers

CAISE 2007 Advances Information System Engineering

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CAISE-2007 Paper

click to vote

CAISE
2007
Springer

205views Information Technology» more CAISE 2007»

Formalization and Verification of EPCs with OR-Joins Based on State and Context

14 years 4 months ago

Download is.tm.tue.nl

The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...

Jan Mendling, Wil M. P. van der Aalst

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	205	Formalization and Verification of EPCs with OR-Joins Based on State and Context	claim
2	138	Analyzing the Business of Software: A Modelling Technique for Software Supply Networks	claim
3	136	Measuring Model Transformation in Model Driven Development	claim
4	132	Declarative XML Data Cleaning with XClean	claim
5	131	Conceptual Modeling of Privacy-Aware Web Service Protocols	claim
6	124	Generic Schema Merging	claim
7	123	Analyzing the Dynamic Cost Factors of Process-Aware Information Systems: A Model-Based Approach	claim
8	123	A Blackboard Architecture for Workflows	claim
9	117	Towards more Reuse in Conceptual Modeling - A Combined Approach using Contexts	claim
10	117	Assessing Feasibility of IT-Enabled Networked Value Constellations: A Case Study in the Electricity Sector	claim
11	117	A Semantic-based Approach for Compliance Management of Internal Controls in Business Processes	claim
12	115	Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction	claim
13	113	Generating Multidimensional Schemas from the Semantic Web	claim
14	110	Achieving trust in IT outsourcing relationships	claim
15	109	Negotiating Models	claim
16	109	Deciding to Adopt Requirements Traceability in Practice	claim
17	107	A Context-based Approach for Complex Semantic Matching	claim
18	104	Modeling Ubiquitous Business Process Driven Applications	claim
19	104	Change Patterns and Change Support Features in Process-Aware Information Systems	claim
20	104	Fact-Oriented Business Rule Modeling in the Event Perspective	claim
21	103	Publishing and Discovering Information and Services for Tagged Products	claim
22	102	Rule-based Autocompletion of Business Process Models	claim
23	102	Error Metrics for Business Process Models	claim
24	102	Grid Services for Efficient Decentralized Indexation and Query Execution on Distributed Data Warehouses	claim
25	101	Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA	claim
26	100	A weighted coupling metric for business process models	claim
27	100	Automatic Generation of Model Translations	claim
28	98	Communication Abstractions for Distributed Business Processes	claim
29	96	Specification and Verification of Authorization Policies for Web Services Composition	claim
30	94	Peer-to-Peer Execution of BPEL Processes	claim
31	93	Situational Method Engineering: Fragments or Chunks?	claim
32	90	Principles of Screenography	claim
33	82	Personalizing PageRank-Based Ranking over Distributed Collections	claim
34	81	Incorporating Completeness Quality Support in Internet Query Systems	claim
35	78	Automated Semantic Analyses of Conceptual Models	claim
36	77	PICTURE - A new Approach for Domain-Specific Process Modelling	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers