284 search results - page 1 / 57 » Formal Foundation for Pattern-Based Modelling |
FASE
2009
Springer
14 years 2 days ago
2009
Springer
IWPC
1996
IEEE
13 years 9 months ago
1996
IEEE
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...
OTM
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we present a novel approach for the modeling and implementation of Internal Controls in Business Processes. The approach is based on the formal modeling of Internal C...
ICMT
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
IJSWIS
2007
13 years 5 months ago
2007
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...