Sciweavers

4476 search results - page 174 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
AIMSA
2008
Springer
16 years 28 days ago
The Agent Modeling Language (AMOLA)
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
Nikolaos I. Spanoudakis, Pavlos Moraitis
IAT
2008
IEEE
16 years 1 months ago
An Agent Modeling Language Implementing Protocols through Capabilities
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
Nikolaos I. Spanoudakis, Pavlos Moraitis
SFM
2004
Springer
15 years 12 months ago
Embedded Software Analysis with MOTOR
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...
TOSEM
2002
153views more  TOSEM 2002»
15 years 6 months ago
Automated abstraction of class diagrams
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...
Alexander Egyed
COMPSAC
2003
IEEE
15 years 12 months ago
A Graph Grammar Approach to Software Architecture Verification and Transformation
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song