Component Synthesis from Service Specifications-Reference-Cited by-同舟云学术

Component Synthesis from Service Specifications

Published:2005 Issue: Volume: Page:255-277
ISSN:0302-9743
Container-title:Scenarios: Models, Transformations and Tools
language:
Short-container-title:

Author:

Krüger Ingolf H.,Mathew Reena

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11495628_14.pdf

Reference37 articles.

1. Broy, M., Krüger, I.: Interaction Interfaces- Towards a scientific foundation of a methodological usage of Message Sequence Charts. In: Staples, J., Hinchey, M.G., Liu, S. (eds.) Formal Engineering Methods (ICFEM 1998), vol. 1, pp. 2–15. IEEE Computer Society, Los Alamitos (1998)

2. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement. Springer, New York (2001) ISBN 0-387-95073-7

3. The Action Semantics Consortium: Response to OMG RFP as/98-11-01. Action Semantics for the UML (2001)

4. ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC). Geneva (1996)

5. Krüger, I.: Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universität München (2000)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Successful CyberInfrastructures for E-Health;Economics-Driven Software Architecture;2014

2. Metamodel Based Methodology for Dynamic Component Systems;Modelling Foundations and Applications;2012

3. Synthesis of Connectors from Scenario-Based Interaction Specifications;Component-Based Software Engineering;2008

4. Automotive Software: A Challenge and Opportunity for Model-Based Software Development;Automotive Software – Connected Services in Mobile Networks;2006

5. Reusable Services and Semi-automatic Service Composition for Automotive Software;Model-Driven Development of Reliable Automotive Services