The CoreASM modeling framework
Engineering complex distributed systems calls for systematic approaches that build on well-defined methodological frameworks and supporting computational tools. This paper addresses the specification, design, and development of thetextsfCoreASM modeling framework, focusing on a set of features that any comprehensive framework and tool environment for modeling and analysis of complex distributed systems should provide. We discuss the key design features, the underlying design principles, and the lessons learned using CoreASM. Copyright  2011 John Wiley & Sons, Ltd.
coreasm modeling framework abstract state machines specification language executable specification software system design formal methods requirements engineering