Skip to main content
Have a personal or library account? Click to login
FSP and FLTL framework for specification and verification of middle-agents Cover

FSP and FLTL framework for specification and verification of middle-agents

International Journal of Applied Mathematics and Computer Science
Volume 21 (2011): Issue 1 (March 2011)
By:  and    
Open Access
|Mar 2011
References

References

  1. Alagar, V. and Holliday, J. (2002). Agent types and their formal descriptions,, Santa Clara University, Santa Clara, CA.
    Search in Google Scholar
  2. Bergstra, J., Ponse, A. and Smolka, S. (2001)., Elsevier Science, Amsterdam.
    Search in Google Scholar
  3. Brazier, F. M. T., Cornelissen, F., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B. and Treur, J. (2004). Compositional verification of a multi-agent system for one-to-many negotiation,(2): 95-117.
    Open DOISearch in Google Scholar
  4. Bădică, A. and Bădică, C. (2008a). Conceptualizing interactions with matchmakers and front-agents using formal verification methods,D. Dochev, M. Pistore and P. Traverso (Eds.),, Lecture Notes in Artificial Intelligence, Vol. 5253, Springer-Verlag, Berlin, pp. 390-394.
    Search in Google Scholar
  5. Bădică, A. and Bădică, C. (2008b). Formal specification of matchmakers, front-agents, and brokers in agent environments using FSP,, pp. 9-18.
    Search in Google Scholar
  6. Bădică, A. and Bădică, C. (2008c). Formalizing agent-based english auctions using finite state process algebra,(7): 1118-1135.
    Search in Google Scholar
  7. Bădică, A. and Bădică, C. (2008d). Modeling interactions in agent-based English auctions with matchmaking capabilities,C. Bădică, G. Mangioni, V. Carchiolo and D. D. Burdescu (Eds.),, Studies in Computational Intelligence, Vol. 162, Springer-Verlag, Berlin, pp. 45-54.
    Open DOISearch in Google Scholar
  8. Bădică, A. and Bădică, C. (2008e). Specification and verification of agent interactions in matchmaking processes using FSP and FLTL,, pp. 1-6.
    Open DOISearch in Google Scholar
  9. Bădică, A. and Bădică, C. (2009a). Formalizing agent interactions in matchmaking processes using FSP and FLTL,(1): 13-18.
    Search in Google Scholar
  10. Bădică, A. and Bădică, C. (2009b). Specification and verification of an agent-based auction service,G. A. Papadopoulos, W. Wojtkowski, G. Wojtkowski, S. Wrycza, and J. Zupancic (Eds.), Springer-Verlag, New York, NY, pp. 239-248.
    Search in Google Scholar
  11. Bădică, A., Bădică, C. and Liţoiu, L. (2003). Role activity diagrams as finite state processes,, pp. 15-22.
    Search in Google Scholar
  12. Bădică, A., Bădică, C. and Liţoiu, L. (2007). Middle-agents interactions as finite state processes: Overview and example,, pp. 12-17.
    Search in Google Scholar
  13. Bădică, A., Bădică, C., Popescu, E. and Scafes, M. (2009). A process algebraic framework for service coordination,, pp. 515-520.
    Search in Google Scholar
  14. Bădică, C., Ganzha, M. and Paprzycki, M. (2007). Developing a model agent-based e-commerce system,J. Lu, G. Zhang and D. Ruan (Eds.),, Studies in Computational Intelligence, Vol. 55, Springer-Verlag, Berlin, pp. 555-578.
    Search in Google Scholar
  15. Clarke, E. M., Emerson, E. A. and Sistla, A. P. (1986). Automatic verification of finite-state concurrent systems using temporal logic specifications,(2): 244-263.
    Open DOISearch in Google Scholar
  16. Decker, K., Sycara, K. P. and Williamson, M. (1997). Middle-agents for the internet,, Vol. 1, pp. 578-583.
    Search in Google Scholar
  17. D'Ippolito, N., Fischbein, D., Chechik, M. and Uchitel, S. (2008). MTSA: The modal transition system analyser,, pp. 475-476.
    Search in Google Scholar
  18. Dobriceanu, A., Bîscu, L., Bădică, A. and Bădică, C. (2009). The design and implementation of an agent-based auction service,(2/3): 188-211.
    Open DOISearch in Google Scholar
  19. Dwyer, M. B., Avrunin, G. S. and Corbett, J. C. (1999). Patterns in property specifications for finite-state verification,, pp. 411-420.
    Search in Google Scholar
  20. Esterline, A., Rorie, T. and Homaifar, A. (2006). A process-algebraic agent abstraction,C. A. Rouff, M. Hinchey, J. Rash, W. Truszkowski and D. Gordon-Spears (Eds.),, NASA Monographs in Systems and Software Engineering, Springer-Verlag, London, pp. 88-137.
    Open DOISearch in Google Scholar
  21. Fasli, M. (2007)., JohnWiley & Sons, Chichester.
    Search in Google Scholar
  22. Fokkink, W. (2007)., EATCS Series, Springer-Verlag, Berlin/Heidelberg.
    Search in Google Scholar
  23. Foster, H., Uchitel, S., Magee, J. and Kramer, J. (2006). LTSAWS: A tool for model-based verification of web service compositions and choreography,L. J. Osterweil, H. D. Rombach and M. L. Soffa (Eds.),, pp. 771-774.
    Search in Google Scholar
  24. Goh, S., Chhetri, M. B. and Kowalczyk, R. (2007). JADE-FSM-engine: A deployment tool for flexible agent behaviours in JADE,, pp. 524-527.
    Search in Google Scholar
  25. Hennicker, R. and Ludwig, M. (2005). Property-driven development of a coordination model for distributed simulations,M. Steffen and G. Zavattaro (Eds.),, Lecture Notes in Computer Science, Vol. 3535, Springer, Berlin/Heidelberg, pp. 290-305.
    Open DOISearch in Google Scholar
  26. Hoare, C. A. R. (1985)., Prentice Hall International Series in Computer Science, Upper Saddle River, NJ.
    Search in Google Scholar
  27. Hristozova, M. and Sterling, L. (2003). Experiences with ontology development for value-added publishing,S. Cranefield, T. W. Finin, V. A. M. Tamma and S. Willmott (Eds.),, CEUR Workshop Proceedings, Vol. 73, pp. 17-24.
    Search in Google Scholar
  28. Klusch, M. and Sycara, K. P. (2001). Brokering and matchmaking for coordination of agent societies: A survey,A. Omicini, F. Zambonelli, M. Klusch and R. Tolksdorf (Eds.),, Springer, Berlin/Heidelberg/New York, NY, pp. 197-224.
    Open DOISearch in Google Scholar
  29. Magee, J. and Kramer, J. (2006)., 2nd Edn., John Wiley & Sons, Chichester.
    Search in Google Scholar
  30. Mbala, A., Padgham, L. and Winikoff, M. (2006). Design options for subscription managers,G. A. Vouros and T. Panayiotopoulos (Eds.),, Lecture Notes in Computer Science, Vol. 3529, Springer, London, pp. 259-274.
    Open DOISearch in Google Scholar
  31. Merayo, M., Núñez, M., and Rodríguez, I. (2007). Specification of multi-agent systems by using EUSMs,, Lecture Notes in Computer Science, Vol. 4767, Springer, Berlin/Heidelberg/New York, NY, pp. 318-333.
    Search in Google Scholar
  32. Miller, T. and McBurney, P. (2007). Using constraints and process algebra for specification of first-class agent interaction protocols,, Lecture Notes in Computer Science, Vol. 4457, Springer, Berlin/Heidelberg/New York, NY, pp. 245-254.
    Search in Google Scholar
  33. Milner, R. (1999)., Cambridge University Press, Cambridge.
    Search in Google Scholar
  34. Podorozhny, R. M., Khurshid, S., Perry, D. E. and Zhang, X. (2007). Verification of multi-agent negotiations using the alloy analyzer,, Lecture Notes in Computer Science, Vol. 4591, Springer, Berlin/Heidelberg/New York, NY, pp. 501-517.
    Search in Google Scholar
  35. Rahimi, S., Cobb, M., Ali, D. and Petry, F. (2002). A modeling tool for intelligent-agent based systems: Api-calculus,V. Loia (Ed.),, Frontiers in Artificial Intelligence and Applications, IOS Press, Amsterdam, pp. 165-186.
    Search in Google Scholar
  36. Rouff, C., Rash, J., Hinchey, M. and Truszkowski, W. (2006). Formal methods at NASA Goddard Space Flight Center,C. A. Rouff, M. Hinchey, J. Rash, W. Truszkowski and D. Gordon-Spears (Eds.),, NASA Monographs in Systems and Software Engineering, Springer-Verlag, London, pp. 287-309.
    Open DOISearch in Google Scholar
  37. Wang, F. (2002). Self-organising communities formed by middle agents,, pp. 1333-1339.
    Search in Google Scholar
  38. Wong, H. C. and Sycara, K. (2000). A taxonomy of middle-agents for the Internet,, pp. 465-466.
    Search in Google Scholar
  39. Xu, D.-X., El-Ariss, O., Xu, W.-F. and Wang, L.-Z. (2009). Aspect-oriented modeling and verification with finite state machines,(5): 949-961.
    Open DOISearch in Google Scholar
  40. Yarom, I., Rosenschein, J. S. and Goldman, C. V. (2003). The role of middle-agents in electronic commerce,(6): 15-21.
    Open DOISearch in Google Scholar
  41. Zhang, P., Muccini, H. and Li, B. (2010). A classification and comparison of model checking software architecture techniques,(5): 723-744.
    Open DOISearch in Google Scholar
DOI: https://doi.org/10.2478/v10006-011-0001-6 | Journal eISSN: 2083-8492 | Journal ISSN: 1641-876X
Journal RSS Feed
Language: English
Page range: 9 - 25
Published on: Mar 28, 2011
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
multi-agent system,
interaction protocol,
process algebra,
formal specification
Related subjects:
Mathematics,
Applied mathematics

© 2011 Amelia Bădică, Costin Bădică, published by University of Zielona Góra
This work is licensed under the Creative Commons License.

Volume 21 (2011): Issue 1 (March 2011)
Next article