Sciweavers

5904 search results - page 78 / 1181
» Requirements for a Composition Language
Sort
View
CSL
1999
Springer
14 years 1 months ago
A Truly Concurrent Semantics for a Simple Parallel Programming Language
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
Paul Gastin, Michael W. Mislove
WECWIS
2005
IEEE
157views ECommerce» more  WECWIS 2005»
14 years 2 months ago
Business Rules Integration in BPEL - A Service-Oriented Approach
Business rules change quite often. These changes cannot be handled efficiently by representing business rules embedded in the source code of the business logic. Efficient handli...
Florian Rosenberg, Schahram Dustdar
ENTCS
2006
135views more  ENTCS 2006»
13 years 9 months ago
Formal Semantics and Analysis of Component Connectors in Reo
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arba...
RTSS
2003
IEEE
14 years 2 months ago
Periodic Resource Model for Compositional Real-Time Guarantees
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
Insik Shin, Insup Lee
GPCE
2008
Springer
13 years 10 months ago
Code generation to support static and dynamic composition of software product lines
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL i...
Marko Rosenmüller, Norbert Siegmund, Gunter S...