We propose an approach based on aspect-oriented programming to specify and to verify interaction protocols in the component interfaces of Java programs. First, based on method patterns of AspectJ we introduce a simple...
详细信息
ISBN:
(纸本)9780769534374
We propose an approach based on aspect-oriented programming to specify and to verify interaction protocols in the component interfaces of Java programs. First, based on method patterns of AspectJ we introduce a simple protocol specification language that specifies temporal orders of operations of an interface. We then develop an algorithm that takes a protocol specification and produces aspect code that will check for protocol conformance of programs that use the interface at runtime. Finally, we propose several extensions that enable the integration of our approach with static techniques and allow checking protocols over multiple components.
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for "command parameter synthesis" is usually application-specific and non-r...
详细信息
ISBN:
(纸本)9781605582672
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for "command parameter synthesis" is usually application-specific and non-reusable, consisting of validation logic in event handlers and code that controls how values of user interface elements change in response to a user's actions, etc. these software artifacts are incidental-they are not explicitly designed and their implementation emerges from a composition of locally defined behaviors. this article presents property models to capture explicitly the algorithms, validation, and interaction rules, arising from command parameter synthesis. A user interface's behavior can be derived from a declarative property model specification, withthe assistance of a component akin to a constraint solver. this allows multiple interfaces, both human and programmatic, to reuse a single model along with associated validation logic and widget activation logic. the proposed technology is deployed in large commercial software application suites. Where we have applied property models, we have measured significant reductions in source-code size with equivalent or increased functionality;additional levels of reuse are apparent, both within single applications, and across product lines;and applications are able to provide more uniform access to functionality. there is potential for wide adoption: by our measurements command parameter synthesis comprises roughly one third of the code and notably more of the defects in desktop applications.
the proceedings contain 37 papers. the topics discussed include: measuring the social ability of software agents;message streaming network components architecture and in-network programming model;automated deployment ...
ISBN:
(纸本)9780769533025
the proceedings contain 37 papers. the topics discussed include: measuring the social ability of software agents;message streaming network components architecture and in-network programming model;automated deployment of distributed software components with fault tolerance guarantees;a study on design for testability in component-based embedded software;an analysis of missed structure field handling bugs;modeling and validation of executable requirements using live activity diagrams;on model-driven development of mobile business processes;parallel implementation of DPCM decoding for SMP systems;compliance of CMMI process area with specification based development;the use of object orientation to define process models;towards formalization and verification of unified business process model based on Pi calculus;and adaptation of refactoring strategies to multiple axes of modularity: characteristics and criteria.
To enable desianers to construct geometric models of MEMS devices in a straightforward environment and get mask and process flow automatically, a 3D MEMS CAD system for surface micromachined devices is proposed based ...
详细信息
ISBN:
(纸本)9780878494705
To enable desianers to construct geometric models of MEMS devices in a straightforward environment and get mask and process flow automatically, a 3D MEMS CAD system for surface micromachined devices is proposed based on traditional design software - SolidWorks. With Application programming Interfaces (APIs) of SolidWorks, component modules and databases of the system are developed with Visual Basic, such as geometric model design module, mask and process flow generation module, process simulation module. 3D feature database and material database. their development method is discussed in this paper. A practical example shows that surface micromachined devices can be designed efficiently in the system without tedious fabrication process.
In this paper we present the model based design optimization on a micromechanical system which is described by a VHDL-AMS behaviour model, based on the Cosserat theory. the application is a gyroscope test structure de...
详细信息
ISBN:
(纸本)9781424415441
In this paper we present the model based design optimization on a micromechanical system which is described by a VHDL-AMS behaviour model, based on the Cosserat theory. the application is a gyroscope test structure developed by ST MICROELECTRONICS. the schematic of the microactuator is built tip front component models developed in Lancaster within previous work. the equations of motion of the beam model were derived using Cosserat theory. the rigid body model wits adjusted to capture the behaviour of the central disk with comb-drives of the microactuator target structure. Within the model based design optimization system MODOS developed at the UNIVERSITY OF BREMEN a model optimization and a model based design optimization were performed. In this report we represent the theoretical background of the modeling and optimization process and publish the received results.
Automation and control systems provide their own programming and modeling paradigms in parallel to theory well known from computer science. Especially the concepts of component-based software engineering highly influe...
详细信息
Automation and control systems provide their own programming and modeling paradigms in parallel to theory well known from computer science. Especially the concepts of component-based software engineering highly influence the design of embedded systems, which include automation and control systems. this work analyses what is and is not a ldquosoftware componentrdquo in the context of the two standards IEC 61131-3 and IEC 61499. Utilizing the definition of component frameworks and component system architectures, the potentials and problems of an integrative approach in order to utilize both standards within the same platform was discussed.
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?
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.
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.
暂无评论