Current trends in concurrency. Overviews and tutorials
Engineering real time systems: an object-oriented methodology using SDL
Engineering real time systems: an object-oriented methodology using SDL
Real-time object-oriented modeling
Real-time object-oriented modeling
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
A framework for modeling transfer protocols
Computer Networks: The International Journal of Computer and Telecommunications Networking
Systems Engineering with SDL: Developing Performance-Critical Communication
Systems Engineering with SDL: Developing Performance-Critical Communication
Towards Dynamic Composition of Hybrid Communication Services
SMARTNET '00 Proceedings of the IFIP TC6 WG6.7 Sixth International Conference on Intelligence in Networks: Telecommunication Network Intelligence
Verification of UML-Based Real-Time System Designs by Means of cTLA
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)
ARES '06 Proceedings of the First International Conference on Availability, Reliability and Security
A collaboration-based approach to service specification and detection of implied scenarios
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Temporal logic-based specification and verification of trust models
iTrust'06 Proceedings of the 4th international conference on Trust Management
Using UML 2.0 collaborations for compositional service specification
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Model-Driven architecture for hard real-time systems: from platform independent models to code
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Service Specification by Composition of Collaborations--An Example
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Adaptable model-based component deployment guided by artificial ants
Autonomics '08 Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems
Dealing with Active and Stateful Services in the Service-Oriented Architecture
Service-Oriented Computing - ICSOC 2007 Workshops
Tool support for the rapid composition, analysis and implementation of reactive services
Journal of Systems and Software
Synthesizing components with sessions from collaboration-oriented service specifications
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Cost-efficient deployment of collaborating components
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Model-driven construction of embedded applications based on reusable building blocks: an example
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Automatic generation of compatible interfaces from partitioned UML activities
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Component deployment using parallel ant-nests
International Journal of Autonomous and Adaptive Communications Systems
A tool-supported method for the design and implementation of secure distributed applications
ESSoS'11 Proceedings of the Third international conference on Engineering secure software and systems
Behavioral singletons to consistently handle global states of security patterns
DAIS'12 Proceedings of the 12th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Hi-index | 0.00 |
In our service engineering approach, services are specified by UML 2.0 collaborations and activities, focusing on the interactions between cooperating entities To execute services, however, we need precise behavioral descriptions of physical system components modeling how a component contributes to a service For these descriptions we use the concept of state machines which form a suitable input for our existing code generators that produce efficiently executable programs From the engineering viewpoint, the gap between the collaborations and the components will be covered by UML model transformations To ensure the correctness of these transformations, we use the compositional Temporal Logic of Actions (cTLA) which enables us to reason about service specifications and their refinement formally In this paper, we focus on the execution of services By outlining an UML profile, we describe which form the descriptions of the components should have to be efficiently executable To guarantee the correctness of the design process, we further introduce the cTLA specification style cTLA/e which is behaviorally equivalent with the UML 2.0 state machines used as code generator input In this way, we bridge the gap between UML for modeling and design, cTLA specifications used for reasoning, and the efficient execution of services, so that we can prove important properties formally.