API-Calculus: Difference between revisions

Revision as of 22:54, 7 March 2023

Revision as of 15:47, 14 March 2023

Line 3:

== What Does It Do? ==

The API Calculus is the main demonstration for 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}}</ref> This calculus programming language is usually used in various other program languages such as [https://books.google.com/books?id=K5ALcHEgeN0C&pg=PA155&lpg=PA155&dq=what+programming+languages+have+API+Calculus'&source=bl&ots=hYT8iIecq8&sig=ASN0_gRW9K0wsAop9HphicwemDQ&hl=en&sa=X&ved=0CB0Q6AEwAGoVChMIzdqwkvrSyAIVTJyICh1WzQ71#v=onepage&q=what%20programming%20languages%20have%20API%20Calculus'27&fpg=falsePA155 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, the API Calculus is commonly used to solve equations and programs involving calculus.

== Features ==

Line 16:

== 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_The_First_Stage_of_a_System_Verification_Strategy_for_API-Calculus221282902|website = ResearchGate|access-date = 2015-10-21}}</ref>

# Input Module( receives API Calculus model )

# Translating Model ( converts API syntax to ATEL/ATL syntax )