3294 search results - page 257 / 659 » Taxonomy of Process Modeling Languages |
145
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
162
click to vote
COOPIS
1995
IEEE
15 years 7 months ago
1995
IEEE
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
148
Voted
SDL
2007
15 years 5 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
121
click to vote
SPIN
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...
124
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
The Meta-Modeling Language is a static object-oriented modeling language whose focus is the declarative definition of languages. It aims to enable the UML metamodel to be precisely...