Optimising government operations and providing eGovernemt services has assumed a major role for reducing government expenditure as well as tackling demographic challenges in times of financial crises and resource shortages on different levels. However, re-organising public administrations, introducing IT-Systems support, and improving their service delivery is highly complex as their operations...

Industry governance, risk, and compliance (GRC) solutions stand to gain from various analyses offered by formal compliance checking approaches. Such adoption is made difficult by the fact that most formal approaches assume that a mapping between concepts of regulations and models of operational specifics exists. Industry solutions offer tagging mechanisms to map regulations to operational speci...

The increase in government regulation during the 1960s and 1970s is examined, as well as showing the importance of understanding the benefit/cost ratio of regulation.

Additionally, there is an increasing need to maintain easy access to historical information for business or regulatory requirements. For example, a company may need to protect its interests by retrieving historical financial transactions to satisfy customer inquiries and resolve claims. In other cases, corporate policy or government regulations dictate that data must remain accessible for years...

As business becomes more global, many multinational firms are turning to common systems—systems with core software modules designed around common global requirements but that can be augmented with local modules to support regional differences in language, laws, regulations, and work rules. This article describes the implementation of one such system, known as MaxFli, at British American Tobacco...

In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we augment the model and model checking with additional property treatment to deal with multifarious non-functional properties and property hierarchies. This enables a more powerful verification of requirements such as given business...