Хотите инструмент для получения линейной спецификации временной логики из диаграммы последовательности UML 2.0

Я работаю над проверкой совместимости модели программного обеспечения. для этого мне нужно написать линейную временную логику для диаграммы последовательности UML 2.0. если у какого-либо органа есть какой-либо другой инструмент для того же ответа, как можно скорее. Я буду очень вам благодарен. Я нашел, что у charmy tool есть плагин для того же самого. У кого-нибудь есть исходный код для чарующего инструмента (CHecking ARchitectural Model consistencY). Он недоступен на их веб-сайте.Хотите инструмент для получения линейной спецификации временной логики из диаграммы последовательности UML 2.0

Заранее спасибо.

источник

2010-05-18 kingh

Есть много инструментов для трансформации модели и проверки модели, когда дело доходит до UML. Не могли бы вы дать некоторую ссылку на эту «линейную временную логику»? Я понятия не имею, что это. –

В основном это используется, чтобы доказать свойство безопасности и жизнеспособности системы. Здесь я даю две ссылки 1. http://en.wikipedia.org/wiki/Linear_temporal_logic 2. http://www.di.univaq.it/pellicci/download.php?fileID=26 – kingh

Dup http: //stackoverflow.com/questions/2715239/does-anybody-have-any-tool-to-generate- linear-temporal-logic-or-ctl-from-sequence –

Я не уверен, что понимаю проблему. Согласно the wikipedia article, диаграмма последовательности не имеет никаких циклов, поэтому соответствующая формула LTL не будет содержать никаких алмазов или ящиков и т. Д., Это будет просто последовательность атомных событий, нет?

Не могли бы вы привести примерную диаграмму последовательности и соответствующую формулу LTL?

источник

2010-05-07 07:43:02 aioobe

Вы неправильно поняли. http://www.ibm.com/developerworks/rational/library/3101.html указывает, что возможны чередование и цикл. –

Кроме того, даже с помощью простого кода все равно будет необходимо хорошее разбрызгивание символов '◇'; вы не можете сразу рассчитывать на события из диаграммы последовательности, поэтому «в конечном счете» является полезным модальным оператором. (Боже, я начинаю вспоминать некоторые из этих вещей ...) –

Модель диаграммы последовательности для меня непригодна.

Я имею в виду, что вы можете иметь диаграмму последовательности, но базовая модель действительно беспорядочна. Диаграмма последовательности является единственной диаграммой UML, модель которой на самом деле не используется повторно. Извините за это сообщение, но я думаю, что диаграмма последовательности должна оставаться графической, потому что метамодель не была хорошо развита в спецификации UML, и ее слишком поздно менять!

источник

2010-05-18 19:43:43

Возможно, еще не слишком поздно: http://www.drdobbs.com/architecture-and-design/224701702;jsessionid=OWQYMR1NPFHN1QE1GHRSKHWATMY32JVN –

Хотите инструмент для получения линейной спецификации временной логики из диаграммы последовательности UML 2.0

ответ

Смежные вопросы