Modeling Interactions of Web Software

Authors:
Tevfik Bultan
Affiliations:
University of California, Santa Barbara, USA
Venue:
WWV '06 Proceedings of the 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems
Year:
2006

Citing 0
Cited 6

Automated identification of parameter mismatches in web applications

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Web application modeling for testing and analysis

Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
Analysis and applications of timed service protocols

ACM Transactions on Software Engineering and Methodology (TOSEM)
Guided recovery for web service applications

Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation

International Journal of Web Services Research
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation

International Journal of Web Services Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

Modeling interactions among software components is becoming increasingly important for analyzing behavior of web software. This is especially true for the area of web services where distributed interactions across organizational boundaries are the norm. In this paper, I will discuss three visual formalisms for modeling interactions: 1) Collaboration Diagrams, 2) Message Sequence Charts, and 3) Conversation Protocols. I will discuss the differences and similarities among these representations and identify two problems: realizability and synchronizability.