Communicating sequential processes
Communicating sequential processes
Communication and concurrency
A calculus of mobile processes, I
Information and Computation
Regular types for active objects
Object-oriented software composition
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
CSP-OZ: a combination of object-Z and CSP
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Inside distributed COM
Sap R/3 Process Oriented Implementation
Sap R/3 Process Oriented Implementation
R/3 Implementation: Methods and Tools
R/3 Implementation: Methods and Tools
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Extending CORBA Interfaces with p-Calculus for Protocol Compatibility
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 33)
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
Refinement of Component Model Standards and Conventions
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Hi-index | 0.00 |
The increasing number of available software components and competing interoperability standards render the selection, composition, and configuration of software components increasingly complex. In order to support the domain expert in these processes comprehensive, comparable, and sufficiently abstract component descriptions are required. In this paper, we abstract from the specifics of the component models COM, EJB, and CCM, and propose a unifying component description language for integrated descriptions of structure and behaviour of software components and component-based software systems.