In this paper we describe how the automated instantiation of assurance case arguments will require information to be extracted from multiple models of a system and its environment and engineering processes, e.g. safety and verification processes. For this to be done successfully the dependencies between the models must be explicitly, completely and correctly captured. We describe how a model-ba...

Despite enormous potential to use web technology at the front-end of retail banking and the advent of mature respective development methodologies, the degree of web technology use in this banking sector is still low. In particular, this applies to lending which is the core of banking. In this paper we argue that there is a gap between the available conceptual means for employing web technology ...

Business environments have become exceedingly dynamic and competitive in recent times. Workflow technology is currently one of the most promising fields of research in business process automation. However, workflow systems to date do not provide the flexibility necessary to support the dynamic nature of business processes. In this paper we primarily present the issues and challenges related to ...