I might give it a try, but I would need a lot of help to find all possible situations ;-)
Using ArgoUML and the details I found in the AS7 Readme.txt, here is my first try:
http://http://www.cs.hs-rm.de/~knauf/private/JBoss7_DeploymentCycle.png
The more I think about it, the more transitions and states appear in the dark (e.g. ".isundeploying", ".undeployed" and ".pending" files are missing) ;-). And this is only a snippet of the the "autodeploy" part...
Any comments are welcome - it might take some days until I find the time to improve it.
