In this paper we use the cognitive

In this paper we use the cognitive psychology concept of schema to identify the set of properties that an adaptable system has to maintain when adapting to changed context and environment. Properties are described in terms of property specification patterns [15], [3] that describe solutions to commonly recurrent requirements. The methodology we propose in this paper, called AC-contract, starting from highlevel requirements identifies properties that should hold locally on single parts of the system. Then, these local properties are encoded in terms of contracts to be used at run-time to guarantee that the system will satisfy those properties despite changes in the context. Reflection is then used to deploy and execute the adaptable code satisfying identified contracts

결과 (한국어) 1:

이 종이 적응 시스템 변경 된 컨텍스트 및 환경에 적응 하는 때 유지 하는 속성의 집합을 식별 하려면 인지 심리학 개념 스키마의 사용 합니다. 속성은 속성 명세 패턴 [15], [3] 일반적으로 재발 요구에 솔루션을 설명 하는 측면에서 설명 합니다. 우리가 AC-계약 이라고이 논문에서 제안 하는 방법론 highlevel 요구에서 시작 로컬 시스템의 단일 부분에 개최 해야 하는 속성을 식별 합니다. 그런 다음 이러한 로컬 속성 시스템 컨텍스트에서 변경에도 불구 하 고 그 속성을 만족 시킬 것 이다 보장 실행 시간에 사용할 수 있도록 계약에서 인코딩됩니다. 반사는 배포 하 고 융통성 있는 코드 만족 식별 계약을 실행 하는 데 사용

결과 (한국어) 2:

본 논문에서는 적응 시스템이 변경된 상황과 환경에 적응 할 때 유지하는 속성의 집합을 식별하기 위해 스키마의인지 심리학의 개념을 사용합니다. 속성은 속성 지정 패턴 [15]의 관점에서 설명하는, [3] 통상적으로 재발 성 요건에 대한 해결책을 설명하는 것이다. 고위급 요구 사항부터 AC-계약이라고 우리는이 논문에서 제안하는 방법은, 시스템의 한 부분에 로컬로 보유해야 속성을 식별합니다. 그리고, 이러한 특성은 로컬 시스템 맥락에서의 변화에​​도 그 특성을 만족하는 것을 보장하기 위해 실행 시간에 사용하는 계약의 관점에서 인코딩된다. 반사 후 배치 및 식별 계약을 만족하는 적응 코드를 실행하는 데 사용되는

결과 (한국어) 3:

이 글은 도면 도면 인지 심리학 게 한 벌 성능 좋은 시스템 적응 계속 바꿀 때 배경 및 환경.성격 묘사 그냥 재산 규격 방식 15 [] [], 자주 자주 경비 설명을 해.이 방법에 대해 걸 교류 계약고급 요구 출발 확인: 로컬 성질 한다 한 부분이다.그럼, 이 부분 속성 의해 계약 조항을 데 런타임 보증 시스템 만족시킬 수 있어서 비록 이 성질 변화.반사 이용해서 배치 및 실행 확인 계약 마음에 적응 코드