860 search results - page 29 / 172 » Describing Process Patterns with UML |
118
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
135
Voted
UML
2001
Springer
15 years 7 months ago
2001
Springer
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...
DEXAW
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a security engineering process based on security problem frames and concretized security problem frames. Both kinds of frames constitute patterns for analyzing security...
151
click to vote
FDL
2007
IEEE
15 years 8 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
125
Voted
IJWGS
2006
15 years 2 months ago
2006
: This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representation...