We provide a characterization of the resolution width introduced in the context of
propositional proof complexity in terms of the existential pebble game introduced in the …

CONTEXT: Model-Driven Development (MDD) is an alternative approach for information
systems development. The basic underlying concept of this approach is the definition of …

Service-oriented Architectures deliver a flexible infrastructure to allow independently
developed software components to communicate in a seamless manner. In the scope of …

Business process modelling is one of the major aspects in the modern information system
development. Recently business process model and notation (BPMN) has become a …

Business processes have become important resources, both for an enterprise's performance
and to enable it to maintain its competitiveness. The languages used for business process …

Sažetak Information system's models on higher level of abstraction have become a daily
routine in many software companies. The concept of Model Driven Architecture (MDA) …

Abstract Models transformation is the most important key in Model Driven Architecture
(MDA). The first transformation in MDA is Computing Independent Model (CIM) to Platform …

Abstract Developing with Model Driven Architecture is nowadays widely used starting with a
CIM that can be transformed to models of low abstraction (PIM, PSM) that can be used to …

Various types of security goals, such as authentication or confidentiality, can be defined as
policies for process-aware information systems, typically in a manual fashion. Therefore, we …

Sound methodologies for constructing security-critical systems are extremely important in
order to confront the increasingly varied security threats. As a response to this need, Model …