320 search results - page 52 / 64 » A UML 2 Profile for Business Process Modelling |
UML
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
SIMUTOOLS
2008
14 years 10 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
If a business built a plant to produce products without first designing a process to manufacture them, the risk would be lack of capacity without significant plant redesign. Simil...
SAC
2004
ACM
15 years 2 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
UML
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...