A schema language for coordinating construction and composition of partial behavior descriptions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A schema language for coordinating construction and composition of partial behavior descriptions

Full text

Pdf (190 KB)

Source

International Conference on Software Engineering archive
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools table of contents

Shanghai, China

SESSION: Solutions and tools table of contents

Pages: 59 - 66

Year of Publication: 2006

ISBN:1-59593-394-8

Authors

Wolfgang Grieskamp	Microsoft Research
Nicolas Kicillof	University of Buenos Aires

Sponsors

ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 28, Citation Count: 1

Additional Information:

abstract references cited by index terms collaborative colleagues

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

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1138953.1138966 What is a DOI?

ABSTRACT

We report on a schema language for coordinating the construction and composition of partial behavior descriptions. The language is a frontend to the semantical and implementation framework of action machines, which allows to encode behaviors of software artifacts in a language-agnostic manner, supporting both state-based and interaction-based description styles, as well as partial descriptions by means of symbolic representations. Our approach is currently being incorporated into an advanced model-based specification and testing environment at Microsoft Research.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Rajeev Alur , Thomas A. Henzinger , Orna Kupferman , Moshe Y. Vardi, Alternating Refinement Relations, Proceedings of the 9th International Conference on Concurrency Theory, p.163-178, September 08-11, 1998
	2	Victor Braberman , Nicolas Kicillof , Alfredo Olivero, A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties, IEEE Transactions on Software Engineering, v.31 n.12, p.1028-1041, December 2005 [doi>10.1109/TSE.2005.131]
	3	C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and M. Veanes. Model-based testing of object-oriented reactive systems with Spec Explorer. Technical Report MSR-TR-2005-59, Microsoft Research, May 2005.
	4	Luca de Alfaro , Thomas A. Henzinger, Interface automata, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, September 10-14, 2001, Vienna, Austria
	5	W. Grieskamp, N. Kicillof, and N. Tillmann. Action machines: a framework for encoding and composing partial behaviors. Technical Report MSR-TR-2006-11, Microsoft Research, February 2006.
	6	Wolfgang Grieskamp , Nikolai Tillmann , Colin Campbell , Wolfram Schulte , Margus Veanes, Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation, Proceedings of the Fifth International Conference on Quality Software, p.72-82, September 19-20, 2005 [doi>10.1109/QSIC.2005.10]
	7	W. Grieskamp, N. Tillmann, and W. Schulte. XRT - Exploring Runtime for .NET - Architecture and Applications. In SoftMC 2005: Workshop on Software Model Checking, Electronic Notes in Theoretical Computer Science, July 2005.
	8	Yuri Gurevich, Evolving algebras 1993: Lipari guide, Specification and validation methods, Oxford University Press, Inc., New York, NY, 1995
	9	ITU-T. Recommendation Z.120. Message Sequence Charts. Technical Report Z-120, International Telecommunication Union -- Standardization Sector, Genève, 2000.
	10	G. Kiczales, Aspect-oriented programming, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996 [doi>10.1145/242224.242420]
	11	I. Krueger. Modeling and synthesis with MSC extensions for broadcasting, overlapping, preemptive, and triggered collaborations. In Workshop on Scenarios and State Machines at ICSE 2003, 2003.
	12	M. Mansouri-Samani and M. Sloman. Gem: A generalized event monitoring language for distributed systems. Distributed Systems Engineering Journal, 4(2):96--108, 1997.
	13	W. Prenninger and A. Pretschner. Abstractions for model-based testing. Electr. Notes Theor. Comput. Sci., 116:59--71, 2005.
	14	C. Sánchez, H. B. Sipma, M. Slanina, and Z. Manna. Final semantics for event-pattern reactive programs. In J. L. Fiadeiro, N. Harman, M. Roggenbach, and J. J. M. M. Rutten, editors, CALCO, volume 3629 of Lecture Notes in Computer Science, pages 364--378. Springer, 2005.
	15	Bikram Sengupta , Rance Cleaveland, Triggered message sequence charts, ACM SIGSOFT Software Engineering Notes, v.27 n.6, November 2002 [doi>10.1145/605466.605492]
	16	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 [doi>10.1145/587051.587069]
	17	D. Zhu and A. S. Sethi. Sel, a new event pattern specification language for event correlation. In Proc. of the IEEE Intl. Conf. ICCCN '01, pages 586--589, 2001.