Over the past 15 years large systems integrators have grown in size by an order of magnitude. During this time the nature of the systems we build, the manner in which they are built, and the clients for whom they are ...
详细信息
ISBN:
(纸本)9781605582672
Over the past 15 years large systems integrators have grown in size by an order of magnitude. During this time the nature of the systems we build, the manner in which they are built, and the clients for whom they are built have seen corresponding growth. During this talk I will review some of these changes and discuss some of the challenges we see on the horizon as these trends continue. What kind of systems would a systems integrator with 2 million people develop? How would they be built?
Grids are very complex and volatile infrastructures that exhibit parallel and distributed characteristics. To harness their complexity as well as the increasing intricacy of scientific applications, modern software en...
详细信息
ISBN:
(纸本)9783540854500
Grids are very complex and volatile infrastructures that exhibit parallel and distributed characteristics. To harness their complexity as well as the increasing intricacy of scientific applications, modern software engineering practices are needed. As of today, two major programming models dominate: software component models that are mainly based on a spatial composition and service oriented models withtheir associated workflow languages promoting a temporal composition. this paper tends to unity these two forms of composition into a coherent spatio-temporal software component model while keeping their benefits. To attest the validity of the proposed approach, we describe how the Grid component model, as defined by the CoreGRID Network of Excellence, and the Askalon-AGWL workflow language have been adapted.
While Architecture Description Languages (ADLs) have gained wide acceptance in the research community as a means of describing system designs, the uptake in industry has been slower than might have been expected. A co...
详细信息
ISBN:
(纸本)9780769531410
While Architecture Description Languages (ADLs) have gained wide acceptance in the research community as a means of describing system designs, the uptake in industry has been slower than might have been expected. A contributory cause may be the perceived lack of flexibility and, as yet, the limited tool support. this paper describes ALI, a new ADL that aims to address these deficiencies by providing a rich, extensible and flexible syntax for describing component interface types and the use of patterns and meta-information. these enhanced capabilities are intended to encourage more widespread industrial usage.
In 1984, John Hughes wrote a seminal paper titled, "Why Functional programming Matters," in which he eloquently explained the value of pure and lazy functional programming. Due to the increasing importance o...
详细信息
ISBN:
(纸本)9781605582672
In 1984, John Hughes wrote a seminal paper titled, "Why Functional programming Matters," in which he eloquently explained the value of pure and lazy functional programming. Due to the increasing importance of the Web and the introduction of many-core machines, in the quarter of a century since the paper was written, the problems associated with imperative languages and their side effects have become increasingly evident. this talk argues that fundamentalist functional programming-that is, radically eliminating all side effects from programming languages, including strict evaluation-is what it takes to conquer the concurrency and parallelism dragon. Programmers must embrace pure, lazy functional programming "all the way"-with all effects apparent in the type system of the host language using monads. A radical paradigm shift is the answer, but does that mean that all current programmers will be lost along the way? Fortunately not! By design, LINQ is based on monadic principles, and the success of LINQ proves that the world does not fear the monads.
In this work we look at combining emerging technologies in programming languages with traditional query processing techniques to provide support for efficient execution of declarative queries over adaptive data struct...
详细信息
ISBN:
(纸本)9781424418367;1424418364
In this work we look at combining emerging technologies in programming languages with traditional query processing techniques to provide support for efficient execution of declarative queries over adaptive data structures. We first explore available technologies such as Language-Integrated Query, or LINQ (which enables declarative queries in programming languages) and the *** DataSet classes (which provide various efficient alternatives to manipulate data in procedural terms). Unfortunately, combining the good features in both technologies is not straightforward, since LINQ over DataSets results by default in execution plans that do not exploit the specific characteristics of the data structures. To address this limitation, we introduce a lightweight optimizer that dynamically chooses appropriate execution strategies for declarative queries on DataSets based on their internal structure. To further enable declarative programming, we introduce a componentthat dynamically reorganizes the internal representation of DataSets, so that they automatically respond to workload changes. We experimentally showcase the features of our approach.
the proceedings contain 21 papers. the topics discussed include: generative metaprogramming;parsimony principles for software components and metalanguages;debugging macros;lightweight scalable components;constructing ...
详细信息
ISBN:
(纸本)9781595938558
the proceedings contain 21 papers. the topics discussed include: generative metaprogramming;parsimony principles for software components and metalanguages;debugging macros;lightweight scalable components;constructing language processors with algebra combinators;aspects of availability;refactoring-based support for binary compatibility in evolving frameworks;Repleo: a syntax-safe template engine;preventing injection attacks with syntax embeddings;context-aware scanning for parsing extensible languages;library composition and adaptation using C++ concepts;challenges in generating QoS-constrained software implementations;and safe composition of product lines.
Generic programming (GP) is the evolvement of OO, and more general than OO. In a certain degree, it is requirement-oriented programming. this paper, firstly, addresses some insufficiencies of OO;secondly illustrates a...
详细信息
programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an approach to open distributed programmi...
详细信息
Recent advances in Software engineering have reduced the cost of coding programs at the expense of increasing the complexity of program synthesis, i.e. metaprograms, which when executed, will synthesize a target progr...
详细信息
Embedded systems can be viewed as scaled-down versions of their stand-alone counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from libraries for stand-alone syste...
详细信息
暂无评论