Progressing Collaborative Systems
سال انتشار: 1393
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 646
فایل این مقاله در 9 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_ACSIJ-3-3_011
تاریخ نمایه سازی: 5 شهریور 1393
چکیده مقاله:
This paper builds on existing multiset rewriting models for collaborative systems. We formalize Progressing Collaborative Systems by restricting repetitions of actions. Namely, we consider processes where instances of actions are used only a bounded number of times. Administrative processes usually involve such progressing behavior, i.e. whenever a transaction is performed, it does not need to be repeated. We investigate the complexity of the reachability problem and the planning problem for Progressing Collaborative Systems that may create fresh values. We show that these problems are NP-complete when actions are balanced and the size of facts is bounded.
کلیدواژه ها:
نویسندگان
Max Kanovich
University College London, UCL-CS, UK,
Tajana Ban Kirigin
Queen Mary, University of London
Vivek Nigam
Federal University of Para´ıba, Brazil
Andre Scedrov
University of Pennsylvania, USA