Sciweavers

320 search results - page 35 / 64
» A UML 2 Profile for Business Process Modelling
Sort
View
FDL
2005
IEEE
14 years 1 months ago
Integrating Model-Checking with UML-based SoC Development
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
Peter Green, Kinika Tasie-Amadi
CORR
2011
Springer
195views Education» more  CORR 2011»
12 years 11 months ago
Platform for Assessing Strategic Alignment Using Enterprise Architecture: Application to E-Government Process Assessment
This paper presents an overview of S2AEA (v2) (Strategic Alignment Assessment based on Enterprise Architecture (version2)), a platform for modelling enterprise architecture and fo...
Kaoutar Elhari, Bouchaib Bounabat
ICLP
2010
Springer
13 years 12 months ago
Models for Trustworthy Service and Process Oriented Systems
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
Hugo A. López
KESAMSTA
2010
Springer
13 years 6 months ago
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
CSREAEEE
2006
148views Business» more  CSREAEEE 2006»
13 years 9 months ago
Realising RosettaNet PIP Compositions as Web Service Orchestrations - A Case Study
A world of ever growing competition not only forces enterprises to continuously optimise their private business processes but also to integrate their business processes with their ...
Andreas Schönberger, Guido Wirtz