Sciweavers

155 search results - page 9 / 31
» Socio-Technical Toolbox for Business Systems Analysis and De...
Sort
View
DOCENG
2010
ACM
14 years 9 months ago
Semantics-enriched document exchange
In e-business development, semantics-oriented document exchange is becoming important, because it can support crossdomain user connection, business transaction and collaboration. ...
Jingzhi Guo, Ming Sang Ho
ATAL
2008
Springer
15 years 11 days ago
Checking correctness of business contracts via commitments
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
Nirmit Desai, Nanjangud C. Narendra, Munindar P. S...
70
Voted
BPM
2005
Springer
85views Business» more  BPM 2005»
15 years 3 months ago
Modeling and Analysis of Mobile Service Processes by Example of the Housing Industry
This article describes the method of Mobile Process Landscaping by example of a project in which the service processes of a company from the housing industry were analyzed regardin...
Volker Gruhn, André Köhler, Robert Kla...
SPIN
1999
Springer
15 years 2 months ago
Model Checking for Managers
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fen...
HICSS
2011
IEEE
279views Biometrics» more  HICSS 2011»
14 years 2 months ago
Analysis of IT/Business Alignment Situations as a Precondition for the Design and Engineering of Situated IT/Business Alignment
IT/business alignment has constantly been among the top priorities for IT executives. From a prescriptive, design research perspective, our analysis of related work shows that nei...
Jan Saat, Robert Winter, Ulrik Franke, Robert Lage...