572 search results - page 89 / 115 » Visualisation of Domain-Specific Modelling Languages Using U... |
FMCO
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Designing and maintaining a huge class model is a very complex task. When an object oriented software or model becomes bigger and bigger, duplicated elements start to appear, decr...
TOOLS
1998
IEEE
14 years 26 days ago
1998
IEEE
In this paper we adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changi...
UML
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...
EKAW
2004
Springer
14 years 2 months ago
2004
Springer
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...