1796 search results - page 164 / 360 » An Approach to Compositional Model Checking |
124
Voted
IWFM
2000
15 years 1 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
113
Voted
IJWET
2008
14 years 11 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
146
click to vote
GG
2008
Springer
15 years 1 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...
100
Voted
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML aspect-oriented modeling tool that uses graph transformations to specify and compose aspects. Gr...
87
Voted
IEEESCC
2006
IEEE
15 years 6 months ago
2006
IEEE
Business process management in service-oriented computing (SOC) environments poses special challenges. In particular, SOC environments are dynamic, thereby requiring frequent chan...