1<\/sup>Suresh Gyan Vihar University, 2<\/sup>Suresh Gyan Vihar University<\/p>\n Jaipur, India, Jaipur, India<\/p>\n 1<\/sup>ruchi.davey@gmail.com,\u00a02<\/sup>drdevesh.bandil@mygyanvihar.com<\/p>\n Abstract\u2014<\/em><\/strong>Process Algebra is a parallel operator as we know. It is very important \u00a0\u00a0in order to test non-trivial properties of the system. Process polynomial mathematics or Process Algebra as we all know is a scientific structure or a framework where system behavior is expressed as algebraic \u00a0terms, upgrading the accessible strategies for control, Utilizations and applicability of procedure variable based math exist in assorted fields, for example, security based frameworks, arrange conventions, System conduct or behavior \u00a0by and large comprises of procedures and information. Procedures are the control components for the control of information. These forms or processes can be dynamic and active or running, whereas the information that is associated is static and also passive . Framework conduct will in general be made out of a few procedures that are executed simultaneously, where these procedures trade information so as to impact each other’s behavior. The aim of this paper is to study the usefulness of Process Algebra in qualitative modeling of\u00a0\u00a0 multi agent system and value of Process Algebra in subjective displaying of multi operator framework \u00a0\u00a0or multi agent system modeling.<\/strong><\/p>\n \u00a0<\/strong>Index Terms<\/em><\/strong>\u2014<\/strong>BAS, Building Automation System, Modeling Petri nets, Multi agent System<\/p>\n Procedure Algebra or as most of us call it Process Algebra is an equal administrator which is never really down the framework into simultaneous segments so as to test non-inconsequential properties of the framework .This generic term comprises the study of communicating processes in an algebraic fashion. In this approach, atomic actions, algebraic operations and equation axioms are used to describe and analyze processes. Typically, a distributed system or concurrent protocol can be described as the concurrent execution of a number of elementary sub processes, possibly employing<\/p>\n synchronous or asynchronous communication .The external behavior of such a system can be obtained by abstracting from internal activity, and can then be matched against a ‘specification’ of the process This allows the verification of global correctness of the system .Process algebra provides an algebraic framework for such correctness issues.<\/p>\n \u00a0A process algebra is a formal description technique for complex computer systems, especially those with communicating, concurrently executing components. However, the advent of time<\/p>\n sharing, computer networking, parallel computing, object oriented programming, and graphical user interfaces has stressed and complicated the whole model. As per the growth that we have seen in past the computers are more for communication and connectivity rather than Computation and research and the best thing happened is that it is now the necessity \u00a0of the time.<\/p>\n If we start by the name as what we mean by a \u201cProcess\u201d and \u201cAlgebra\u201d then the definition would be<\/p>\n Definition 1. A group has a signature (G, *, u-1 ) with the laws<\/p>\n \u2013 a * (b * c) = (a * b) * c<\/p>\n \u2013 u * a = a = a * u<\/p>\n \u2013 a * a \u22121 = a \u22121 * a = u<\/p>\n A group is any mathematical structure with operators satisfying the group axioms. So whenever we wish to express behavior using process algebra we take axiomatic approach for studying the behavior of the group and definitely a group is a model of the equation theory[1]<\/p>\n If we go back checking the history of development of Process Algebra we find that in \u00a01980s, process algebras such as Tony Hoare\u2019s CSP (Calculus of Sequential Processes) [2]Bergstra and Klop\u2019s ACP (Algebra of Communicating Processes) [3] . J.C.M. Baeten and J.A. Bergstra. Real time process algebra. Formal Aspects of Computing, 3(2):142\u2013188, 1991, and Robin Milner\u2019s CCS (Calculus of Communicating Systems)[4]were introduced to give a richer theoretical model, using concurrency and synchronization as the fundamental primitives of a theory of interacting systems were introduced to give a richer theoretical model, using concurrency and synchronization as the fundamental primitives of a theory of interacting systems. Later, Milner introduced 15 the \u03c0-calculus [88A. Pnueli. The temporal logic of programs. In Proceedings 19th Symposium on Foundations of Computer Science, pages 46\u201357. IEEE, 1977.] which models mobile communication between processes using channel names: processes communicate by sending and receiving channel names, which makes it possible to represent dynamic networks of interacting processes, and gives a model rich enough to include \u00a0both concurrent communication and sequential computation (in particular, to encode the \u03bb-calculus [86]). To give a basic example, in the \u03c0-calculus we can describe a system with processes\/agents such as, A<\/p>\n A(y) , a.0 + y(x).A(x)<\/p>\n A number of different process algebras have been developed \u2013 ACP[15] \u00a0CCS and TCSP and all of them have discussed \u00a0\u00a0\u201cCompositional modeling\u201d which provides explicit representations for\u00a0modeling\u00a0assumptions to support automatic formulation of\u00a0models.Hence we have observed that Process algebras provide a small number of constructs for building larger systems up from smaller ones.For example CCS, contains six operators in total, including ones for composing systems in parallel and others for choice and scoping.<\/p>\n \u00a0Further as the \u00a0theory that existed is the theory of Petri nets\u00a0 conceived by Petri starting from his thesis in 1962 [84] C.A. Petri. Kommunikation mit Automaten. PhD thesis, Institut fuer Instrumentelle Mathematik, Bonn, 1962.We can distinguish three main styles of formal reasoning about computer programs, focusing on giving meanings\u00a0 to programming languages.<\/p>\n Behavioral reasoning via equivalences and preorders<\/p>\n Procedure algebras additionally include the utilization of conduct relations as a methods for relating various frameworks given in the polynomial math. These relations are normally equivalences, which catch a thought of ”same conduct”, or preorders, which further captures the ideas of ”refinement”. In a procedure arithmetical way to deal with framework confirmation, one ordinarily composes two details (I) call it SYS, catches the plan of the genuine framework and (II) call it SPEC, portrays the framework’s ideal “elevated level” conduct. One may then set up the accuracy of SYS as for SPEC by indicating that SYS carries on “equivalent to” SPEC (if utilizing identicalness) or by demonstrating that it refines SPEC (if utilizing a preorder). Setting up the rightness of SYS as for SPEC should be possible in a grammar arranged way or in a semantics-situated way. In the previous case, an axiomatization of the conduct connection of decision is utilized to show that one articulation can be changed into the other by means of syntactic controls. In the last case, one can advance straightforwardly to the meaning of the conduct connection, and to the operational semantics of the two articulations, to show that they are connected. In specific cases, e.g., when SYS and SPEC are “limited state”, check, be it linguistic structure based or semantics-based, can be completed.<\/p>\n Benefits of Algebric Approach of modeling:<\/p>\n The advantages to an algebraic approach are the \u00a0\u00a0\u00a0\u00a0\u00a0following.System designers need learn only one language for specifications and designs.Related processes may be substituted for one another inside other processes. This makes process algebras particularly suitable for the modular analysis of complex systems, since a specification and a design adhering to this specification may be used interchangeably inside larger systems. Procedures might be limited concerning the proportionality connection before being dissected; this occasionally prompts significant degrees of \u00a0improvement in the presentation of check schedules. Procedure mathematical framework portrayals can likewise be confirmed utilizing model checking 9[3], a method for determining if a named progress framework fulfills a rightness property given as a fleeting rationale recipe. Model checking has appreciated extensive accomplishment in application to equipment structures. Progress is currently being seen in other application areas, for example, programming and convention verification. Process polynomial math can be seen as a speculation of the traditional hypothesis of formal dialects and automata[10] concentrating on framework detail and conduct as opposed to language acknowledgment and age. Procedure variable based math additionally epitomizes the standards of cell automata 11 cells getting contributions from neighboring cells and afterward making fitting move – while including a thought of programmability: no determinism, dynamic topologies, advancing cell conduct, and so forth. Procedure polynomial math lays the basis for a thorough framework structure belief system, offering help for particular, check, execution, testing and other life-cycle-basic exercises. Enthusiasm for process polynomial math, be that as it may, stretches out past the framework plan field, to regions, for example, programming language structure and semantics, multifaceted nature hypothesis, constant programming, and execution displaying and examination.<\/p>\n Modal Logic Verses Process Algebra<\/p>\n Ever since the early 1970’s modal languages have been used as description languages for structures such as labeled transition systems. Modal formulas are evaluated locally, at a single state inside a labeled transition system; the mechanism for evaluating formulas does not take one outside the system, but instead it forces certain moves along the restricted patterns described by the modal operators. Another special feature of modal languages is that they are relatively constrained fragments of classical languages such as first-order logic.In general, modal languages avoid the quantificational power of classical languages whereas \u00a0Process Algebra comprises the study of concurrent (communicating) processes in an algebraic fashion In this approach, atomic actions, algebraic operations and equation axioms are used to describe and analyze processes Typically, a distributed system or concurrent protocol can be described as the concurrent execution of a number of elementary sub processes, possibly employing synchronous or asynchronous communication The external behavior of such a system can be obtained by abstracting from internal activity, and can then be matched against a ‘specification’ of the process This allows the verification of global correctness of the system Process algebra provides an algebraic framework for such correctness issue. The most obvious difference is that modal formulas are evaluated inside the transition system, whereas process-algebraic terms are interpreted by a structure as a whole One might call modal logic an internal language of labeled transition systems and process algebra an external one.[16]<\/p>\n Key Principles of Quantitative Modeling :<\/p>\n With this three important functions are there which is essential for qualitative modeling. are(i)Discretization\u00a0 (ii) Relevance(iii)Ambiguity never to be skipped in the designing of models.Most software systems are now de facto concurrent and distributed, and are expected to interact with components and exploit services that are dynamically found in the network also software systems are becoming \u201calways-on\u201d entities that cannot be stopped, restored, and maintained in the traditional way. So to keep up the time multiagent systems are the only solutions for current softwares.<\/p>\n Multi Agent System: A\u00a0multi-agent system\u00a0(MAS\u00a0or “self-organized system”) is a computerized system composed of multiple interacting\u00a0intelligent agents<\/a>. Multi-agent systems can solve problems that are difficult or impossible for an individual agent or a\u00a0monolithic system<\/a>\u00a0to solve.[18]<\/a>\u00a0Intelligence may include\u00a0methodic<\/a>,\u00a0functional<\/a>,\u00a0procedural<\/a>\u00a0approaches,\u00a0algorithmic<\/a>\u00a0search<\/a>\u00a0or\u00a0reinforcement learning<\/a>.[19]<\/a><\/p>\n Fig(1) A Simple Agent<\/p>\n \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 Fig.(1.1) A Learning Agent<\/p>\n As the two figures fig(1) and fig (1.1) depicts the concept of agent oriented system where the first system is a simple agent oriented system and second is a learning agent oriented system which is smart and updating itself about the System and the environment as a whole.Likewise if we understand that in a system \u00a0Specialists\u00a0in multi-agent\u00a0framework\u00a0(MAS) are\u00a0by and large\u00a0social and\u00a0coordinate\u00a0with other\u00a0specialists\u00a0within the\u00a0Multi agent arrange\u00a0to attain\u00a0more\u00a0common\u00a0objectives\u00a0such as social\u00a0objectives\u00a0of the Multi agent system.<\/p>\n MAS can\u00a0give\u00a0a run-time\u00a0back\u00a0to those\u00a0frameworks\u00a0which requires self-organization and\u00a0adjustment\u00a0towards the\u00a0arrangement\u00a0of\u00a0maintainable\u00a0administrations.<\/p>\n Conclusion : This paper presents the \u00a0Process Algebras\u00a0 and its usefulness to \u00a0construct\u00a0a formal\u00a0establishment\u00a0for a number of\u00a0fundamental\u00a0concepts of computer science such as\u00a0forms, interaction, and\u00a0disseminated\u00a0computing. On the other hand,\u00a0 multiagent\u00a0frameworks\u00a0opens the area of social sciences ,\u00a0brain research and so on. A multiagent system\u00a0may \u00a0specific\u00a0sort of\u00a0disseminated\u00a0framework.Essentially\u00a0composed of a (conceivably\u00a0open) set of\u00a0independent\u00a0specialists, a \u00a0highlights\u00a0other sorts of\u00a0substances\u00a0and\u00a0deliberations, such as\u00a0assets\u00a0of\u00a0different\u00a0sorts\u00a0(sensors,actuators, etc)<\/p>\n References :<\/p>\n <\/p>\n","protected":false},"excerpt":{"rendered":" Role of Process Algebra In Qualitative Modeling Of \u00a0Multi Agent Systems 1Ruchi Dave, 2Devesh Bandil 1Suresh Gyan Vihar University, 2Suresh Gyan Vihar University Jaipur, India, Jaipur, India 1ruchi.davey@gmail.com,\u00a02drdevesh.bandil@mygyanvihar.com Abstract\u2014Process Algebra is a parallel operator as we know. It is very important \u00a0\u00a0in order to test non-trivial properties of the system. Process polynomial mathematics or Process […]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[16,314],"tags":[],"class_list":["post-5317","post","type-post","status-publish","format-standard","hentry","category-journal-of-engineering-and-technology","category-volume-6-issue-2-2020"],"yoast_head":"\n\n
\n
\n
![\"\"](\"https:\/\/www.gyanvihar.org\/journals\/wp-content\/uploads\/2020\/07\/fig4.jpg\")
<\/p>\n![\"\"](\"https:\/\/www.gyanvihar.org\/journals\/wp-content\/uploads\/2020\/07\/fig5.jpg\")
<\/p>\n\n