Computer science thesis abstract

Where to Publish Your Research Paper? Authors can publish papers in the following journals :.

How to Write an APA Abstract

ISSN Mohammad Nassar for Researches Establishment is registered company in Jordan under the number , the company national number is Mohammad Nassar for Researches Establishment provides research and scientific publication support services. Skip to main content Skip to main navigation menu Skip to site footer.

Bob’s Project Guidelines: Writing a Dissertation for a BSc. in Computer Science

International Journals: Publishing Research Papers in all Fields The following International Journals are providing a magnificent platform to publish papers of excellent theoretical and applied research in all present and future Sciences, from basic research to application development in all fields of research. Peter Nelson , Dr.

Header Menu

Aris Ouksel , and Dr. The advent of multi-agent systems has brought opportunities for the development of complex software that will serve as the infrastructure for advanced distributed applications.

During the past decade, there have been many agent architectures proposed for implementing agent-based systems, and also some efforts to formally specify agent behaviors. However, research on narrowing the gap between agent formal models and agent implementation is rare.

midshore biz journal

In this thesis, we present a model-based approach to designing and implementing multi-agent software systems. Instead of using formal methods only for the purpose of specifying agent behavior, we bring formal methods into the design phase of the agent development life cycle. Our approach is based on the G-net formalism, which is a type of high-level Petri net defined to support modeling of a system as a set of independent and loosely-coupled modules.

We first introduce how to extend G-nets to support class modeling and inheritance modeling for concurrent object-oriented design. Then, by viewing an agent as an extension of an object with mental states, we derive an agent-oriented G-net model from our extended G-nets that support class modeling. The agent-oriented G-net model serves as a high-level design for intelligent agents in multi-agent systems.