This paper aims to show that the Agent Interaction Protocol (AIP), a subset of the Agent UML working document can provide a suitable technique for modeling the dynamic aspect of Intelligent Agents. A case study was conducted using thirty software architects fluent in UML to show the clarity of AIP diagrams and the efficacy of the models in conveying the dynamic aspects of Intelligent Agents. In...

The master field for a subclass of planar diagrams, so called rainbow diagrams, for higher dimensional large N theories is considered. An explicit representation for the master field in terms of noncommutative random variables in the modified interaction representation in the Boltzmannian Fock space is given. A natural interaction in the Boltzmannian Fock space is formulated by means of a ratio...

Integrated formal description techniques are a promising approach for the specification of multi-aspect systems. In this context, we have proposed a formalism, called Extended State Diagrams (ESD), combining in an homogeneous framework state diagrams and formal data description languages. Our purpose is here to enhance the implicit ESD communication mechanisms with explicit descriptions of comm...

We obtain the primitively divergent diagrams in κ-deformed scalar field in four-dimensional spacetime with quartic self-interaction in order to investigate the effect of the fundamental length q = 1/(2κ) on such diagrams. Thanks to κ-deformation, we find that the dimensionally regularized forms of the diagrams lead to finite results in the limit of space-time dimension four. The effect of the d...

The Unified Modeling Language (UML) [OMG, Unified Modeling Language Specification, Version 2.0, Technical Report, Object Management Group hhttp://www.omg.org/technology/documents/formal/uml.htmi, 2005] provides system architects working on analysis and design (A&D) with one consistent language for specifying, visualizing, constructing, and documenting the artifacts of software systems, as well ...

During interaction design, interaction models are developed to help design adequate user interaction with the system. MoLIC (Modeling Language for Interaction as Conversation) is a language used to represent an interaction model, which can then be used as a basis for building other artifacts, such as mockups. However, inspections are necessary to verify whether the MoLIC diagrams are complete, ...

Institut für Informatik, Technische Universität München Arcisstr.21, D-80290 München ++49/89-28928186 ++49/89-28928183 [email protected] Abstract Activity Diagrams can be used to describe internal processing as well as action-object flow. Since they do not focus on events and object interaction, it is not clear, how to combine them with the typical object-oriented diagrams like cl...

We consider properties of connected diagrams with fermion-photon interaction and such fermion and photon propagators and vertex function that the values of these diagrams are finite. We establish the properties of these propagators and vertex function that imply that these diagrams are invariant under C, P, T, CP, CT, PT, or CPT transformations up to some phase factor common to each process. We...