This paper presents a novel Security Engineering Process for the creation of security-enhanced system models. The process offers a language for the definition of a domain-specific security knowledge language, the creation of security artefacts using the previous architecture and the use of these artefacts in a system model for fulfilling its security requirements and assurance. It makes securit...

In this paper a model for the specification of the multivariate density of the transaction process is presented. The transaction process is characterized by four marks: price changes, transaction volumes, bid-ask spreads and trade durations. The resulting four dimensional density is decomposed into its conditional and unconditional densities. The density of price changes is modelled with an int...

Business professionals create business process models in order to get an understanding of who is involved and which resources are needed for the execution of a business process. Such business process models are required as a basis for knowledge transfer, quality purposes, regulations, communication between internal and external collaborative partners, or documentation in general. Current proces...

Integrating and managing complex enterprises requires understanding, partitioning and simplification of the complexity. Enterprise modelling supports these requirements by providing means for describing process oriented systems and decomposing them intla manageable parts. However, enterprise modelling requires both a common modelling language and a methodology. The language provides common unde...

FACULTY OF ENGINEERING AND APPLIED SCIENCE ELECTRONICS AND COMPUTER SCIENCE Doctor of Philosophy PROCESS MODELLING FOR REQUIREMENTS CAPTURE

Business Process Management (BPM) has evolved into a core competence of today’s enterprises business development. But the design and the execution of business processes are still crucial tasks. Business Rules provide a mean to overcome some of these difficulties. Therefore this paper presents two different types of business rules: management rules and functional rules. While management rules su...

Despite the growing literature on this topic almost no independent critical analysis or evaluation has been available. This paper attempts to fill that gap. In particular we will be reflecting on experience with the Marvel environment from Columbia University. Marvel is the paradigm case of the software process modelling approach to building software development environments. In this paper we e...