Cited By
View all- Zhang YLiao LXu CShi L(2017)Situation Semantics Aggregator for Realtime Simulation on Organizational Behaviors2017 IEEE Trustcom/BigDataSE/ICESS10.1109/Trustcom/BigDataSE/ICESS.2017.304(714-720)Online publication date: Aug-2017
An algebraic specification language for organizational behavior of OOMAS
Authors: 
Yan Zhang, Lejian LiaoAuthors Info & Claims
Yan Zhang, Lejian LiaoAuthors Info & ClaimsPages 1 - 6
Abstract
Organization-oriented multi-agent system (OOMAS) points out organizational behaviors for self-organization. Existing development methods of organizational behaviors depend on preestablished organization structures during the development phase. For this reason, OOMASs are inefficient for simulation of large-scale cliques of attackers in cyber. To solve this issues, we propose an specification language organizational behaviors to support reorganization from bottom-up way during the application phase. Based on theory of abstract data type (ADT), the behavioral functions are defined to support type description of organizational behaviors. We present abstract syntax of organizational behaviors for specification language. We explore the homomorphism and isomorphism between behavioral algebras for organizational behaviors to preserve relevances between them.
References
[1]
M. Al-Zinati, F. Araujo, D. Kuiper, J. Valente, and R. Z. Wenkstern. Divas 4.0: A multi-agent based simulation framework. In Ieee/acm International Symposium on Distributed Simulation and Real Time Applications, pages 105–114, 2013.
[2]
E. Brady. Idris, a general-purpose dependently typed programming language: Design and implementation. Journal of Functional Programming, 23(5):552–593, 2013.
[3]
S. J. Casare, A. A. F. Brando, Z. Guessoum, and J. S. Sichman. Medee method framework: a situational approach for organization-centered mas. Autonomous Agents and Multi-Agent Systems, 28(3):430–473, 2014.
[4]
C. Castelfranchi. Commitments: From individual intentions to groups and organizations. In In Proceedings of the International Conference on Multiagent Systems, pages 41–48, 1995.
[5]
C. Cohen and A. Mrtberg. A coq formalization of finitely presented modules. Lecture Notes in Computer Science, 8558:193–208, 2014.
[6]
E. H. Durfee, D. Damouth, M. Huber, T. A. Montgomery, and S. Sen. The search for coordination: Knowledge-guided abstraction and search in a hierarchical behavior space. In Selected papers from the 4th European Workshop on on Modelling Autonomous Agents in a Multi-Agent World, Artificial Social Systems, pages 186–206, 1992.
[7]
J. Ferber, O. Gutknecht, and F. Michel. From Agents to Organizations: An Organizational View of Multi-agent Systems. Springer Berlin Heidelberg, 2004.
[8]
J. A. Goguen, R. R. Gudwin, P. B. Andersen, C. A. C. Simoni, M. C. C. Baranaukas, J. Filipe, P. J. Charrel, E. Revilla, J. S´l´ cnchez-Alarcos, and H. Will. Virtual, distributed and flexible organisations. Studies in Organisational Semiotics, 2003.
[9]
J. He and T. Hoare. Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers. Springer Berlin Heidelberg, Berlin, Heidelberg, 2006.
[10]
C. Hoare. Communicating Sequential Processes. PrenticeHall Englewood Cliffs, 1985.
[11]
C. A. R. T. Hoare, B. M?ller, G. Struth, and I. Wehrman. Concurrent kleene algebra. CONCUR 2009 - Concurrency Theory, 5827:399–414, 2009.
[12]
J. K. Hou, W. H. Yang, M. A. Jun, W. J. Cheng, S. University, and J. Nan. Semantic description framework for architecture-centric model transformation. Journal of Software, 20(8):2113–2123, 2009.
[13]
C. Hu, X. Mao, M. Li, and Z. Zhu. Organization-based agent-oriented programming: model, mechanisms, and language. Frontiers of Computer Science, 8(1):33–51, 2014.
[14]
C. Hu, X. Mao, and H. Zhou. Programming Dynamics of Multi-Agent Systems. Springer Berlin Heidelberg, 2011.
[15]
M. Letzsch. XABSL - A Behavior Engineering System for Autonomous Agents Diploma Thesis. PhD thesis, Diploma thesis. Humboldt-Universitt zu Berlin, 2004.
[16]
S. Liang, P. Hudak, and M. Jones. Monadtransformersand modular interpreters. In Acm Symposium on Principles of Programming Languages Acmpress, pages 333–343, 1998.
[17]
I. A. Mason and C. L. Talcott. Actor languages their syntax, semantics, translation, and equivalence. Theoretical Computer Science, 220(2):409–467, 1999.
[18]
H. Meng, Q. Mai, and S. An. A multi-agent simulation framework for organization behavior of large scale engineering project. In Proceedings of 2010 The 3rd International Conference on Computational Intelligence and Industrial Application, pages 367–375, 2010.
[19]
J. Meseguer. A logical theory of concurrent objects. Acm Sigplan Notices, 25(10):101–115, 1990.
[20]
R. Milner. Functions as processes. Mathematical Structures in Computer Science, 2(2):167–180, 1992.
[21]
R. Mines, F. Richman, and W. Ruitenburg. A course in constructive algebra. Universitext, 73(465), 1988.
[22]
O. Nierstrasz and M. Papathomas. Viewing object as patterns of communicating agents. Acm Sigplan Notices, 25(10):38–43, 1990.
[23]
O. Nierstrasz and M. Papathomas. Towards a type theory for active objects. SIGPLAN OOPS Mess., 2(2):89–93, Apr. 1991.
[24]
U. Norell. Towards a practical programming language based on dependent type theory. Chalmers University of Technology, 2007.
[25]
R. W. Pew and A. S. Mavor. Modeling human and organizational behavior : application to military simulations. National Academy Press, 1998.
[26]
Y. Qu. Software behavioristics(Chinese). House of Electronics Industry, 2004.
[27]
Y. Qu. Formal Semantics Foundation and Formal Description(Second Edition)(Chinese). Science Press, 2010.
[28]
Y. Qu and J. Qiu. Software behavioristics(Chinese). Science Press, 1992.
[29]
S. Sharma. Simulation and modeling of group behavior during emergency evacuation. In Intelligent Agents, 2009. IA ’09. IEEE Symposium on, pages 122 – 127, 2009.
[30]
J. Smith. The identification of propositions and types in Martin-Lf ’s type theory: A programming example. Springer Berlin Heidelberg, 1983.
[31]
T. Uchiya and T. Kinoshita. Behavior Analyzer for Developing Multiagent System on Repository-Based Multiagent Framework. Springer Berlin Heidelberg, 2011.
[32]
K. D. Volder and W. D. Meuter. Type oriented programming. In Workshops on Object-Oriented Technology, pages 123–125, 1997.
[33]
Y. Wang and X. Tan. The formal design models of tree architectures and behaviors. International Journal of Computational Intelligence Applications, 3(4):84–108, 2011.
[34]
Y. Wang, X. Tan, C. F. Ngolah, and P. Sheu. The formal design models of a set of abstract data types adts. International Journal of Software Science Computational Intelligence, 2(4):72–100, 2010.
[35]
J. C. Willems. Thoughts on system identification. In Control of uncertain systems: modelling, approximation, and design, volume 329 of Lecture Notes in Control and Inform. Sci., pages 389–416. Springer, Berlin, 2006.
[36]
J. C. Willems and Y. Yamamoto. Behaviors defined by rational functions. Linear Algebra Its Applications, 425(s 2´lC3):226–241, 2007.
[37]
X. Yu and J. J. Hickey. Formalizing abstract algebra in constructive set theory. California Institute of Technology, 2002.
[38]
V. Ziparo. Petri net plans - a framework for collaboration and coordination in multi-robot systems. Autonomous Agents and Multi-Agent Systems, 23(3):344–383, 2011.
Index Terms
- An algebraic specification language for organizational behavior of OOMAS
Recommendations
The Relationship between Organizational Citizenship Behavior and Entrepreneurial Orientation: A Research in the Hospitality Industry
AbstractIn the 21st century, the most important intellectual capital that makes organizations successful is the employee. The critical point for fierce competition and survival of the organizations is the ability of management of employees’ attitude and ...
Introducing a Model of Relationship Between Knowledge Sharing Behavior and Organizational Citizenship Behavior and Positively Orientated Organizational Behavior: A Two-Wave Study
This study investigates the effects of employees' positively oriented organizational behavior and organizational citizenship behavior OCB use on knowledge sharing behavior after a two-month period. Based on previous research, it was expected that: 1 ...
Managing the diffusion of organizational learning behavior
This paper addresses the need for organizations to manage the transformation from traditional hierarchical models to `learning organizations.' We propose a five-stage methodology useful in the diffusion of behaviors associated with organizational ...
Comments
Information & Contributors
Information
Published In
September 2016
34 pages
Copyright © 2016 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 03 September 2016
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
ASE'16: ACM/IEEE International Conference on Automated Software Engineering
September 3, 2016
Singapore, Singapore
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 93Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)0
Reflects downloads up to 25 Feb 2025
Other Metrics
Citations
Cited By
View all- Zhang YLiao LXu CShi L(2017)Situation Semantics Aggregator for Realtime Simulation on Organizational Behaviors2017 IEEE Trustcom/BigDataSE/ICESS10.1109/Trustcom/BigDataSE/ICESS.2017.304(714-720)Online publication date: Aug-2017
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in