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

Authors:
Wolfgang Grieskamp;Nicolas Kicillof
Affiliations:
Microsoft Research;University of Buenos Aires
Venue:
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Year:
2006

Citing 10
Cited 6

Evolving algebras 1993: Lipari guide

Specification and validation methods
Aspect-oriented programming

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Negative scenarios for implied scenario elicitation

Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Triggered message sequence charts

ACM SIGSOFT Software Engineering Notes
Alternating Refinement Relations

CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties

IEEE Transactions on Software Engineering
Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Abstractions for Model-Based Testing

Electronic Notes in Theoretical Computer Science (ENTCS)
Final semantics for event-pattern reactive programs

CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science

Achieving both model and code coverage with automated gray-box testing

Proceedings of the 3rd international workshop on Advances in model-based testing
An SMT Approach to Bounded Reachability Analysis of Model Programs

FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Protocol Modeling with Model Program Composition

FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Interaction Coverage Meets Path Coverage by SMT Constraint Solving

TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Multi-paradigmatic model-based testing

FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
An orchestrated survey of methodologies for automated software test case generation

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

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.