## 4 Conclusion
Agents Multi-Agent Syst._**2014**, _28_, 214-255. * [PERSON] et al. (2010) [PERSON]; [PERSON] [PERSON]; [PERSON]; [PERSON] A technique for defining agent-oriented engineering processes with tool support. _Eng. Appl. Artif. Intell._**2010**, _23_, 432-444. * [PERSON] and [PERSON] (2016) [PERSON]; [PERSON] Business and model-driven development of BDI multi-agent system. _Neurocomputing_**2016**, _182_, 304-321. * [PERSON] et al. (2011) [PERSON]; [PERSON]; [PERSON]; [PERSON] _Social Modeling for Requirements Engineering: The Complete Book_; MIT Press: Cambridge, MA, USA, 2011. * [PERSON] et al. (2002) [PERSON]; [PERSON]; [PERSON]; [PERSON] A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras. In _International Workshop on Innovative Internet Community Systems_; Springer: Berlin/Heidelberg, Germany, 2002; pp. 217-228. * [PERSON] et al. (2003) [PERSON]; [PERSON]; [PERSON] [PERSON]; [PERSON] A Multi-Agent System for e-barter including Transaction and Shipping Costs. In Proceedings of the 2003 ACM Symposium on Applied Computing, Melbourne, FL, USA, 9-12 March 2003; pp. 587-594. * [PERSON] et al. (2005) [PERSON]; [PERSON]; [PERSON] Formal specification of multi-agent e-barter systems. _Sci. Comput. Programm._**2005**, _57_, 187-216, doi:10.1016/j.scico.2005.01.002. * [PERSON] (2004) [PERSON]; [PERSON] Automated test scenarios generation for an e-barter system. In Proceedings of the 2004 ACM Symposium on Applied Computing\(-\)SAC '04, New York, NY, USA, 14-17 March 2004; p. 795. * International Telecommunication Union (ITU). _Telecommunication Standardization, Specification and Description Language (SDL)_; Technical Report Z-100; ITU: Geneva, Switzerland, 2011; p. 206. * [PERSON] and [PERSON] (2004) [PERSON]; [PERSON] Web Service Business Process Execution Language, Working Draft, Version 2.0, 1; 2004. Available online: [[https://www.uni-ulm.de/fileadmin/website_uni_ulm/uii.emisa/Downloads/emisaforum06.pdf](https://www.uni-ulm.de/fileadmin/website_uni_ulm/uii.emisa/Downloads/emisaforum06.pdf)]([https://www.uni-ulm.de/fileadmin/website_uni_ulm/uii.emisa/Downloads/emisaforum06.pdf](https://www.uni-ulm.de/fileadmin/website_uni_ulm/uii.emisa/Downloads/emisaforum06.pdf)) (accessed on 7 April 2018). * [PERSON] et al. (2007) [PERSON]; [PERSON]; [PERSON]; [PERSON] [PERSON] From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Services. _J. UCS_**2007**, _13_, 2035-2075, doi:10.3217/jucs-013-13-2035. * [PERSON] et al. (2009) [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON] Increasing bid expressiveness for effective and balanced e-barter trading. _Lect. Notes Comput._**2009**, _5397 LNAI_, 128-142, doi:10.1007/978-3-540-93920-7_9. * [PERSON] (2009) [PERSON] Barter Double Auction as Model for Bilateral Social Cooperations. In Proceedings of the 1 st Computer Science and Electronic Engineering Conference (CEEC'09), Colchester, UK, 19-21 September 2009; pp. 1-7. * [PERSON] and [PERSON] (2011) [PERSON]; [PERSON] [PERSON] A Case Study on the Development of Electronic Barter Systems using Software Agents. In Proceedings of the 5 th Turkish National Software Engineering Symposium (UYMS 2011), Ankara, Turkey, 26-28 September 2011; pp. 123-126. * [PERSON] and [PERSON] (2002) [PERSON]; [PERSON] Applying the MAS-CommonKADS Methodology to the Flights Reservation Problem: Integrating Coordination and Expertise. In Proceedings of the 5 th Joint Conference on Knowledge-Based Software Engineering, Maribor, Slovenia, 11-13 September 2002. * [PERSON] et al. (2017) [PERSON]; [PERSON]; [PERSON] A survey of self-organization mechanisms in multiagent systems. _IEEE Trans. Syst. Man Cybern. Syst._**2017**, _47_, 441-461. * [PERSON] et al. (2014) [PERSON]; [PERSON]; [PERSON] The Formal Semantics of a Domain-specific Modeling Language for Semantic Web enabled Multi-agent Systems. _Int. J. Coop. Inf. Syst._**2014**, _23_, 1-53, doi:10.1142/S0218843014500051. * [PERSON] et al. (2016) [PERSON]; [PERSON]; [PERSON]; [PERSON] Declarative specifications for the Development of Multi-agent Systems. _Comput.