2407 search results - page 242 / 482 » A Tool for Abstraction in Model Checking |
244
click to vote
EDOC
2011
IEEE
14 years 7 months ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
196
click to vote
HCI
2007
15 years 8 months ago
2007
GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assemb...
190
click to vote
BPM
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
223
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
223
click to vote
SE
2007
15 years 8 months ago
2007
Abstract: Today’s enterprise applications are based on numerous interrelated components that capture domain-specific, generic or infrastructural functionality. Each component is...