Premium
The CoreASM modeling framework
Author(s) -
Farahbod Roozbeh,
Glässer Uwe
Publication year - 2011
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.1029
Subject(s) - computer science , key (lock) , software engineering , systems engineering , set (abstract data type) , data science , management science , engineering , programming language , computer security
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.