Subject-oriented programming: a critique of pure objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Object-oriented rapid prototyping
Object-oriented rapid prototyping
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Extreme programming explained: embrace change
Extreme programming explained: embrace change
Subject-oriented design: towards improved alignment of requirements, design, and code
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Integrating UML diagrams for production control systems
Proceedings of the 22nd international conference on Software engineering
Swarm intelligence
Dynamic weaving for aspect-oriented programming
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Rapid Prototyping for Object-Oriented Systems
Rapid Prototyping for Object-Oriented Systems
A Discipline of Programming
Tool Support for Aspect-Oriented Design
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Rapid Prototyping of Real-Time Control Laws for Complex Mechatronic Systems
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Analysis and design of physical and social contexts in multi-agent systems using UML
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
Systematic verification of multi-agent systems based on rigorous executable specifications
International Journal of Agent-Oriented Software Engineering
Modeling and verification of cooperative self-adaptive mechatronic systems
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Analysis and design of physical and social contexts in multi-agent systems
Software Engineering for Multi-Agent Systems IV
Grounding social interactions in the environment
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
Hi-index | 0.00 |
Multi-agent systems present a promising paradigm for coping with the complexity of intelligent mechatronic applications, particularly where purposeful behavior and complex structures emerge from the interactions of seemingly simple elements. The safety of mechatronic systems relies on predictability, which is apparently at odds with the concept of emergent behavior. When designing complex mechatronic multi-agent systems, the main challenge thus lies in achieving predictability without ruling out the desired emergent behavior. We propose to achieve this by decomposing the requirements and design into largely independent concerns, represented by social structures with behavioral norms, which are reconciled at the agent level. An explicit grounding of all constructs in observable entities from the mechatronic system’s environment model makes them amenable to formal analysis and enables rapid prototyping.