Modelling Functional Requirements in Spatial Design
We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert...
Building Dynamic Models of Service Compositions with Simulation of Provision Resources
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of...
Business Processes Contextualisation via Context Analysis
Context-awareness has emerged as a new perspective for business process modelling. Even though some works have studied it, many...
Maintaining Consistency of Probabilistic Databases: A Linear Programming Approach
The problem of maintaining consistency via functional dependencies (FDs) has been studied and analyzed extensively within traditional database settings....
A Generic Perspective Model for the Generation of Business Process Views
Overwhelmed by the model size and the diversity of presented information in huge business process models, the stakeholders in...
Full Satisfiability of UML Class Diagrams
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting...
Extending Organizational Modeling with Business Services Concepts: An Overview of the Proposed Architecture
Nowadays, there is wide consensus on the importance of organizational modelling in the definition of software systems that correctly...
On Enabling Data-Aware Compliance Checking of Business Process Models
In the light of an increasing demand on business process compliance, the verification of process models against compliance rules...
Query Answering under Expressive Entity-Relationship Schemata
We address the problem of answering conjunctive queries under constraints representing schemata expressed in an extended version of the...
SQOWL: Type Inference in an RDBMS
In this paper we describe a method to perform type inference over data stored in an RDBMS, where rules...
