Designing cooperative IS: Exploring and evaluating alternatives

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

Volumn 4275 LNCS - I, Issue , 2006, Pages 533-550

  Bryl, Volha ^a   Giorgini, Paolo ^a   Mylopoulos, John ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

GAME THEORY; MATRIX ALGEBRA; MULTI AGENT SYSTEMS; PROBLEM SOLVING; TELECOMMUNICATION NETWORKS;

ACTOR DEPENDENCY NETWORKS; INFORMATION SYSTEM DEVELOPMENT; OFF THE SHELF PLANNER; P-TOOL;

INFORMATION SCIENCE;

EID: 33845435816     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11914853_32     Document Type: Conference Paper

References (20)

1. J. S. Anderson and S. Fickas. A proposed perspective shift: viewing specification design as a planning problem. In IWSSD '89: 5th Int. workshop on Software specification and design, pages 177-184, 1989.
2. P. Bresciani, P. Giorgini, F. Giunchiglia, I. Mylopoulos, and A. Perini. Tropos: An agent-oriented software development methodology. JAAMAS, 8(3):203-236, 2004.
3. V. Bryl, F. Massacci, J. Mylopoulos, and N. Zannone. Designing secure systems through planning. In CAiSE'06, pages 33-47. Springer, 2006.
4. L. Castillo, J. Fdez-Olivares, and A. Gonzlez. Integrating hierarchical and conditional planning techniques into a software design process for automated manufacturing. In ICAPS 2003, Workshop on Planning under Uncertainty and Incomplete Information, pages 28-39, 2003.
5. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20:3-50, 1993.
6. S. Edelkamp and J. Hoffmann. Pddl2.2: The language for the classical part of the 4th international planning competition. Technical Report 195, University of Freiburg, 2004.
7. H. Estrada. Private communication.
8. M. Fox and D, Long. Pddl2.1: An extension to pddl for expressing temporal planning domains. J. Artif. Intell. Res. (JAIR), 20:61-124, 2003.
9. G. Gans, M. Jarke, S. Kethers, and G. Lakemeyer. Modeling the impact of trust and distrust in agent networks. In AOIS-01, pages 45-58, 2001.
10. M. Ghallab, A. Howe, C. Knoblock, D. McDermott, A. Ram, M. Veloso, D. Weld, and D. Wilkins. PDDL - The Planning Domain Definition Language. In AIPS-98, 1998.
11. IPC-4 Homepage. International Planning Competition 2004. http://ls5-www.cs.uni-dortmund.de/edelkamp/ipc-4/.
12. E. Letier and A. van Lamsweerde. Reasoning about partial goal satisfaction for requirements and design engineering. SIGSOFT Softw. Eng. Notes, 29(6):53-62, 2004.
13. LPG Homepage. LPG-td Planner, http://zeus.ing.unibs.it/lpg/.
14. M. J. Osborne and A. Rubinstein. A Course in Game Theory. MIT Press, 1994.
15. J. Peer. Web Service Composition as AI Planning - a Survey. Technical report, University of St. Gallen, 2005.
16. S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, second edition, 2002.
17. E. Tardos. Network games. In Proceedings of the Annual ACM Symposium on Theory of Computing, 2004.
18. A. van Lamsweerde. Requirements engineering in the year 00: a research perspective. In ICSE-00, pages 5-19. ACM, 2000.
19. D. S. Weld. Recent Advances in AI Planning. AI Magazine, 20(2):93-123, 1999.
20. E. S.-K. Yu, Modelling strategic relationships for process reengineering. PhD thesis, University of Toronto, 1996.