Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

31

IJCIS
2006

favoriteEmaildiscussreport

71views more IJCIS 2006»

A Formal Analysis of a Business Contract Language

13 years 11 months ago

A Formal Analysis of a Business Contract Language

Download espace.uq.edu.au

Guido Governatori, Zoran Milosevic

Real-time Traffic

IJCIS 2006 |

claim paper

Related Content

» Checking correctness of business contracts via commitments

» Using Event Semantics for Modeling Contracts

» Towards a formal framework for Choreography

» Towards a Methodology for Deriving ContractCompliant Business Processes

» Assuring Consistency of Business Process Models and Web Services Using Visual Contracts

» Model Checking Correctness Properties of Electronic Contracts

» TraceContract A Scala DSL for Trace Analysis

» Business Process and Business Rule Modeling Languages for Compliance Management A Represen...

» Transformation of SBVR Compliant Business Rules to Executable FCL Rules

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	IJCIS
Authors	Guido Governatori, Zoran Milosevic

Comments (0)