3429 search results - page 194 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
118
Voted
WSPI
2004
15 years 4 months ago
2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
129
Voted
MKWI
2008
15 years 4 months ago
2008
: This paper presents an approach for the automated extraction of process patterns from Event-driven Process Chain (EPC) models in engineering domains. The manually extraction of p...
139
click to vote
SOFTVIS
2003
ACM
15 years 7 months ago
2003
ACM
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
112
Voted
CSL
2007
Springer
15 years 8 months ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
ENTCS
2007
15 years 2 months ago
2007
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...