1856 search results - page 171 / 372 » Formal Dialectic Specification |
139
click to vote
UML
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
149
click to vote
ECOWS
2009
Springer
15 years 7 months ago
2009
Springer
— Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It ...
147
Voted
RULEML
2010
Springer
15 years 3 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
240
click to vote
ICDE
2001
IEEE
16 years 6 months ago
2001
IEEE
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
129
click to vote
COSIT
2009
Springer
15 years 11 months ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...