Search Sciweavers | Sciweavers

54

VVEIS
2007

175views Information Technology» more VVEIS 2007»

Checking Properties of Business Process Models with Logic Programming

14 years 6 hour ago

Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...

Volker Gruhn, Ralf Laue

claim paper

Read More »

43

click to vote

VVEIS
2007

106views Information Technology» more VVEIS 2007»

Checking Complex Compositions of Web Services Against Policy Constraints

14 years 6 hour ago

Download www.cs.ucl.ac.uk

Research in web services has allowed reusable, distributed, loosely coupled components which can easily be composed to build systems or to produce more complex services. Compositio...

Andrew Dingwall-Smith, Anthony Finkelstein

claim paper

Read More »

38

click to vote

VVEIS
2007

103views Information Technology» more VVEIS 2007»

UML-driven Information Systems and their Formal Integration Validation and Distribution

14 years 6 hour ago

Download wwwiti.cs.uni-magdeburg.de

Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...

Nasreddine Aoumeur, Gunter Saake

claim paper

Read More »

27

click to vote

VVEIS
2007

88views Information Technology» more VVEIS 2007»

Transformation of BPMN Models for Behaviour Analysis

14 years 6 hour ago

Download www.win.tue.nl

Abstract. In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business process...

Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, J...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers