Sciweavers

1538 search results - page 179 / 308
» Business Process Modeling Notation
Sort
View
93
Voted
CAISE
2006
Springer
15 years 4 months ago
Structuring Safety Policy Decomposition
Abstract. Safety policy is a collection of rules that govern the behaviour of entities such that they do not cause accidents. It has been suggested that policies in general can be ...
Martin Hall-May, Tim Kelly
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 2 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
82
Voted
GI
2005
Springer
15 years 6 months ago
Modelling and Execution of Complex Semantic Transactions using WERIGO Metamodel
: Rapid evolution of modern Information Systems and Process-Aware Information Systems (PAIS) in particular requires transactional execution of business logic. The paper introduces ...
Alexander Tarabrin
126
Voted
ESEC
1995
Springer
15 years 4 months ago
Improvise: Interactive Multimedia Process Visualization Environment
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
Naser S. Barghouti, Eleftherios Koutsofios, Edith ...
106
Voted
AINA
2010
IEEE
15 years 6 months ago
Data Integration at Scale: From Relational Data Integration to Information Ecosystems
Our world is increasingly data-driven. The growth and value of data continue to exceed all predictions. Potential for business opportunity, economic growth, scientific discovery, ...
Michael L. Brodie