2092 search results - page 62 / 419 » A domain specific modeling language for multiagent systems |
ARGMAS
2004
Springer
14 years 16 days ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
FMOODS
2006
13 years 10 months ago
2006
Abstract. We consider in this paper that a DSL (Domain Specific Language) may be defined by a set of models. A typical DSL is the ATLAS Transformation Language (ATL). An ATL progra...
IAT
2009
IEEE
14 years 3 months ago
2009
IEEE
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
ICAS
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...