Sciweavers

133 search results - page 12 / 27
» Agent Oriented Analysis Using Message UML
Sort
View
FMICS
2007
Springer
15 years 6 months ago
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
AIM
2006
15 years 1 months ago
Increasing the benefit of analysis: The case of systems that support communication
: Researchers in academia and practitioners in the field are concluding that object orientation (OO) supports well the stages of technical design and programming but not the stages...
Dov Te'eni, Roy Gelbard, Matti Sade
90
Voted
SEMWEB
2010
Springer
14 years 9 months ago
Deciding Agent Orientation on Ontology Mappings
Effective communication in open environments relies on the ability of agents to reach a mutual understanding of the exchanged message by reconciling the vocabulary (ontology) used....
Paul Doran, Terry R. Payne, Valentina A. M. Tamma,...
UML
2001
Springer
15 years 4 months ago
UML Support for Designing Software Systems as a Composition of Design Patterns
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
Sherif M. Yacoub, Hany H. Ammar
AGENTS
2001
Springer
15 years 4 months ago
A knowledge level software engineering methodology for agent oriented programming
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
Paolo Bresciani, Anna Perini, Paolo Giorgini, Faus...