عنوان مقاله
مدلسازی و اجرای جریان کار با شبکه پتری رنگی در بازار خدمات مشترک باز (COSM)
فهرست مطالب
چکیده و مقدمه
اجرای برنامه کاربردی درCOSM
مدلسازی جریان کار با شبکه های پتری رنگی
ادغام نمایش هایCPN درCOSM
اجرای پیش نمونه یا الگوی کنونی
نتیجه گیری و چشم انداز
بخشی از مقاله
جریان کنترل برای Generic Clients
GC رفتار و راهکار نمایش سرویس را به شیوه ای عمومی سازماندهی می کند. برای این کار از یک مکانیسم مجرد سازی موسوم به (TFS) استفاده می گردد. این تکنیک براساس شبکه های رویداد/ شرط(شرایط) عمل می کند که نشانه ها خود شبکه های شروط و رویدادهایی هستند که با نشانه های بی نام نشانه گذاری و علامتگذاری شده اند.
کلمات کلیدی:
Workflow Modeling and Execution with Coloured Petri Nets in COSM M. Merz, D. Moldt, K. Müller, W. Lamersdorf University of Hamburg Department of Computer Science Vogt-Kölln-Str. 30 - D-22527 Hamburg, Germany [merz|moldt|kmueller|lamersd]@informatik.uni-hamburg.de Abstract Modern distributed organisations use data communication increasingly fast, globally and at decreasing costs. Such developments facilitate flexible access to decentralized services in open networks and also allow coordination of complex interorganizational tasks as distributed applications. This paper describes concepts and recent extensions to the distributed systems architecture COSM (Common Open Service Market) which supports integrated design, implementation, and execution of both access to arbitrary services in open networks and concurrent workflow modeling. Formal basis of the workflow model are Coloured Petri Nets (CPN) which provide powerful means to specify and verify activity coordination in concurrent environments. CPN specifications, however, usually lack automated tool support for transforming them into efficiently executable applications. COSM, on the other hand, already provides a generic platform to manage distributed services (i.e. their properties, interfaces, etc.) in order to enable human users to engage easily in ad-hoc sessions with arbitrary service providers in open network environments. Extending COSM service descriptions with CPN workflow representations integrates dynamic workflow modeling into the system supported COSM service management platform. It could therefore help to bridge the gap between concrete system support for open distributed applications and formal models of concurrent workflow specifications. This paper presents both a brief review of COSM concepts and prototype implementation details of its first CPN extensions, motivated by a workflow example from a real-world project environment. Keywords: Distributed Systems, Client/Server Computing, Workflow Management, Concurrent System Specification, Coloured Petri Nets 1. Introduction Todays global communication infrastructure allows to interconnect intercontinental organizational networks at fairly moderate communication costs. Internet information service infrastructures such as the World Wide Web (WWW), owe their success to both stable and ubiquitous availability of communication end-points and trivial infrastructure communication protocols. Such infrastructures are open not only in a technical sense - they are organizationally open since no application- (and organization-) specific adaption is required to access arbitrary distributed services with generic tools from anywhere in the network. On the other hand, socalled configured distributed service applications expect typically a specific communication behaviour from their users. Such semantic coherence is required for statefull servers as, for example, assumed in the Remote Database Access (RDA) protocol specification. In the long run, however, an increasingly large number of application-specific protocols can be expected which
