Generating machine processable representations of textual representations of AUML

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

Volumn 2585, Issue , 2003, Pages 126-137

  Koning, Jean Luc ^a   Romero Hernandez, Ivan ^a  

^a GRENOBLE INSTITUTE OF TECHNOLOGY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC CIRCUITS; MODELING LANGUAGES; MULTI AGENT SYSTEMS; SOFTWARE AGENTS; SOFTWARE ENGINEERING; SPECIFICATIONS;

AGENT MODELING LANGUAGES; EXTENDED FINITE STATE MACHINE; MODEL CHECKER; MODEL SPECIFICATIONS; PROCESSABLE; TEXTUAL NOTATION; TEXTUAL REPRESENTATION;

MODEL CHECKING;

EID: 35248844093     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (10)

1. Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems 3 (2000) 285-312
2. OMG: Unified Modeling Language Specification. Object Management Group, 250 First Avenue, Needham, MA 02494 USA. 1.4 edn. (2001)
3. Bauer, B., Muller, J., Odell, J.: Agent UML: A formalism for specifying multiagent interaction. In Ciancarini, Wooldridge, eds.: International journal of software engineering and knowledge engineering. Volume 11. Springer, Berlin (2001) 91-103
4. Odell, J., Van Dyke Parunak, H., Bauer, B.: Extending UML for agents. In Wagner, G., Lesperance, Y., Yu, E., eds.: Agent-Oriented Information Systems Workshop, Austin, Texas, ICue Publishing (2000)
5. Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall (1991)
6. Rodríguez, J. A., Noriega, P., Sierra, C., Padget, J.: Fm96.5 a java-based electronic auction house. On Line Publication (1997) main reference for Fish Market.
7. Odell, J., Van Dyke Parunak, H., Bauer, B.: Representing agent interaction protocols in uml. In Ciancarini, P., Wooldridge, M., eds.: Proceedings of First International Workshop on Agent-Oriented Software Engineering, Limerick, Ireland, Springer-Verlag (2000)
8. Wei, J., Cheung, S.C., Wang, X.: Towards a methodology for formal design and analysis of agent interaction protocols : An investigation in electronic commerce. In: International Software Engineering Symposium (ISES-2001), Wuhan. (2001)
9. Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering 23 (1997) 279-295
10. ITU-TS: ITU-TS Recommendation Z.120: Message Sequence Chart 1996 (MSC96). Technical report, ITU-TS, Geneva (1996)