Click to open the HelpDesk interface
AECE - Front page banner

Menu:


FACTS & FIGURES

JCR Impact Factor: 1.221
JCR 5-Year IF: 0.961
SCOPUS CiteScore: 2.5
Issues per year: 4
Current issue: Nov 2021
Next issue: Feb 2022
Avg review time: 88 days


PUBLISHER

Stefan cel Mare
University of Suceava
Faculty of Electrical Engineering and
Computer Science
13, Universitatii Street
Suceava - 720229
ROMANIA

Print ISSN: 1582-7445
Online ISSN: 1844-7600
WorldCat: 643243560
doi: 10.4316/AECE


TRAFFIC STATS

1,820,832 unique visits
643,078 downloads
Since November 1, 2009



Robots online now
bingbot
PetalBot
Googlebot


SCOPUS CiteScore

SCOPUS CiteScore


SJR SCImago RANK

SCImago Journal & Country Rank




TEXT LINKS

Anycast DNS Hosting
MOST RECENT ISSUES

 Volume 21 (2021)
 
     »   Issue 4 / 2021
 
     »   Issue 3 / 2021
 
     »   Issue 2 / 2021
 
     »   Issue 1 / 2021
 
 
 Volume 20 (2020)
 
     »   Issue 4 / 2020
 
     »   Issue 3 / 2020
 
     »   Issue 2 / 2020
 
     »   Issue 1 / 2020
 
 
 Volume 19 (2019)
 
     »   Issue 4 / 2019
 
     »   Issue 3 / 2019
 
     »   Issue 2 / 2019
 
     »   Issue 1 / 2019
 
 
 Volume 18 (2018)
 
     »   Issue 4 / 2018
 
     »   Issue 3 / 2018
 
     »   Issue 2 / 2018
 
     »   Issue 1 / 2018
 
 
  View all issues  








LATEST NEWS

2021-Jun-30
Clarivate Analytics published the InCites Journal Citations Report for 2020. The InCites JCR Impact Factor of Advances in Electrical and Computer Engineering is 1.221 (1.053 without Journal self-cites), and the InCites JCR 5-Year Impact Factor is 0.961.

2021-Jun-06
SCOPUS published the CiteScore for 2020, computed by using an improved methodology, counting the citations received in 2017-2020 and dividing the sum by the number of papers published in the same time frame. The CiteScore of Advances in Electrical and Computer Engineering in 2020 is 2.5, better than all our previous results.

2021-Apr-15
Release of the v3 version of AECE Journal website. We moved to a new server and implemented the latest cryptographic protocols to assure better compatibility with the most recent browsers. Our website accepts now only TLS 1.2 and TLS 1.3 secure connections.

2020-Jun-29
Clarivate Analytics published the InCites Journal Citations Report for 2019. The InCites JCR Impact Factor of Advances in Electrical and Computer Engineering is 1.102 (1.023 without Journal self-cites), and the InCites JCR 5-Year Impact Factor is 0.734.

2020-Jun-11
Starting on the 15th of June 2020 we wiil introduce a new policy for reviewers. Reviewers who provide timely and substantial comments will receive a discount voucher entitling them to an APC reduction. Vouchers (worth of 25 EUR or 50 EUR, depending on the review quality) will be assigned to reviewers after the final decision of the reviewed paper is given. Vouchers issued to specific individuals are not transferable.

Read More »


    
 

  3/2015 - 10

 HIGH-IMPACT PAPER 

Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets

QASIM, A. See more information about QASIM, A. on SCOPUS See more information about QASIM, A. on IEEExplore See more information about QASIM, A. on Web of Science, KAZMI, S. A. R. See more information about  KAZMI, S. A. R. on SCOPUS See more information about  KAZMI, S. A. R. on SCOPUS See more information about KAZMI, S. A. R. on Web of Science, FAKHIR, I. See more information about FAKHIR, I. on SCOPUS See more information about FAKHIR, I. on SCOPUS See more information about FAKHIR, I. on Web of Science
 
View the paper record and citations in View the paper record and citations in Google Scholar
Click to see author's profile in See more information about the author on SCOPUS SCOPUS, See more information about the author on IEEE Xplore IEEE Xplore, See more information about the author on Web of Science Web of Science

Download PDF pdficon (1,146 KB) | Citation | Downloads: 436 | Views: 2,537

Author keywords
formal specifications, formal verification, multiagent systems, Petri nets, real time systems

