Does anybody have any tool to generate Linear temporal logic or CTL from sequence diagram?

Posted by user326180 on Stack Overflow See other posts from Stack Overflow or by user326180
Published on 2010-04-26T16:50:32Z Indexed on 2010/04/26 16:53 UTC
Read the original article Hit count: 207

Filed under:

formal-methods

|

logic

|

temporal

I have a sequence diagram of an application. can anybody help to generate Linear temporal Logic or Computational tree logic from sequence diagram automatically or does anybody have any tool to do same. plz help Thanks in advance.

© Stack Overflow or respective owner

Related posts about formal-methods

How can I make a career in Formal Methods programming in USA?

as seen on Stack Overflow - Search for 'Stack Overflow'
I've found that my (USA) professors recoil with a near-disgust when I ask them about how to pursue a career in Formal Methods programming. They say, "Oh, that stuff! That stuff is anal. You don't need that European POS to get a job." I'm sure I'll get a job without it, but Formal Methods interests… >>> More
Should I use formal methods on my software project?

as seen on Stack Overflow - Search for 'Stack Overflow'
Our client wants us to build a web-based, rich internet application for gathering software requirements. Basically it's a web-based case tool that follows a specific process for getting requirements from stakeholders. I'm the project manager and we're still in the early phases of the project. I've… >>> More
SAF Evaluation part II the Formal Methods

as seen on Dot net Slackers - Search for 'Dot net Slackers'
OnI talked about evaluating a candidate architecture in code. This post is dedicated to evaluation on paper.I remember one system I was working on, I was keen on making the architecture asynchronous and message oriented (it was all circa 2001 by the way) However, I was new on the team and my role… >>> More
Why do some programmers think there is a contrast between theory and practice?

as seen on Programmers - Search for 'Programmers'
Comparing software engineering with civil engineering, I was surprised to observe a different way of thinking: any civil engineer knows that if you want to build a small hut in the garden you can just get the materials and go build it whereas if you want to build a 10-storey house you need to do quite… >>> More
What is Formal Method? [closed]

as seen on Stack Overflow - Search for 'Stack Overflow'
What are Formal Methods? pros and cons - Why are Formal Methods Necessary ? >>> More

Related posts about logic

Business Logic Layer Pattern on Rails? MVCL

as seen on Stack Overflow - Search for 'Stack Overflow'
That is a broad question, and I appreciate no short/dumb asnwers like: "Oh that is the model job, this quest is retarded (period)" PROBLEM Where I work at people created a system over 2 years for managing the manufacture process over demand in the most simplified still broad as possible, involving… >>> More
What is the correct way to deal with similar but independent features?

as seen on Programmers - Search for 'Programmers'
Let's say we have a feature request come in and we begin work on it, which we'll call feature-1. It introduces some new logic to the application, which we'll call logic-A and logic-B. A programmer branches from the release branch and begins work on the feature. Soon after, we get another feature… >>> More
What is up with the Joy of Clojure 2nd edition?

as seen on Programmers - Search for 'Programmers'
Manning just released the second edition of the beloved Joy of Clojure book, and while I share that love I get the feeling that many of the examples are already outdated. In particular, in the chapter on optimization the recommended type-hinting seems not to be allowed by the compiler. I don't know… >>> More
Transforming Business Logic into Web Services Using DB2 9.5 and IBM Data Studio

as seen on Internet.com - Search for 'Internet.com'
Learn how to take business logic such as stored procedures, functions, or SQL statements and turn them into a Web service. >>> More
Identifier for the “completed” stage of a process: 0, 99, something else?

as seen on Programmers - Search for 'Programmers'
Say, that you are handling a multi-step process (like a complex registration form, with a number of steps the user has go through in order). You need to be able to save the current state of the process (e.g. so the user can come back to that registration form later and continue form the step where… >>> More