Managing business process compliance is an important topic in the financial sector. Various scandals and the financial crisis have caused many new constraints and legal regulations that banks and financial institutions have to face. Based on a domain-specific semantic business process modeling notation we propose generic process compliance business rules that serve as a first step towards the i...

We show that the many unusual features of China’s financial markets are consistent with a government choosing regulations to maximize a standard type of social welfare function. Under certain conditions, these regulations are equivalent to imposing explicit taxes on business and interest income, yet should be much easier to enforce. The observed implicit tax rates are broadly in line with those...

............................................................................................................................. xi

Government regulations are critical to understanding how to do business with a government entity and receive other benefits. However, government regulations are also notoriously long and organized in ways that can be confusing for novice users. Developing cognitive assistance tools that remove some of the burden from human users is of potential benefit to a variety of users. The volume of data ...

This paper proposes the technique to apply model checking in order to show the regulatory compliance of requirements specifications written in use case models. For automatic compliance checking, the behavior of business processes and information systems are specified with use case models and they are translated into finite state transition machines, while we represent regulations with branching...

When modeling business processes, we often implicity think of internal business policies and external regulations. Yet to date, little attention is paid to avoid hard-coding policies and regulations directly in control-flow based process models. The standpoint of this analysis is the role of business rule modeling in achieving business process flexibility. In particular, it is argued that flexi...

In order to respond quickly to changing market requirements, a business organisation needs to increase the level of agility in all phases of the business process engineering chain. Business process (BP) modelling is the first and most important phase in this chain. Designing a new and redesigning an existing process model is a highly complex, time consuming and error prone task. In this work, w...

New government regulations, business volatility and changes on stakeholders needs are examples of process change inductors. This dynamic scenario promotes a phenomenon called business process variability. This is an emergent topic in Business Process Management (BPM) that uses Software Product Line (SPL) theoretical basis to investigate the variability of process models. This paper explores the...

Business processes are an important source for the engineering of customized software systems. In this context, the definition, monitoring, and enforcement of the duties associated with different tasks in a business process is one important factor to ensure compliance of an IT system with certain laws and regulations. In this paper, we present a UML2 extension for an integrated modeling of busi...

while the putting a place of business out to lease is a subject matter which is common in trade and the goodwill, it is a familiar for the both lawyers and merchants. those matters are not so common and known in respect of e-stores. in this article the attempt is done to light up these subjects, present a legal analysis thereof and to show they are a separate matter of other similar subjects in...