Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
SynchNet: a Petri net based coordination language for distributed objects
Proceedings of the 2nd international conference on Generative programming and component engineering
Mechanization of invasive software composition in F-logic
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Contract-based system-level composition of analog circuits
Proceedings of the 46th Annual Design Automation Conference
An introduction to network stack design using software design patterns
MACE'10 Proceedings of the 5th IEEE international conference on Modelling autonomic communication environments
| Hi-index | 0.00 |
Component technology tries to solve many problems of Today's software industry practice: the productivity and produced quality should be increased and a better infrastructure for maintenance of the products is promised. The integration of off-the-shelf components to build customized products allows to source out the development of general purpose components. A crucial prerequisite for the intended scenario of component usage is their strong separation. Especially in a distributed environment, synchronization aspects are of great importance to identify a suitable architecture and to decide whether a component matches some requirements.The presented approach allows to model the synchronization aspect of contracts in a flexible manner including a whole spectrum of different degrees of preciseness from declaration of abstraction barriers to complete synchronization specifications describing the explicit behavior. The used Petri net based OcoN behavior specification formalism is structurally embedded in the UML and supports analysis and design of component systems.