References keywords
systems(13), agent(11), multi(8), petri(5), software(4), modeling(4)
Blue keywords are present in both the references section and the paper title.

About this article
Date of Publication: 2015-08-31
Volume 15, Issue 3, Year 2015, On page(s): 73 - 78
ISSN: 1582-7445, e-ISSN: 1844-7600
Digital Object Identifier: 10.4316/AECE.2015.03010
Web of Science Accession Number: 000360171500010
SCOPUS ID: 84940733873

Abstract
Quick view
Full text preview
In this study we have formally specified and verified the actions of communicating real-time software agents (RTAgents). Software agents are expected to work autonomously and deal with unfamiliar situations astutely. Achieving cent percent test cases coverage for these agents has always been a problem due to limited resources. Also a high degree of dependability and predictability is expected from real-time software agents. In this research we have used Timed-Arc Petri Net's for formal specification and verification. Formal specification of e-agents has been done in the past using Linear Temporal Logic (LTL) but we believe that Timed-Arc Petri Net's being more visually expressive provides a richer framework for such formalism. A case study of Stock Market System (SMS) based on Real Time Multi Agent System framework (RTMAS) using Timed-Arc Petri Net's is taken to illustrate the proposed modeling approach. The model was verified used AF, AG, EG, and EF fragments of Timed Computational Tree Logic (TCTL) via translations to timed automata.


References | Cited By  «-- Click to see who has cited this paper

[1] N. R. Jennings, K. Sycara, M. Wooldridge, "A roadmap of agent research and development," Autonomous agents and multi-agent systems, vol. 1, no. 1, pp. 7-38, 1998.
[CrossRef] [SCOPUS Times Cited 1510]


[2] E. Sikora, B. Tenbergen, K. Pohl, "Industry needs and research directions in requirements engineering for embedded systems," Requirements Engineering, vol. 17, no. 1, pp. 57-78, 2012.
[CrossRef] [Web of Science Times Cited 38] [SCOPUS Times Cited 65]


[3] R. Alur, A. Itai, R. P. Kurshan, M. Yannakakis, "Timing verification by successive approximation," Information and Computation, vol. 118, no. 1, pp. 142-157, 1995.
[CrossRef] [Web of Science Times Cited 37] [SCOPUS Times Cited 56]


[4] R. Alur, D. L. Dill, "A theory of timed automata," Theoretical computer science, vol. 126, no. 2, pp. 183-235, 1994.
[CrossRef] [Web of Science Times Cited 3067] [SCOPUS Times Cited 4767]


[5] J. Bowen, V. Stavridou, "Safety-critical systems, formal methods and standards," Software Engineering Journal, vol. 8, no. 4, pp. 189-209, 1993.
[CrossRef] [Web of Science Times Cited 100]


[6] S. Park, V. Sugumaran, "Designing multi-agent systems: a framework and application," Expert Systems with Applications, vol. 28, no. 2, pp. 259-271, 2005.
[CrossRef] [Web of Science Times Cited 53] [SCOPUS Times Cited 72]


[7] D. L. Martin, A. J. Cheyer, D. B. Moran, "The open agent architecture: A framework for building distributed software systems," Applied Artificial Intelligence, vol. 13, no. 1-2, pp. 91-128, 1999.
[CrossRef] [Web of Science Times Cited 178] [SCOPUS Times Cited 303]


[8] L. C. DiPippo, V. F. Wolfe, L. Nair, E. Hodys, O. Uvarov, "A realtime multi-agent system architecture for e-commerce applications", pp. 357-364, IEEE, 2001.
[CrossRef] [Web of Science Times Cited 10] [SCOPUS Times Cited 19]


[9] M. Wooldridge, "Semantic issues in the verification of agent communication languages," Autonomous agents and multi-agent systems, vol. 3, no. 1, pp. 9-31, 2000.
[CrossRef] [Web of Science Times Cited 71] [SCOPUS Times Cited 106]


[10] L. Giordano, A. Martelli, C. Schwind, "Specifying and verifying interaction protocols in a temporal action logic," Journal of Applied Logic, vol. 5, no. 2. pp. 214-234, 2007.
[CrossRef] [SCOPUS Times Cited 58]


[11] M. Benerecetti, F. Giunchiglia, L. Serafini, "Model checking multiagent systems," Journal of Logic and Computation, vol. 8, no. 3, pp. 401-423, 1998.
[CrossRef] [Web of Science Times Cited 46] [SCOPUS Times Cited 80]


