합금과 UML의 관계는 무엇입니까?

Question

나는 합금을 배우기 시작하고 내가 본 것을 정말로 좋아한다.

저의 동료들이 저와 함께 Alloy를 배우고 사용하도록 격려하기 전에, 저는 Alloy와 UML의 관계를 이해해야합니다.

1. 합금은 UML을 대체합니까? 합금이 사용되면 UML을 사용할 필요가 없습니다.
2. 합금이 UML을 보완합니까? 합금과 UML을 모두 사용하는 것이 좋습니다.
3. 합금이 UML과 직각을 이루고 있습니까? 합금과 UML은 완전히 다른 목적을 가지고 있습니까?
4. 기능면에서 Alloy는 UML의 수퍼 세트입니까? 필자의 독서를 통해 알로이 언어를 사용하면 많은 제약 조건을 표현할 수 있으며 합금 내 SAT 도구는 모델을 기준으로 (합금을 사용하여 작성) 제약 조건을 확인할 수 있음을 알게되었습니다. MagicDraw와 같은 UML 도구가 이 아니라고 생각합니다.은 제약 조건을 표현하고 UML 모델을 제약 조건에 대해 평가할 수있는 동일한 기능을 가지고 있습니다.

일반적으로 합금과 UML 간의 관계 (또는 관계 부족)에 대해 알려주는 모든 것이 크게 감사 할 것입니다.

감사합니다.

Answer 1

합금은 OCL, UML의 제약 조건 언어로 보강 된 UML 클래스 다이어그램과 비슷합니다. UML의 다른 다이어그램을 대체하지는 않습니다.

데이터를 모델링하고 모델링 동작을 높은 수준에서 사용하는 것이 좋습니다. 예를 들어 Alloy website을 참조하십시오. 항상 Alloy 모델을 UML 다이어그램으로 변환 할 수 있습니다. 데이터의 정확하고 간결한 모델 풍부한 디자인 - -

UML 다이어그램 상세한 모델링을 충분히 표현하지 않은 완전 자동 분석

이 합금은 을 제공하도록 설계되었습니다. UML 제한 언어 OCL은 합금과 동일한 종류의 세부 사항을 다루지 만 동일한 정도에 대한 자동 지원은 제공하지 않습니다.

합금의 제약 조건은 다이어그램의 구조를 검사하는 것이 아니라 실제로 시스템을 모델링하고 속성을 표현한 다음 시스템이 속성을 충족하는지 확인할 수 있습니다. 합금은 표현력 측면에서 OCL과 비교할 수 없습니다. OCL은 산술 처리에있어 표현력이 뛰어나지 만 과도기 종결이 없습니다.

저는 UML/OCL 연구에별로 관심이 없습니다. 아마도 그 지역에있는 누군가가 소리를 지을 수 있습니다.하지만 Mark Richters와 같은 Martin Gogolla의 그룹에서 시작하는 것에 대한 자세한 정보를 권할 수 있습니다. OCL의 의미론에 관한 논문.

"합금 및 UML"을 검색하면 UML에서 합금으로의 자동 번역에 대한 논문과 this one과 같은 비교 논문을 찾을 수 있습니다. 우리는 또한 paper에 OCL과 Alloy에 관한 글을 썼는데, 아마도 Richters 외의 연구에서 수정 된 것들을 OCL에 비판했을 것입니다.