Extended Collaboration Description Language (X-CODL)

Author

Zhang, Jia

Author_Institution

Dept. of Comput. Sci., Northern Illinois Univ., DeKalb, IL

fYear

2006

fDate

Oct. 2006

Firstpage

56

Lastpage

66

Abstract

Enterprise computing requires seamless collaboration between business parties. One major factor that decides the success of collaboration activities is coordination. In this paper, we introduce an Extended Collaboration Description Language (X-CODL) as a plug in to define collaboration-related coordination requirements in a uniform manner. Bound to multiple coordination points of discussion threads, X-CODL realizes fine-grained coordination control. We also propose a mechanism to formally verify and reason about X-CODL specifications through colored Petri nets

Keywords

Petri nets; business data processing; formal verification; specification languages; Extended Collaboration Description Language; X-CODL; collaboration-related coordination requirements; colored Petri nets; enterprise computing; fine-grained coordination control; formal verification; Collaboration; Collaborative work; Computer science; Distributed computing; Object oriented modeling; Petri nets; Plugs; Rail to rail outputs; Virtual machining; Yarn; CPN; X-CODL; collaboration coordination; verification;

fLanguage

English

Publisher

ieee

Conference_Titel

Enterprise Distributed Object Computing Conference, 2006. EDOC '06. 10th IEEE International

Conference_Location

Hong Kong

ISSN

1541-7719

Print_ISBN

0-7695-2558-X

Type

conf

DOI

10.1109/EDOC.2006.26

Filename

4031195