87 search results - page 8 / 18 » Using UML Action Semantics for Executable Modeling and Beyon... |
APCCM
2009
13 years 9 months ago
2009
Before two businesses can engage in a business-tobusiness process an agreement about the process execution order and the business documents exchanged in the collaborative process ...
RE
2010
Springer
13 years 3 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
EDOC
2006
IEEE
14 years 2 months ago
2006
IEEE
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
TCS
2002
13 years 8 months ago
2002
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
CSMR
2006
IEEE
14 years 2 months ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...