Towards formal specification and verification in cyberspace

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1871, Issue , 2001, Pages 16-32

  Ambroszkiewicz, Stanislaw ^a,b   Penczek, Wojciech ^a,b   Nowak, Tomasz ^a  

^a INSTITUTE OF COMPUTER SCIENCE   (Poland)

^b SIEDLCE UNIVERSITY OF NATURAL SCIENCES AND HUMANITIES   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; FORMAL VERIFICATION; MOBILE AGENTS; MODEL CHECKING;

AGENT ARCHITECTURES; CYBERSPACES; DECISION MECHANISM; FORMAL FRAMEWORK; FORMAL SPECIFICATION AND VERIFICATION; MOBILE AGENT PLATFORM; SPECIFICATION AND VERIFICATION;

MULTI AGENT SYSTEMS;

EID: 84955571323     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45484-5_2     Document Type: Conference Paper

References (27)

1. S. Ambroszkiewicz. On the concepts of rationalizability in games. To appear in Annals of Operations Research 2000.
2. S. Ambroszkiewicz, O. Matyja, and W. Penczek. ”Team Formation by Self- Interested Mobile Agents.” In Proc. 4-th Australian DAI-Workshop, Brisbane, Australia, Springer LNAI 1544, 1998.
3. DARPA Agent Markup Language (DAML) http://www.darpa.mil/iso/ABC/BAA0007PIP.htm
4. The Foundation for Intelligent Physical Agents (FIPA) http://drogo.cselt.it/fipa/
5. GMA FOCUS and IKV++, http://www.fokus.gmd.de/research/cc/ima/climate.
6. GRASSHOPPER http://www.ikv.de/products/grasshopper
7. T. R. Gruber. Toward Principles for the Design of Ontologies Used for Knowledge Sharing. In Formal Ontology Analysis and Knowledge Representation, (N. Guarino and R. Poli Eds.) Kluwer Academic Publishers 1994.
8. N. Guarino. The Ontological level. In R. Casi, B. Smith and G. White (Eds.), Philosophy and the Cognitive Science. H¨older-Pichler-Tempsky, Vienna, 1994.
9. R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about knowledge, MIT Press, 1995.
10. K. Lodaya, R. Ramanujam, P.S. Thiagarajan, ”Temporal logic for communicating sequential agents: I”, Int. J. Found. Comp. Sci., vol. 3(2), 1992, pp. 117–159.
11. T. Magedanz, M. Breugst, I. Busse, S. Covaci. Integrating Mobile Agent Technology and CORBA Middleware. AgentLink Newsletter 1, Nov. 1998, http://www.agentlink.org
12. A. Mazurkiewicz, Basic notions of trace theory, LNCS 354, pp. 285–363, 1988.
13. OMG MASIF, Mobile Agent Systems Interoperability Facility, ftp://ftp.omg.org/pub/docs/orbos/97-10-05.pdf
14. M. Mukund, and M. Sohoni. Keeping track of the latest gossip: Bounded timestamps suffice, FST&TCS’93, LNCS 761, 1993, 388-199.
15. Pegaz - http://www.ipipan.waw.pl/mas/pegaz/.
16. M. Huhn, P. Niebert, and F. Wallner, ”Verification based on local states”, LNCS 1384, pp. 36–51, 1998.
17. The Ontology Interchange Language: http://www.ontoknowledge.org/oil/.
18. Ontobroker: http://ontobroker.aifb.uni-karlsruhe.de/
19. W. Penczek, A temporal logic for event structures, Fundamenta Informaticae XI, pp. 297–326, 1988.
20. W. Penczek, A Temporal Logic for the Local Specification of Concurrent Systems. Information Processing IFIP-89, pp. 857–862, 1989.
21. W. Penczek. Model checking for a Subclass of Event Structures, Proc. of TACAS’97, LNCS 1217, Springer-Verlag, pp. 145–164, 1997.
22. W. Penczek. A temporal approach to causal knowledge, Logic Journal of the IGPL, Vol. 8, Issue 1, pp. 87–99, 2000.
23. W. Penczek and S. Ambroszkiewicz, Model checking of local knowledge formulas, Proc. of FCT’99 Workshop on Distributed Systems, Vol. 28 in Electronic Notes in Theoretical Computer Science, 1999.
24. A. Rao, M. Singh, and M. Georgeff. Formal Methods in DAI: Logic-Based Representation and Reasoning. In G. Weiss (Ed.) Multiagent Systems. A modern approach to Distributed Artificial Intelligence.
25. A. S. Rao and M. P. Georgeff. Modelling rational agents within a BDI–architecture. In Proc. KR’91, pp. 473–484, Cambridge, Mass., April 1991, Morgan Kaufmann.
26. Winskel, G., An Introduction to Event Structures, LNCS 354, Springer - Verlag, pp. 364–397, 1989.
27. L. Wittgenstein. Philosophical Investigations. Basil Blackwell, pp. 20–21, 1958.