603 search results - page 93 / 121 » A Formal Operational Semantics for SOFL |
128
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
135
click to vote
TASE
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
125
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
96
Voted
SAS
2007
Springer
15 years 8 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
116
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...