and exploiting the theoretical fram

and exploiting the theoretical framework of the multi-agent Abstract State Machines (ASM) [12], we here show how to model and analyze in ASM the behavior of a self-adaptive system by representing MAPE-K loops explicitly and naturally formalized in terms of agents’ actions (ASM transition rules). Most existing formal approaches to SA assume a centralized point of control and none of them, except [24], [35], [1] (see Sect. II), provides a semantic description of the adaptation logic from the perspective of feedback control loops.

결과 (한국어) 1:

그리고 우리가 여기 모델링 하 고 명시적으로 하 고 자연스럽 게 에이전트의 동작 (ASM 전환 규칙)의 점에서 공식화 마 K 루프를 대표 하 여 ASM self-adaptive 시스템의 동작 분석 방법을 보여 추상적인 상태 기계 (ASM) [12] 멀티 에이전트의 이론적 틀을 이용. SA 대부분 기존 공식적인 접근 제어의 중앙된 지점 고 [24]를 제외 하 고 그들 중 누구도 가정 [35], [1] (광명 II 참조) 피드백 제어 루프의 관점에서 적응 논리의 의미 설명.

결과 (한국어) 2:

및 멀티 에이전트 추상 상태 기계 (ASM) [12]의 이론적 프레임 워크를 활용, 우리는 여기에 모델 명시 적으로 자연스럽게 측면에서 공식화 루프 MAPE-K를 대표하여 ASM에서 자기 적응 시스템의 동작을 분석하는 방법을 보여줍니다 에이전트의 행동 (ASM 전이 규칙)의. SA에 대부분의 기존의 형식적인 접근 방법, 피드백 제어의 관점에서 적응 논리의 의미에 대한 설명을 제공한다 [24], [35], [1] (분파를 참조하십시오. II)를 제외한 제어 및 그들 중 누구도의 중앙 점을, 가정 루프.

결과 (한국어) 3:

프레임 이론 및 개발 대리 요약 상태 기계 (소형) [12], 여기 어떻게 모델 중 행위 분석 모델 적응 시스템 mape-k 루프 대표, 자연스럽게 보면 분명히 정식으로 대리인 행동 (어셈블리 과도 규칙).현재 대부분의 정규 방법으로 사 져야 집중 제어 하나 없이,나누기 (24), (35) (1) (a).2) 의 설명을 위해 한 시각 적응 논리 제어 회로