Our regular stand-up scrum meetings are a great way to have regular interaction with other team members, as well as our supervisor.
Relational Modeling and Reasoning with Multisets and Multirelations in Alloy
|Title||Relational Modeling and Reasoning with Multisets and Multirelations in Alloy|
|Year of Publication||2016|
|Authors||Sun, P., Z. Diskin, M. Antkiewicz, and K. Czarnecki|
|Document Number||GSDLAB-TR 2016-01-22|
Multisets and multirelations arise naturally in modeling. In contrast, while ordinary sets and relations are first-class citizens in the Alloy environment, Alloy does not provide a direct way to work with multisets and multirelations. In this report, we present a sound and practical mathematical framework which encodes multisets and multirelations using only ordinary sets and total functions. We implement the encoding as a mutliconcepts library in Alloy which is declarative, compatible with ordinary sets and relations, and can be incorporated into existing models seamlessly.
|Bundling model and visulization.zip||3.76 KB|