We discuss the static verification of declarative Business Processes. We identify four desiderata about verifiers, and propose a concrete framework which satisfies them. The framework is based on the ConDec graphical notation for modeling Business Processes, and on Abductive Logic Programming technology for verification of properties. Empirical evidence shows that our verification method seems ...

The first great wave of commercial open source adoption was done by software vendors. Once they realized the quality and time to market competitive advantages of innovating by integrating open source technologies, the trend was unstoppable. The second great wave was the creation of entirely new internet business models based on the scalability of free software. Companies such as Google, Faceboo...

The present paper proposes an integrated model for interorganizational business process integration. The model does not just tackle the execution of processes, but takes into account also the integration process itself, which has turned out to be a key cost driver in many integration projects. After the identification of the market needs, the state of the art is illustrated in terms of technolo...

As the leading vendor of enterprise business standard software, SAP has recognized the need to adapt their R/3 system to current trends in software development and to meet market needs for speed of development, flexibility, openness and interoperability. In this paper, we first present SAP’s approach to object-oriented and componentbased technology by describing the Business Framework, the conc...

the main objective of the paper is to investigate customer treatment, financial efficiency and supporting customer services with modern banking technology in financial institutions. the customer orientation and business performance of financial institutions targets customer services to maintain long term mutual relationships. the findings of the study has direct practical relevance for the bank...

Since the mid-1990s, in the course of the raising commercial use of modern ICT and the transformation of traditional to digital business, the business model concept has emerged as a promising unit of analysis in business practice that has attracted increasing interest in research. To describe business models, they are usually broken down to single business model components. Unfortunately, no un...

New forms of cooperation like collaborative business scenarios require a deep but flexible integration of enterprises. In order to manage inter-organizational business processes, existing concepts for business process management need to be adapted and extended. In this paper an approach is presented, that shows how cross-organizational processes can be planned and implemented. The approach in t...

scores for free interpretation present systems of abstract symbols without a intended or predefined mapping into a multidimensional qualia space. The live performer invents a mapping from the abstract symbols into a property such as pitch, or color, or energy level, and then performs the score. Needless to say, some of these mappings will be more improvisational than others. Earle Brown (Beyond...