Constructing a business process is important area between requirements engineering and business process management. Goal-oriented requirements analysis method is widely researched in requirements engineering and useful for reflecting organizational requirements to business process models, but actual business processes deviate from defined process models. Therefore, it is not sufficient for busi...

Matt Bishop Christopher Wee Jeremy Frank Department of Computer Science University of California at Davis Davis, CA 95616-8562 This paper presents a technique for deriving audit requirements from security policy, with examples for informal specifications. Augmenting these requirements with a system model allows an analyst to determine specific functions within the system that must be audited. W...

Business process management is a challenging task that requires business processes being described, executed, monitored and continuously enhanced. This process management lifecycle requires business as well as IT people working together, whereby the view on business process is quite different on both sides. One important means for bridging the gap between both consists in having a modeling nota...

(for dissemination)This deliverable is for internal usage of the consortium. It specifies a prototypeof a tool for goal oriented SWS composition.Keywordscomposition, configuration, constraint, policy, finite model, search, semantic webservice, web service, workflow, modeling Version LogIssue Date Rev No. Author Change09-10-05 1L.Henocque v0.1 initial11-10...

Activityand context-aware systems, as they are known, established, and well evaluated in small-scale laboratory settings for years and decades, suffer from the fact, that they are limited concerning the underlying data delivering entities. The sensor systems are usually attached on the body, on objects, or in the environment, directly surrounding persons or groups whose activities or contextual...

Many companies consider business process management strategies a fundamental source for successful business operation. Despite this importance of business processes a conceptual and operational gap still exists between the business and the IT view of processes. In this paper we argue that an important reason for this gap is the strong focus of IT on the behaviour and execution perspective of wo...

Metrics-programmes give powerful support to quality improvement of both software products and development processes. A well-known and popular software measurement approach is the Goal/Question/Metric method (GQM). This article presents a research road-map intended to enhance GQM. The main motive behind that presentation is that GQM will probably become the de-facto standard for software measure...

One fundamental issue in service-oriented computing concerns the question whether services can be composed in a manner that allows them to achieve their individual goals. In this paper we use a variant of interface automata as an abstraction of the input/output behaviour of services, which are themselves represented as terms in the π-calculus extended with an action for expressing service colla...

Enterprise Modelling is a discipline which tries to capture and reason about the distinct dimensions (e.g. structure, strategies and processes) involved in organizations by means of visual models. In this work, we are interested in using Enterprise Architectures to gain an understanding of the enterprise to promote a goal-oriented enterprise analysis. This paper describes the current state of a...