This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 268 - Formalism Task Force
Summary: Formalism Task Force
Status: RESOLVED FIXED
Alias: None
Product: WS Choreography
Classification: Unclassified
Component: Uncategorized (show other bugs)
Version: unspecified
Hardware: Other other
: P2 normal
Target Milestone: --
Assignee: Martin Chapman
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2003-07-15 09:40 UTC by Greg Ritzinger
Modified: 2003-07-15 13:51 UTC (History)
0 users

See Also:

Attachments

Description Greg Ritzinger 2003-07-15 09:40:57 UTC 
We should form a "formalism task force" that will investigate various formal 
models (including pi-calculus and event calculus) that we could use 
to "advise" us in our work.  The task force could analyze submitted use 
cases/requirements in terms of the formal models to provide examples
Comment 1 Greg Ritzinger 2003-07-15 09:51:04 UTC 
Resolved through formation of task force.