Rescuing 0 sources and tagging 2 as dead.) #IABot (v2.0.9.5
(3 intermediate revisions by 3 users not shown)
Line 1:
{{tone|date=September 2020}}
'''API Calculus''' is a program that solves calculus problems using operating systems within a device that solves calculus problems. In 1989, the PI Calculus was created by [[Robin Milner]] and was very successful throughout the years. The PI Calculus is an extension of the [http://theory.stanford.edu/~rvg/process.html process algebra CCS], a tool with algebraic languages that are specific to processing and formulating statements.<ref>{{Cite web |title=Process Algebra |url=http://theory.stanford.edu/~rvg/process.html|website= theory.stanford.edu|access-date=2015-11-09 |website=theory.stanford.edu}}</ref> The PI CalculusIt provides a formal theory for modeling systems and reasoning about their behaviors. In the PI Calculus, there are two specific variables: name and processes.<ref name=":4">{{Cite book |titlelast=Rahimi |first=Shahram |title=An Extension to Pi-Calculus for Performance Evaluation|last= Rahimi|first = Shahram|publisher=Scientific Research |year=2011 2011|___location=Illinois}}</ref> In the PI Calculus there are two specific variables. These are name and processes.<ref name=":4" /> In 2002 [http://www.cs.siu.edu/research/activities/full-time/rahimi.php, Shahram Rahimi] decided to create an upgraded version of the PI- Calculus and callcalled it the API Calculus. Milner claimed the detailed characteristics of the API Calculus to be its "Communication Ability, Capacity for Cooperation, Capacity for Reasoning and Learning, Adaptive Behavior, and Trustworthiness."<ref name=":3">{{Cite journal |urllast=Rahimi |first=Shahram |date=2015-10-20 |title=ACVisualizer: A Visualization Tool for Api-Calculus |url=http://www2.cs.siu.edu/~rahimi/papers/17.pdf |title journal=ACVisualizer: A Visualization Tool for Api-Calculus|last=}}{{Dead Rahimilink|firstdate=July =2025 Shahram|date bot=InternetArchiveBot 2015|fix-10-20|journal attempted=yes ACVisualizer: A Visualization Tool for Api-Calculus}}</ref>
The main purpose of creating this mobile advancement is to better network and communicate with other operators while completing a task. Unfortunately, API Calculus is not perfect and has faced a problem with its security system. The language has seven features that are created within the device that the [[Π-calculus|PI Calculus]] does not have. Since this program is so advanced due to the way the software was created and the different abilities that are offered in the program, it requires being convertedconversion into other programming languages so it can be used on various devices and other computing languages. Although the API Calculus is currently being used by various other programming languages, modifications are still being donemade since the security on the API Calculus is causing problems tofor users.
== What Does It Do? ==
The main uses of API Calculus are modeling migration, intelligence, natural grouping and security in agent-based systems.<ref name=":0">{{Cite journal|url = http://www2.cs.siu.edu/~rahimi/papers/17.pdf|title = ACVisualizer: A Visualization Tool for Api-Calculus|last = Rahimi|first = Shahram|date = October 20, 2015|journal = ACVisualizer: A Visualization Tool for Api-Calculus}}{{Dead link|date=July 2025 |bot=InternetArchiveBot |fix-attempted=yes }}</ref> This calculus programming language is usually used in various other program languages such as [https://books.google.com/books?id=K5ALcHEgeN0C&dq=what+programming+languages+have+API+Calculus%27&pg=PA155 Java].<ref name=":1" /> In Java, a famous programming language used by various corporations such as [http://www.ibm.com/us-en/ IBM], [http://www.telecomsys.com/ TCS], and [[Google]], API Calculus is commonly used to solve equations and programs involving calculus.
== Features ==
Line 16 ⟶ 18:
== Verification Strategy ==
The software language used throughout the API Calculus program is translated into two other different languages. It is first translated from API Calculus syntax to [https://wiki.eclipse.org/ATL/User_Guide_-_Overview_of_the_ATL_Language ATEL/ATL], then to [http://www.imagineersystems.com/products/mocha-pro/ MOCHA]. The outcome of the translating module is like the step previously mentioned.<ref name=":1">{{Cite web|title = The First Stage of a System Verification Strategy for API-Calculus.|url = https://www.researchgate.net/publication/221282902|website = ResearchGate|access-date = 2015-10-21}}</ref>
# Input Module( receives API Calculus model )
# Translating Model ( converts API syntax to ATEL/ATL syntax )
