1
도와주세요. 피쳐 모델의 제약 조건을 고려하여 피쳐의 가능한 모든 조합을 찾고 싶습니다. 그림에서 주어진대로. 일반을위한 수식이나 도구가 있습니까? 어떤 자동 방법을 제안 해주세요.소프트웨어 제품 라인 피처 모델
기능 모델 :
A
답변
0
일반적인 접근 방식은 술어 논리 공식으로 기능 모델을 변환하는 것 (의미를 사용하거나, XOR .. 당신은 자동으로 그렇게해야합니까! ? 나는 그것이 얼마나 어려운지 잘 모르겠다.) 그리고 그것을 분리 된 정상 형태로 변형시킨다. 그것은 접속사의 분리입니다. 각 접속사는 일련의 해결책을 의미합니다. 언급되지 않은 리터럴은 아무런 영향을 미치지 않습니다.
이 과학적 작업 availabel, 예를 들어 검색 "제품 라인 변형 요구 사항의 논리 검증"또는
"제품 라인 모델 검증을위한 첫 번째 주문 논리를 사용"