Article

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

Authors:

Wolfgang Grieskamp,

Nicolas KicillofAuthors Info & Claims

SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools

Pages 59 - 66

https://doi.org/10.1145/1138953.1138966

Published: 27 May 2006 Publication History

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

[1]

R. Alur, T. A. Henzinger, O. Kupferman, and M. Vardi. Alternating refinement relations. In Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR'98), volume 1466 of LNCS, pages 163--178, 1998.

Digital Library

[2]

V. Braberman, N. Kicillof, and A. Olivero. A scenario-matching approach to the description and model checking of real-time properties. IEEE Transactions on Software Engineering, 31(12):1028--1041, December 2005.

Digital Library

[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]

L. de Alfaro and T. A. Henzinger. Interface automata. In Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 109--120. ACM, 2001.

Digital Library

[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]

W. Grieskamp, N. Tillmann, C. Campbell, W. Schulte, and M. Veanes. Action machines - towards a framework for model composition, exploration and conformance testing based on symbolic computation. In QSIC 2005: Quality Software International Conference. IEEE, September 2005.

Digital Library

[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]

Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Börger, editor, Specification and Validation Methods, pages 9--36. Oxford University Press, 1995.

Digital Library

[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 Comput. Surv., 28(4es):154, 1996.

Digital Library

[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.

Digital Library

[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.

Digital Library

[15]

B. Sengupta and R. Cleaveland. Triggered message sequence charts. SIGSOFT Softw. Eng. Notes, 27(6):167--176, 2002.

Digital Library

[16]

S. Uchitel, J. Kramer, and J. Magee. Negative scenarios for implied scenario elicitation. In SIGSOFT '02/FSE-10: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, pages 109--118, New York, NY, USA, 2002. ACM Press.

Digital Library

[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.

Cited By

Akpinar PAktas MKeles ABalaman YGuler ZKalipsiz O(2020)Web Application Testing With Model Based Testing Method: Case Study2020 International Conference on Electrical, Communication, and Computer Engineering (ICECCE)10.1109/ICECCE49384.2020.9179238(1-6)Online publication date: Jun-2020
https://doi.org/10.1109/ICECCE49384.2020.9179238
Tappler MAichernig BBloem R(2017)Model-Based Testing IoT Communication via Active Automata Learning2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST.2017.32(276-287)Online publication date: Mar-2017
https://doi.org/10.1109/ICST.2017.32
Sharghi HSartipi K(2017)An expressive event-based language for representing user behavior patternsJournal of Intelligent Information Systems10.1007/s10844-017-0456-549:3(435-459)Online publication date: 1-Dec-2017
https://dl.acm.org/doi/10.1007/s10844-017-0456-5
Show More Cited By

Index Terms

A schema language for coordinating construction and composition of partial behavior descriptions
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques

Recommendations

Language extension and composition with language workbenches
OOPSLA '10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

Domain-specific languages (DSLs) provide high expressive power focused on a particular problem domain. They provide linguistic abstractions and specialized syntax specifically designed for a domain, allowing developers to avoid boilerplate code and low-...
Language composition untangled
LDTA '12: Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications

In language-oriented programming and modeling, software developers are largely concerned with the definition of domain-specific languages (DSLs) and their composition. While various implementation techniques and frameworks exist for defining DSLs, ...
Test descriptions with ETSI TDL

To address the need for abstract, high-level test descriptions that can be shared among different stakeholders, the European Telecommunications Standards Institute (ETSI) commissioned the design of the Test Description Language (TDL). TDL is designed as ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools

May 2006

93 pages

ISBN:1595933948

DOI:10.1145/1138953

Program Chairs:
Jon Whittle
George Mason University, USA
,
Leif Geiger
University of Kassel, Germany
,
Michael Meisinger
TU Munich, Germany

Copyright © 2006 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 May 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE06

Sponsor:

ICSE06: International Conference on Software Engineering

May 27, 2006

Shanghai, China

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
162
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Akpinar PAktas MKeles ABalaman YGuler ZKalipsiz O(2020)Web Application Testing With Model Based Testing Method: Case Study2020 International Conference on Electrical, Communication, and Computer Engineering (ICECCE)10.1109/ICECCE49384.2020.9179238(1-6)Online publication date: Jun-2020
https://doi.org/10.1109/ICECCE49384.2020.9179238
Tappler MAichernig BBloem R(2017)Model-Based Testing IoT Communication via Active Automata Learning2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST.2017.32(276-287)Online publication date: Mar-2017
https://doi.org/10.1109/ICST.2017.32
Sharghi HSartipi K(2017)An expressive event-based language for representing user behavior patternsJournal of Intelligent Information Systems10.1007/s10844-017-0456-549:3(435-459)Online publication date: 1-Dec-2017
https://dl.acm.org/doi/10.1007/s10844-017-0456-5
Grieskamp WQu XWei XKicillof NCohen M(2009)Interaction Coverage Meets Path Coverage by SMT Constraint SolvingProceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop10.1007/978-3-642-05031-2_7(97-112)Online publication date: 3-Nov-2009
https://dl.acm.org/doi/10.1007/978-3-642-05031-2_7
Grieskamp WKicillof NMacDonald DNandan AStobie KWurden FZhang D(2008)Model-Based Quality Assurance of the SMB2 Protocol DocumentationProceedings of the 2008 The Eighth International Conference on Quality Software10.1109/QSIC.2008.34(235-240)Online publication date: 12-Aug-2008
https://dl.acm.org/doi/10.1109/QSIC.2008.34
Veanes MBjørner NRaschke A(2008)An SMT Approach to Bounded Reachability Analysis of Model ProgramsProceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems10.1007/978-3-540-68855-6_4(53-68)Online publication date: 10-Jun-2008
https://dl.acm.org/doi/10.1007/978-3-540-68855-6_4
Veanes MSchulte W(2008)Protocol Modeling with Model Program CompositionProceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems10.1007/978-3-540-68855-6_21(324-339)Online publication date: 10-Jun-2008
https://dl.acm.org/doi/10.1007/978-3-540-68855-6_21
Kicillof NGrieskamp WTillmann NBraberman V(2007)Achieving both model and code coverage with automated gray-box testingProceedings of the 3rd international workshop on Advances in model-based testing10.1145/1291535.1291536(1-11)Online publication date: 9-Jul-2007
https://dl.acm.org/doi/10.1145/1291535.1291536
Grieskamp W(2006)Multi-paradigmatic model-based testingProceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification10.1007/11940197_1(1-19)Online publication date: 15-Aug-2006
https://dl.acm.org/doi/10.1007/11940197_1

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten