In this paper, we showed how to mod

In this paper, we showed how to model the self-adaptation layer of modern distributed systems in terms of multi-agent ASMs. By exploiting the abstraction and flexibility of this formal method, we introduced the concept of self-adaptive ASMs as formal framework to specify self-adaptive behavior. We applied our formal modeling approach to the Traffic Monitoring case study. We were able to avoid over-specification while achieving clear separation of concerns that helped us to focus on one adaptation concern at a time, and, for each concern, to separate the managing behavior from the managed one. We were able to model the interaction between managed and managing agents as ASM agents interaction, without the necessity to extend the ASM formalism. Validation and verification activities helped us to reason about interfering
adaptation concerns and adaptation goals.

결과 (한국어) 1:

이 문서에서 우리는 멀티 에이전트 ASMs 관점에서 현대 분산된 시스템의 자기 적응 계층을 모델링 하는 방법을 보였다. 추상화와이 형식적인 방법의 유연성을 이용 하 여 우리 self-adaptive 동작을 지정할 형식 프레임 워크 self-adaptive Asm의 개념을 도입. 트래픽 모니터링 사례 연구에 적용할 우리의 공식적인 모델링 접근 하 고. -사양 관리에서 관리 동작을 각 우려에 대 한, 그리고 한 번에 한 적응 문제에 초점을 우리가 문제의 명확한 분리를 달성 하면서 피할 수 있었습니다. ASM 형식 주의 확장 하는 필요성 없이 ASM 에이전트 상호 작용으로 관리 되는 및 관리 에이전트 간의 상호 작용을 모델링 하는 데 수 있었습니다. 검증 및 확인 활동 방해에 대 한 이유를 도왔습니다.적응 문제 및 적응의 목표

결과 (한국어) 2:

본 논문에서는 멀티 에이전트 ASM이의 관점에서 현대 분산 시스템의 자기 적응 계층을 모델링하는 방법을 보여 주었다. 이 형식적인 방법의 추상화와 유연성을 이용하여, 우리는 자기 적응 동작을 지정하는 형식적인 프레임 워크로 자기 적응 ASM이의 개념을 도입했다. 우리는 트래픽 모니터링 사례 연구에 우리의 공식 모델링 접근 방식을 적용했다. 우리는 하나의 관리에서 관리 동작을 분리, 각 관심에 대해, 한 번에 하나의 적응 문제에 초점 도움을 주었다 우려 명확한 분리를 달성하면서 과도한 명세서 피할 수 있었고,. 우리는 ASM 형식주의를 확장 할 필요없이, 관리 및 ASM 에이전트의 상호 작용과 같은 관리 에이전트 간의 상호 작용을 모델링 할 수 있었다. 확인 및 검증 활동을 방해 추론 우리에게 도움이
적응 문제와 적응 목표를.

결과 (한국어) 3:

이 글은 어떻게 모델: 적응 층 현대 등에 흩어져 분산형 시스템 많이.추상 융통성이 이용하여, 이 정식으로 방법, 우리는 도입 적응 흩어져 지정한 정식으로 프레임 적응 행위.우리는 우리 정식으로 모델 사용하는 흐름 제어 만들다.우리가 할 수 있는 동시에 실현하는 것을 지나치게 규격 잘 관심을 분리 우리를 정력을 적응 관심 때, 모든 관심을 경영 행위를 따로 관리.우리가 할 수 있는 모델 관리 및 관리 상호 작용. 제 제, 필요 없어. 형식주의 연장.확인, 확인 좀 우리 원인을 방해
적응 걱정, 적응 목표.