Service specification by composition of collaborations - An example

Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 2006 Workshops Proceedings)

Volumn , Issue , 2006, Pages 129-133

  Kraemer, Frank Alexander ^a   Herrmann, Peter ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; INFORMATION SERVICES; TEMPORAL LOGIC;

SERVICE ENGINEERS; SPECIFICATION BUILDING BLOCKS;

COMPUTER SUPPORTED COOPERATIVE WORK;

EID: 34250779350     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WI-IATW.2006.121     Document Type: Conference Paper

References (16)

1. A. Beugnard, J.-M. Jézéquel, N. Plouzeau, and D. Watkins. Making Components Contract Aware. IEEE Computer, 32(7):38-45, July 1999.
2. R. Bræk and J. Floch. ICT Convergence: Modeling Issues. In D. Amyot and A. W. Williams, editors, SAM'04 - Fourth SDL and MSC Workshop, volume 3319 of Lecture Notes in Computer Science, pages 237-256. Springer, 2004.
3. R. Bræk and Ø. Haugen. Engineering Real Time Systems: An Object-Oriented Methodology Using SDL. The BCS Practitioner Series. Prentice Hall International, 1993.
4. M. Broy and K. Stølen. Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, 2001.
5. H. N. Castejón and R. Bræk. A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios. ICSE's 5th Workshop on Scenarios and State Machines: Models, Algorithm and Tools (SCESM'06), 2006.
6. G. Graw and R Herrmann. Transformation and Verification of Executable UML Models. Electronic Notes on Theoretical Computer Science, Elsevier Science, 101:3-24, 2004.
7. P. Herrmann. Formal Security Policy Verification of Distributed Component-Structured Software. In H. König, M. Heiner, and A. Wolisz, editors, Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2003), Berlin, Germany, volume 2767 of Lecture Notes in Computer Science, pages 257-272. Springer-Verlag, September 2003.
8. P. Herrmann and H. Krumm. A Framework for Modeling Transfer Protocols. Computer Networks, 34(2):317-337, 2000.
9. P. Herrmann and H. Krumm. A Framework for the Hazard Analysis of Chemical Plants. In Proceedings of the 11th IEEE International Symposium on Computer-Aided Control System Design (CACSD'2000), pages 35-41, Anchorage, 2000. IEEE CSS, Omnipress.
10. F. A. Kraemer, P. Herrmann, and R. Brak. Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. In R. Meersmann and Z. Tari, editors, Proceedings of the 8th International Symposium on Distributed Objects and Applications (DOA), 2006, Montpellier, France, volume 4276 of Lecture Notes in Computer Science, pages 1613-1632. Springer-Verlag Heidelberg.
11. L. Lamport. Specifying Systems. Addison-Wesley, 2002.
12. Object Management Group. Unified Modeling Language: Superstructure, April 2006.
13. J. E. Y. Rossebø and R. Braek. Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition. In Proceedings of the 1st International Conference on Availability, Reliability and Security (ARES'06), pages 206-215. IEEE Computer Society Press, 2006.
14. R. T. Sanders, H. N. Castejón, F A. Kraemer, and R. Bræk. Using UML 2.0 Collaborations for Compositional Service Specification. In ACM / IEEE 8th International Conference on Model Driven Engineering Languages and Systems, 2005.
15. C. A. Vissers, G. Scollo, M. van Sinderen, and H. Brinksma. Specification Styles in Distributed System Design and Verification. Theoretical Computer Science, 89:179-206, 1991.
16. Y. Yu, P. Manolios, and L. Lamport. Model Checking TLA+ Specifications. In L. Pierre and T. Kropf, editors, Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME'99), volume 1703 of Lecture Notes in Computer Science, pages 54-66. Springer-Verlag, 1999.