Higher-Order Abstraction of Process Compositions and Their Transformation
نویسنده
چکیده
This paper presents a higher-order abstraction framework for process compositions which are common to highly-parallel systems and VLSI architectures. It is to aid reuse and formal design of such compositions. We construct the framework on functional programming, since it has a facility for process modeling and higher-order abstraction. Our achievements include a basis for inheritance and aggregation relationship in a collection of compositions, and analysis and design of transformation rules for deriving compositions.
منابع مشابه
Video Abstraction in H.264/AVC Compressed Domain
Video abstraction allows searching, browsing and evaluating videos only by accessing the useful contents. Most of the studies are using pixel domain, which requires the decoding process and needs more time and process consuming than compressed domain video abstraction. In this paper, we present a new video abstraction method in H.264/AVC compressed domain, AVAIF. The method is based on the norm...
متن کاملImproving Reuse of Web Service Compositions
We describe a methodology for assembling composite services based on three basic processes which are independent of the concrete implementation: Service Abstraction Process, Service Composition Process, and Translation Process. These processes share the concept of integrated component composed of two key aspects: a specific set of the Aalst’s workflow patterns together with a component-style co...
متن کاملDigital Competencies Of Teachers In The Transformation Of The Educational Environment
The purpose of this study is to determine the main directions of development of digital competencies of teachers to ensure a quality educational process in the transformation of the educational environment. The relevance of this study is due to the need to determine the main directions of development of the education system for adaptation in the context of digitalization of society. It is estab...
متن کاملDeterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کاملارزیابی رابطه SCS در تعیین تلفات اولیه باران در حوضه های آبریز
The main scope of this research is evaluation of Soil Conservation Service Procedure in derivation of initial abstraction of precipitation in watershed scale. For this purpose Dalaki watershed which is located in south east of Iran was selected then by using hec-hms and GIS models and a number of observed rainfall runoff events some parameters like CN of watershed ,K and X of Muskingam meth...
متن کامل