3564 search results - page 46 / 713 » Evaluating a Formal Modelling Language |
ISIM
2007
14 years 11 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
ICFCA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
117
click to vote
CAISE
2007
Springer
15 years 1 months ago
2007
Springer
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
CBMS
2008
IEEE
15 years 4 months ago
2008
IEEE
Transforming a text-based clinical guideline in a computer-interpretable form is a time-consuming and demanding task due to the various users involved, who have different technica...