SLIM : SLIcing state based Models

基于状态的模型将描述系统的抽象级别从程序源代码级别提高到更面向设计的级别。这种提高的抽象级别的目标是允许以与较低抽象级别表达的较小系统相同的工作级别来开发和管理较大规模的系统。许多嵌入式系统，例如由SLIM项目的工业合作伙伴开发的系统，都是从基于状态的模型构建的。不幸的是，随着可以处理的规模的增加，对模型的期望和要求不可避免地会相应增加。将制度和方法推向可以承受的极限是人类的本性。作为这个大小问题的一个例子，精益工业项目合作伙伴摩托罗拉目前使用的一个描述电话系统的模型长达近700页。精益项目将开发算法、方法和技术，使用一种称为切片的技术来缩小模型的大小和复杂性。传统上，切片只应用于程序源代码，而不适用于基于状态的模型。SLIM项目将重新制定切片，以便可以用于缩小模型，从而解决模型大小问题。研究的挑战是为程序切片开发新的理论、方法和算法，将其提高到基于状态的抽象级别。

State based models raise the level of abstraction at which systems are described from the program source code level to a more design-oriented level. The goal of this raised abstraction level is to allow larger-scale systems to be developed and managed with the same level of effort as smaller systems expressed at lower levels of abstraction. Many embedded systems, such as those developed by the SLIM project's industrial partners, are constructed from state based models. Unfortunately, as the scale of what can be handled increases, there is an inevitable commensurate increase in expectations and the demands placed upon the model. It is human nature to push systems and approaches to the bounds of what can be withstood. As an example of this size problem , one of the models for describing a phone system, currently used by the SLIM industrial project partner Motorola, runs to nearly 700 pages.The SLIM project will develop algorithms, methods and techniques for scaling down the size and complexity of a model using a techniques called slicing. Traditionally, slicing has only been applied to program source code, not to state based models. The SLIM project will reformulate slicing so that it can be used to scale down models, thereby addressing the model size problem. The research challenge is to develop new theories, methods and algorithms for program slicing to raise it to the state-based level of abstraction.