SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Towards a theory of emergent functionality
Proceedings of the first international conference on simulation of adaptive behavior on From animals to animats
State space exploration in Markov models
SIGMETRICS '92/PERFORMANCE '92 Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Partial-Order Reduction in Symbolic State-Space Exploration
Formal Methods in System Design - Special issue on CAV '97
A Sweep-Line Method for State Space Exploration
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
PRISM: Probabilistic Symbolic Model Checker
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
On Model Checking for Non-Deterministic Infinite-State Systems
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Incremental Markov-Model Planning
ICTAI '96 Proceedings of the 8th International Conference on Tools with Artificial Intelligence
Enhancing random walk state space exploration
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
| Hi-index | 0.00 |
During early phases of complex systems engineering typically many structural and behavioral aspects are unclear. In particular, when it comes to constraints on the result of interactions between distributed components (emergent properties) current software engineering approaches provide limited support. Therefore, we propose an extension to current software models for describing the goals of interaction rather than the underlying decision logic. Further, we propose a generic algorithm for obtaining goal-oriented behavior. Finally, the concepts are evaluated in a case study.