Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Middleware: a model for distributed system services
Communications of the ACM
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
On the role of basic design concepts in behaviour structuring
Computer Networks and ISDN Systems - Special issue: specification architecture
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
LOTOSphere: Software Development with Lotos
LOTOSphere: Software Development with Lotos
Making Components Contract Aware
Computer
A Business Process Design Language
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Service Creation: A Model-Based Approach
FTDCS '99 Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computing Systems
Hi-index | 0.00 |
This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create specific services in an efficient and costeffective way upon user request, models are used, going towards 'higher-level' programming. A service creation environment is developed that supports the modelling of services at successive abstraction levels, the analysis of service models, their actual implementation, and the testing and deployment of service implementations. Services are assumed to be developed from existing or newly developed software components. Components are modelled by describing their external behaviour, rather than their interface(s) only. This provides additional design information facilitating a systematic approach to service creation. This paper shows how we model services and their constituent components, and how we use these models.