433 search results - page 46 / 87 » Towards a BPMN Semantics Using UML Models |
CALCO
2005
Springer
14 years 2 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
ENTCS
2008
13 years 8 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
APSEC
2004
IEEE
14 years 13 days ago
2004
IEEE
Caise, a collaborative software engineering architecture, provides extensible real-time support for collaboration between participating tools and users. The architecture maintains...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...