대안 적 인 실시 예 에 있 어서 , 주어진 시스템 모델링 도구 의 머신 표현 으로부터 핵심 쿼리 엘리먼트 들 을 추출 하 기 위한 특정 메커니즘 은 , 자동 적 으로 형성 되 는 쿼리 의 구축 을 위한 메커니즘 으로서 의 도구 에 따라 다양 화 될 수 있 다는 것 을 당업자 라면 충분히 이해 할 수 있 을 것 이 다 . 예 를 들 면 , 도 4 는 디바이스 기능 모델링 을 자동 화 하 는 시스템 모델링 도구 를 사용 한 결과 들 에 대응 되 는 그래픽 적 인 표현 을 도시 한다 . 이러 한 상황 에서 , 상기 디바이스 기능 모델링 의 결과 는 그래프 로 도시 되 는 머신 표현 을 갖 는다 . 여기 서 상기 그래프 의 각각 의 노드 는 구성 요소 엘리먼트 를 나타내 고 , 상기 그래프 의 각각 에지 ( 상기 노드 들 을 연결 하 는 화살표 들 로 표시 됨 ) 는 상기 에지 에 의하 여 연결 되 는 노드 들 ( 즉 , 구성 요소 엘리먼트 들 ) 사이 의 기능 적 인 상호 작용 을 나타낸다 . 상기 두 개 의 노드 들 의 조합 및 연결 에지 는 또한 , " "" 엔 티티 - 기능 - 엔 티티 연관 성 "" 이라고 명명 된다 . "