0
저는 SA 포럼 미들웨어의 HA 응용 프로그램 라이브 업그레이드에 관한 프로젝트를 진행하고 있습니다. 내 연구의 일부로, 입력 업그레이드 캠페인 파일 인 UML 프로파일을 으로 만들고 일부 종속성 제약 조건에 관한 파일의 유효성을 검사해야합니다. 이제 나는 UML보다 더 추상적이고 형식적이기 때문에 UML 대신에 ALLYY 을 사용하고 싶습니다. ( 코스 UML + OCL은 공식적입니다.). 이제 내 질문은, UML + OCL이 공식이므로 합금을 사용하면 어떤 이점이 있습니까? 일반적으로 UML에 대해 합금을 사용하면 어떤 이점이 있습니까?합금 모델 사용