The CoreASM modeling framework
Software Practice and Experience2011Vol. 41(2), pp. 167–178
Citations Over TimeTop 10% of 2011 papers
Abstract
Abstract 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.