LSCs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

LSCs: Breathing Life into Message Sequence Charts

Source

IFIP Conference Proceedings; Vol. 139 archive
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) table of contents

Page: 451

Year of Publication: 1999

ISBN:0-7923-8429-6

Authors

Werner Damm
David Harel

Publisher

Kluwer, B.V. Deventer, The Netherlands, The Netherlands

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 23

Additional Information:

cited by collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

CITED BY 23

	Jan Hendrik Hausmann , Reiko Heckel , Gabi Taentzer, Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Guoping Jia , Susanne Graf, Verification experiments on the MASCARA protocol, Proceedings of the 8th international SPIN workshop on Model checking of software, p.123-142, May 2001, Toronto, Ontario, Canada
	Ralph Depke , Reiko Heckel , Jochen Malte Küster, Formal agent-oriented modeling with UML and graph transformation, Science of Computer Programming, v.44 n.2, p.229-252, August 2002
	Sebastian Uchitel , Jeff Kramer , Jeff Magee, Detecting implied scenarios in message sequence chart specifications, ACM SIGSOFT Software Engineering Notes, v.26 n.5, Sept. 2001
	Sebastian Uchitel , Jeff Kramer , Jeff Magee, Negative scenarios for implied scenario elicitation, ACM SIGSOFT Software Engineering Notes, v.27 n.6, November 2002
	David Harel , Hillel Kugler , Rami Marelly , Amir Pnueli, Smart play-out, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 26-30, 2003, Anaheim, CA, USA
	Jonathan Whittle, Formal approaches to systems analysis using UML: an overview, Advanced topics in database research vol. 1, Idea Group Publishing, Hershey, PA, 2003
	Sebastian Uchitel , Jeff Kramer , Jeff Magee, Behaviour model elaboration using partial labelled transition systems, ACM SIGSOFT Software Engineering Notes, v.28 n.5, September 2003
	Sebastian Uchitel , Jeff Kramer , Jeff Magee, Incremental elaboration of scenario-based specifications and behavior models using implied scenarios, ACM Transactions on Software Engineering and Methodology (TOSEM), v.13 n.1, p.37-85, January 2004
	Rajeev Alur , Kousha Etessami , Mihalis Yannakakis, Inference of message sequence charts, Proceedings of the 22nd international conference on Software engineering, p.304-313, June 04-11, 2000, Limerick, Ireland
	Rami Marelly , David Harel , Hillel Kugler, Multiple instances and symbolic variables in executable sequence charts, ACM SIGPLAN Notices, v.37 n.11, November 2002
	Rajeev Alur , Kousha Etessami , Mihalis Yannakakis, Inference of Message Sequence Charts, IEEE Transactions on Software Engineering, v.29 n.7, p.623-633, July 2003
	David Harel, From Play-In Scenarios to Code: An Achievable Dream, Computer, v.34 n.1, p.53-60, January 2001
	Sebastian Uchitel , Jeff Kramer , Jeff Magee, Synthesis of Behavioral Models from Scenarios, IEEE Transactions on Software Engineering, v.29 n.2, p.99-115, February 2003
	Issa Traore , Demissie B. Aredo, Enhancing Structured Review with Model-Based Verification, IEEE Transactions on Software Engineering, v.30 n.11, p.736-753, November 2004
	Werner Damm , Jochen Klose, Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment, Formal Methods in System Design, v.19 n.2, p.121-141, September 2001
	Sebastian Uchitel , Jeff Kramer , Jeff Magee, Negative scenarios for implied scenario elicitation, Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, November 18-22, 2002, Charleston, South Carolina, USA
	Ragnhild Kobro Runde , Øystein Haugen , Ketil Stølen, Refining UML interactions with underspecification and nondeterminism, Nordic Journal of Computing, v.12 n.2, p.157-188, August 2005
	German Sibay , Sebastian Uchitel , Victor Braberman, Existential live sequence charts revisited, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
	David Harel , Yaki Setty , Sol Efroni , Naamah Swerdlin , Irun R. Cohen, Concurrency in Biological Modeling: Behavior, Execution and Visualization, Electronic Notes in Theoretical Computer Science (ENTCS), v.194 n.3, p.119-131, January, 2008
	David Harel , Itai Segall, Visualizing inter-dependencies between scenarios, Proceedings of the 4th ACM symposium on Software visuallization, September 16-17, 2008, Ammersee, Germany
	Minh Duc Nguyen , Hélène Waeselynck , Nicolas Rivière, Testing mobile computing applications: toward a scenario language and tools, Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), July 21-21, 2008, Seattle, Washington
	Hai-Feng Guo , Wen Zheng , Mahadevan Subramaniam, L2C2: logic-based LSC consistency checking, Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, September 07-09, 2009, Coimbra, Portugal

Collaborative Colleagues:

Werner Damm: colleagues

David Harel: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player