The Z notation: a reference manual
The Z notation: a reference manual
The Z notation: a reference manual
The Z notation: a reference manual
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Agent UML: a formalism for specifying multiagent software systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
Understanding agent systems
Formal Specification and Prototyping of Multi-agent Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
Structuring Real-Time Object-Z Specifications
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Extending the UML for Designing Jack Agents
ASWEC '01 Proceedings of the 13th Australian Conference on Software Engineering
Combining Agent-Oriented Conceptual Modelling with Formal Methods
ASWEC '04 Proceedings of the 2004 Australian Software Engineering Conference
A platform-independent metamodel for multiagent systems
Autonomous Agents and Multi-Agent Systems
2nd UML 2 semantics symposium: formal semantics for UML
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Current issues in multi-agent systems development
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Improving the definition of UML
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
From stakeholder intentions to software agent implementations
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
AgentZ: extending object-z for multi-agent systems specification
AOIS'04 Proceedings of the 6th international conference on Agent-Oriented Information Systems II
MATES'10 Proceedings of the 8th German conference on Multiagent system technologies
Automatic generation of executable behavior: a protocol-driven approach
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Hi-index | 0.00 |
Recently, associated with the increasing acceptance of agent-based computing as a novel computing paradigm a lot of research has been addressed to develop mechanisms and methods to support the agent-based development of complex software systems. Especially the idea to define agent-oriented languages on a more abstract level through metamodels is recently often applied. However, the metamodel's opportunity to express the language's semantics are restricted as only concepts and their relationships to each other can be defined within the metamodel. This paper discusses an approach to formalize the semantics of Dsml4mas --a modeling language for multiagent systems--to support the system designer in validating and verifying the generated design.