181 search results - page 9 / 37 » Petri net markup language: implementation and application |
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
TOPNOC
2008
14 years 9 months ago
2008
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...
DAGSTUHL
2006
14 years 10 months ago
2006
Abstract Recently, languages such as BPEL and CDL have been proposed to describe the way services can interact from a behavioral perspective. The emergence of these languages heral...
EDOC
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract— In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications...
71
Voted
CMSB
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...