search

ultimate-pa / hanfor

Hanfor helps analyzing and formalizing requirements.
https://ultimate-pa.github.io/hanfor/
GNU Lesser General Public License v3.0
9 stars 3 forks source link

Duration Calcus to PEA #235

Closed Eevan-zq closed 1 year ago

Eevan-zq commented 1 year ago

I would like to ask if hanfor has any plug-ins or related software applications for automatically converting Duration Calculus into PEA automata.

hauff commented 1 year ago

Hello @Eevan-zq,

today there is no plugin to build a pea that corresponds to a given dc formula. However, there exists code that implements this functionality in Hanfor and also in Ultimate.

What are you trying to do, maybe I can help you further?

Eevan-zq commented 1 year ago

Hello， I am sorry that I didn't reply to you some time ago, because it was the Chinese new year. I would like to ask if there is any more detailed information (such as papers or books) about Duration Calcus in Hanfor. I want to understand Hanfor's expressive ability better. Thank you.

hauff commented 1 year ago

@Eevan-zq

Yes, there are papers about Duration Calculus in Hanfor. I would recommend starting with the following source, as it describes the underlying idea.

Jochen Hoenicke - Combination of Processes, Data, and Time

Eevan-zq commented 1 year ago

Ok，thankls, I had got it.

hauff commented 1 year ago

You are welcome. I think this issue can be closed.