Pub Date : 1900-01-01DOI: 10.4018/978-1-60566-256-5.CH006
V. Popova, A. Sharpanskykh
This chapter introduces a formal framework for modeling and analys is of organizations. It allows representing and reasoning about all important aspects of artificial and human organizations structured in a number of views, including performance-oriented, process-oriented, powerand interaction-related aspects. The framework provides means to model formal (pre)defined organizational structures and dynamics, informal relations and behavior of organizational actors. The meaning attached to the modeling concepts is specified based on the literature from Social Science. Unlike many existing organization modeling approaches the proposed framework has formal foundations based on the ordersorted predicate logic which enables different types of analysis of organizational specifications of particular views and across views. The framework allows scalability of modeling and analysis of complex organizations, by considering them at different aggregation levels. Furthermore, the framework provides support for real-time management of organizational processes. The framework was applied in several case studies, one of which is discussed here.
{"title":"A Formal Framework for Organization Modeling and Analysis","authors":"V. Popova, A. Sharpanskykh","doi":"10.4018/978-1-60566-256-5.CH006","DOIUrl":"https://doi.org/10.4018/978-1-60566-256-5.CH006","url":null,"abstract":"This chapter introduces a formal framework for modeling and analys is of organizations. It allows representing and reasoning about all important aspects of artificial and human organizations structured in a number of views, including performance-oriented, process-oriented, powerand interaction-related aspects. The framework provides means to model formal (pre)defined organizational structures and dynamics, informal relations and behavior of organizational actors. The meaning attached to the modeling concepts is specified based on the literature from Social Science. Unlike many existing organization modeling approaches the proposed framework has formal foundations based on the ordersorted predicate logic which enables different types of analysis of organizational specifications of particular views and across views. The framework allows scalability of modeling and analysis of complex organizations, by considering them at different aggregation levels. Furthermore, the framework provides support for real-time management of organizational processes. The framework was applied in several case studies, one of which is discussed here.","PeriodicalId":344795,"journal":{"name":"Handbook of Research on Multi-Agent Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117044127","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.4018/978-1-60566-256-5.CH018
S. Fatima, M. Wooldridge
This chapter presents an adaptive organizational policy for multi-agent systems called TRACE. TRACE allows a collection of multi-agent organizations to dynamically allocate tasks and resources between themselves in order to efficiently process and incoming stream of tasks. The tasks have deadlines and their arrival pattern changes over time. Hence, at any instant, some organizations could have surplus resources while others could become overloaded. In order to minimize the number of lost requests caused by an overload, the allocation of resources to organizations is changed dynamically by using ideas from microeconomics. We formally show that TRACE has the ability to adapt to load variations, reduce the number of lost requests, and allocate resources to computations on the basis of their criticality. Furthermore, although the solution generated by TRACE is not always Pareto-optimal, TRACE has the properties of feasibility and monotonicity that make it well suited to time-constrained applications. Finally, we present experimental results to demonstrate the performance of TRACE.
{"title":"A Framework for Dynamic Agent Organizations","authors":"S. Fatima, M. Wooldridge","doi":"10.4018/978-1-60566-256-5.CH018","DOIUrl":"https://doi.org/10.4018/978-1-60566-256-5.CH018","url":null,"abstract":"This chapter presents an adaptive organizational policy for multi-agent systems called TRACE. TRACE allows a collection of multi-agent organizations to dynamically allocate tasks and resources between themselves in order to efficiently process and incoming stream of tasks. The tasks have deadlines and their arrival pattern changes over time. Hence, at any instant, some organizations could have surplus resources while others could become overloaded. In order to minimize the number of lost requests caused by an overload, the allocation of resources to organizations is changed dynamically by using ideas from microeconomics. We formally show that TRACE has the ability to adapt to load variations, reduce the number of lost requests, and allocate resources to computations on the basis of their criticality. Furthermore, although the solution generated by TRACE is not always Pareto-optimal, TRACE has the properties of feasibility and monotonicity that make it well suited to time-constrained applications. Finally, we present experimental results to demonstrate the performance of TRACE.","PeriodicalId":344795,"journal":{"name":"Handbook of Research on Multi-Agent Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132463694","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：