[12] D. J. T. Sumpter, G. B. Blanchard, "Ants and agents: a process algebra approach to modelling ant colony behaviour," Bulletin of Mathematical Biology, vol. 63, no. 5, pp. 951-980, 2001.
[CrossRef] [Web of Science Times Cited 24] [SCOPUS Times Cited 37]


[13] A. Giua, C. Seatzu, "Modeling and supervisory control of railway networks using petri nets," Automation Science and Engineering, IEEE Transactions on, vol. 5, no. 3, pp. 431-445, 2008.
[CrossRef] [Web of Science Times Cited 93] [SCOPUS Times Cited 126]


[14] G. Ali, S. Khan, N. A. Zafar, F. Ahmad, "Formal modeling towards a dynamic organization of multi-agent systems using communicating x-machine and z-notation," Indian Journal of Science and Technology, vol. 5, no. 7, pp. 2972-2977, 2012.

[15] S. Kouah, D. E. Sadouni, J. M. Ilie, "Synchronized petri net: A formal specification model for multi agent systems," Journal of Software, vol. 8, no. 3, pp. 587-602, 2013.

[16] S. Khosravifar, "Modeling multi agent communication activities with petri nets," International Journal of Information and Education Technology, vol. 3, no. 3, pp. 310-314, 2013.
[CrossRef]


[17] L. Chang, X. He, S. M. Shatz , "A methodology for modeling multi-agent systems using nested petri nets," International Journal of Software Engineering and Knowledge Engineering, vol. 22, no. 7, pp. 891-925, 2012.
[CrossRef] [Web of Science Times Cited 9] [SCOPUS Times Cited 11]


[18] A. Pla, P. Gay, J. Melendez, B. Lopez, "Petri net-based process monitoring: A workflow management system for process modelling and monitoring," Journal of Intelligent Manufacturing, vol. 25, no. 3, pp. 539-554, 2014.
[CrossRef] [Web of Science Times Cited 23] [SCOPUS Times Cited 28]


[19] A. David, L. Jacobsen, M. Jacobsen, K. Y. Jorgensen, M. H. Moller, J. Srba, "Tools and Algorithms for the Construction and Analysis of Systems", pp. 492-497, Springer, 2012.
[CrossRef]


[20] T. A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, "Symbolic model checking for real-time systems," Information and computation, vol. 111, no. 2, pp. 193-244, 1994.
[CrossRef] [Web of Science Times Cited 391] [SCOPUS Times Cited 569]




References Weight

Web of Science® Citations for all references: 4,140 TCR
SCOPUS® Citations for all references: 7,807 TCR

Web of Science® Average Citations per reference: 197 ACR
SCOPUS® Average Citations per reference: 372 ACR

TCR = Total Citations for References / ACR = Average Citations per Reference

We introduced in 2010 - for the first time in scientific publishing, the term "References Weight", as a quantitative indication of the quality ... Read more

Citations for references updated on 2022-01-28 01:25 in 120 seconds.




Note1: Web of Science® is a registered trademark of Clarivate Analytics.
Note2: SCOPUS® is a registered trademark of Elsevier B.V.
Disclaimer: All queries to the respective databases were made by using the DOI record of every reference (where available). Due to technical problems beyond our control, the information is not always accurate. Please use the CrossRef link to visit the respective publisher site.

Copyright ©2001-2022
Faculty of Electrical Engineering and Computer Science
Stefan cel Mare University of Suceava, Romania


All rights reserved: Advances in Electrical and Computer Engineering is a registered trademark of the Stefan cel Mare University of Suceava. No part of this publication may be reproduced, stored in a retrieval system, photocopied, recorded or archived, without the written permission from the Editor. When authors submit their papers for publication, they agree that the copyright for their article be transferred to the Faculty of Electrical Engineering and Computer Science, Stefan cel Mare University of Suceava, Romania, if and only if the articles are accepted for publication. The copyright covers the exclusive rights to reproduce and distribute the article, including reprints and translations.

Permission for other use: The copyright owner's consent does not extend to copying for general distribution, for promotion, for creating new works, or for resale. Specific written permission must be obtained from the Editor for such copying. Direct linking to files hosted on this website is strictly prohibited.

Disclaimer: Whilst every effort is made by the publishers and editorial board to see that no inaccurate or misleading data, opinions or statements appear in this journal, they wish to make it clear that all information and opinions formulated in the articles, as well as linguistic accuracy, are the sole responsibility of the author.




Website loading speed and performance optimization powered by: