합금 분석기 : 주어진 인스턴스에 대한 모델 찾기

Question

주어진 인스턴스에 대한 모델 사양을 생성 할 수 있는지 궁금합니다. 내 목표는 인스턴스가 모델을 준수하는지 여부를 확인하는 것입니다.

사례의 자동 사양을 다루는 문서를 발견했습니다. 이를 '인스턴스를 사용하여 합금 사양을 작성하는 자동화 된 접근법'(http://users.ece.utexas.edu/~khurshid/papers/2006/06isola-aDeryaft.pdf)이라고합니다. 잘못 본 것이 아니라면 인스턴스가 모델을 준수하는지 여부를 확인할 수있는 방법 일 수 있습니다. 불행히도 다운로드 할 수있는 구현이없는 것으로 보입니다.

주어진 인스턴스가 모델을 준수하는지 여부를 어떻게 확인할 수 있는지 알고 계십니까?

감사합니다.

Answer 1

인스턴스가 주어진 모델을 따르는 지 확인하려면 인스턴스의 모든 아톰과 튜플을 모델의 서명과 필드로 입력하고 모든 사실을 선언했는지 프로그래밍 방식으로 확인 (합금 API 사용) 할 수 있습니다 인스턴스의 모델 보류.

주어진 인스턴스에서 새 합금 모델을 생성하는 방법을 설명하는 용지. 흥미로운 점은 달성하려는 작업, 즉 주어진 인스턴스가 이미 존재하는 모델을 준수하는지 확인하는 것과는 관계가 없습니다.