搜索结果: 1-3 共查到“软件工程 e-business”相关记录3条 . 查询时间(0.14 秒)
Document Logic: Risk Analysis of Business Processes through Document Authenticity
Formal methods business process modeling risk analysis internal control rewriting logic
2014/3/11
Document Logic is a simple yet powerful framework to infer risks in business processes. We focus on flows of documents and build a set of inference rules based on document authenticity and a simple tr...
Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2Process Algebra
business continuity business process algebraic graph transformation process algebra generation evaluation enterprise modeling
2014/3/11
Critical business processes can fail. Therefore, continuity processes are needed as back-up solutions. Today, those continuity processes are set up and maintained manually. They are mostly based on be...
Strategy-Oriented Alignment in Requirements Engineering: Linking Business Strategy to Requirements ofe-Business Systems using the SOARE Approach
Strategy-Oriented Alignment Requirements Engineering Linking Business Strategy Requirements ofe-Business Systems SOARE Approach
2014/3/12
This paper proposes the Strategy-oriented Alignment in Requirements Engineering (SOARE) approach for e-business systems. The primary objective of the SOARE approach is to enable alignment between requ...