itSIMPLE2.0: An integrated tool for designing planning domains

ICAPS 2007, 17th International Conference on Automated Planning and Scheduling

Volumn , Issue , 2007, Pages 336-343

  Vaquero, Tiago Stegun ^a   Romero, Victor ^a   Tonidandel, Flavio ^b   Silva, José Reinaldo ^a  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

^b CENTRO UNIVERSITÁRIO DA FEI   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; DESIGN; MODELING LANGUAGES;

AUTOMATED PLANNING SYSTEMS; DESIGN-PROCESS; DOMAIN MODEL; ENGINEERING TOOLS; INITIAL PHASIS; INTEGRATED TOOLS; PLANNING DOMAINS; REAL-LIFE APPLICATIONS; REQUIREMENT ENGINEERING; SYSTEMATIC DESIGNS;

PETRI NETS;

EID: 58349115193     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Billington, J.; Christensen, S.; van Hee, K.; Kindler, E.; Kummer, O.; Petrucci, L.; Post, R.; Stehno, C.; and Weber, M. 2003. The petri net markup language: concepts, technology, and tools. In Proceedings of the 24th Int Conf on Application and Theory of Petri Nets, LNCS 2679, Springer, 483-505.
2. Bray, T.; Paoli, J.; Sperberg-McQueen, C. M.; Maler, E.; and Yergeau, F. 2004. Extensible Markup Language (XML) 1.0 (Third Edition). Technical report.
3. Cheung, K. S.; Chow, K. O.; and Cheung, T. Y. 1998. Deriving scenarios of object interaction through petri net. In TOOLS '98: Proceedings of the Technology of Object-Oriented Languages and Systems, 104. Washington, DC, USA: IEEE Computer Society.
4. Christensen, S., and Petrucci, L. 2000. Modular analysis of Petri nets. The Computer Journal 43(3):224-242.
5. D'Souza, D. F., and Wills, A. C. 1999. Objects, components, and frameworks with UML: the catalysis approach. Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc.
6. Edelkamp, S., and Mehler, T. 2005. Knowledge acquisition and knowledge engineering in the modplan workbench. In Proceedings of the First International Competition on Knowledge Engineering for AI Planning, Monterey, California, USA.
7. Fox, M., and Long, D. 2003. Pddl2.1: An extension of pddl for expressing temporal planning domains. Journal of Artificial Intelligence Research (JAIR) 20:61-124.
8. Gerevini, A., and Long, D. 2006. Preferences and soft constraints in pddl3. In Gerevini, A., and Long, D., eds., Proceedings of ICAPS workshop on Planning with Preferences and Soft Constraints, 46-53.
9. Gough, J. 2002. Xpddl 0.1b: A xml version of pddl.
10. Kindler, E., and Weber, M. 2001. A universal module concept for petri nets. In Proceedings of the 8th Workshops Algorithmen und Werkzeuge fr Petrinetze, 7-12.
11. Kotonya, G., and Somerville, I. 1996. Requirements engineering with viewpoints.
12. Murata, T. 1989. Petri nets: Properties, analysis and applications. In Proceedings of the IEEE, volume 77, 541-580.
13. OMG. 2001. OMG Unified Modeling Language Specification, m Version I.4.
14. OMG. 2003. OMG Unified Modeling Language Specification - Object Constraint Language m Version 2.0.
15. Saldhana, J. A., and Shatz, S. M. 2000. Uml diagrams to object petri net models: An approach for modeling and analysis. In Twelfth International Conference on Software Engineering and Knowledge Engineering, Chicago, IL, USA.
16. Simpson, R. M. 2005. Gipo graphical interface for planning with objects. In Proceedings of the First International Competition on Knowledge Engineering for AI Planning, Monterey, Califormia, USA.
17. Vaquero, T. S.; Tonidandel, F.; Barros, L. N.; and Silva, J. R. 2006. On the use of uml.p for modeling a real application as a planning problem. In Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS), 434-437.
18. Vaquero, T. S.; Tonidandel, F.; and Silva, J. R. 2005. The itsimple tool for modelling planning domains. In Proceedings of the First International Competition on Knowledge Engineering for AI Planning, Monterey, Califormia, USA.
19. Watanabe, H.; Tokuoka, H.; Wu, W; and Saeki, M. 1997. A technique for analysing and testing object-oriented software using coloured petri nets. IPSJ SIGNotes Software Engineering 117.
20. Yang, Q.; Wu, K.; and Jiang, Y. 2007. Learning action models from plan examples using weighted max-sat. Artif. Intell. 171(2-3):107-143.