Sciweavers

186 search results - page 1 / 38
» Static Analysis of Business Artifact-centric Operational Mod...
Sort
View
BPM
2007
Springer
201views Business» more  BPM 2007»
13 years 11 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
SOCA
2007
IEEE
13 years 11 months ago
Static Analysis of Business Artifact-centric Operational Models
Business Artifacts are the core entities used by businesses to record information pertinent to their operations. Business operational models are representations of the processing ...
Cagdas E. Gerede, Kamal Bhattacharya, Jianwen Su
EDBT
2010
ACM
182views Database» more  EDBT 2010»
13 years 8 months ago
BIAEditor: matching process and operational data for a business impact analysis
A profound analysis of all relevant business data in the company is necessary for optimizing business processes effectively. Current analyses typically exclusively run on business...
Sylvia Radeschütz, Florian Niedermann, Wolfga...
IFIP
2009
Springer
13 years 11 months ago
Static Detection of Logic Flaws in Service-Oriented Applications
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
Chiara Bodei, Linda Brodo, Roberto Bruni
ER
2007
Springer
237views Database» more  ER 2007»
13 years 11 months ago
Business Process and Business Rule Modeling Languages for Compliance Management: A Representational Analysis
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...
Michael zur Muehlen, Marta Indulska, Gerrit Kamp