메뉴 건너뛰기




Volumn 16, Issue 5, 2006, Pages 705-726

Action machines: A framework for encoding and composing partial behaviors

Author keywords

Alternating simulation; Behavior composition; Model based testing; Partial behaviors

Indexed keywords

COMPUTER SIMULATION; DATA ACQUISITION; ENCODING (SYMBOLS); MATHEMATICAL OPERATORS; SYNCHRONIZATION;

EID: 33750159682     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194006002963     Document Type: Article
Times cited : (20)

References (27)
  • 1
    • 33750192372 scopus 로고    scopus 로고
    • March
    • Spec# tool. March 2005. http://research.microsoft.com/specsharp.
    • (2005) Spec# Tool
  • 4
    • 31344451801 scopus 로고    scopus 로고
    • Model-based testing of object-oriented reactive systems with spec explorer
    • Microsoft Research, May
    • 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,
    • (2005) Technical Report , vol.MSR-TR-2005-59
    • Campbell, C.1    Grieskamp, W.2    Nachmanson, L.3    Schulte, W.4    Tillmann, N.5    Veanes, M.6
  • 6
    • 0004232136 scopus 로고
    • B. Davey and H. Priestly (eds.), (Cambridge University Press)
    • B. Davey and H. Priestly (eds.), Introduction to Lattices and Order (Cambridge University Press, 1990).
    • (1990) Introduction to Lattices and Order
  • 9
    • 27144524474 scopus 로고    scopus 로고
    • Integrating object-z with timed automata
    • IEEE Computer Society
    • J. S. Dong, R. Duke, and P. Hao, Integrating object-z with timed automata, in ICECCS (IEEE Computer Society, 2005), pp. 488-497.
    • (2005) ICECCS , pp. 488-497
    • Dong, J.S.1    Duke, R.2    Hao, P.3
  • 11
    • 0036986571 scopus 로고    scopus 로고
    • Generating finite state machines from abstract state machines
    • Software Engineering Notes (ACM)
    • W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes, Generating finite state machines from abstract state machines, in ISSTA '02, Vol. 27, Software Engineering Notes (ACM, 2002), pp. 112-122.
    • (2002) ISSTA '02 , vol.27 , pp. 112-122
    • Grieskamp, W.1    Gurevich, Y.2    Schulte, W.3    Veanes, M.4
  • 13
    • 33745784682 scopus 로고    scopus 로고
    • Action machines - Towards a framework for model composition, exploration and conformance testing based on symbolic computation
    • IEEE. September
    • 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 Int. Conference, IEEE. September 2005.
    • (2005) QSIC 2005: Quality Software Int. Conference
    • Grieskamp, W.1    Tillmann, N.2    Campbell, C.3    Schulte, W.4    Veanes, M.5
  • 14
    • 33750416029 scopus 로고    scopus 로고
    • XRT - Exploring Runtime for.NET - Architecture and Applications
    • Electronic Notes in Theoretical Computer Science, July
    • W. Grieskamp, N. Tilhnann, 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.
    • (2005) SoftMC 2005: Workshop on Software Model Checking
    • Grieskamp, W.1    Tilhnann, N.2    Schulte, W.3
  • 15
    • 10644295766 scopus 로고    scopus 로고
    • Instrumenting scenarios in a model-driven development environment
    • in press, available online
    • W. Grieskamp,N. Tillmann, and M. Veanes, Instrumenting scenarios in a model-driven development environment, Information and Software Technology, 2004, in press, available online.
    • (2004) Information and Software Technology
    • Grieskamp, W.1    Tillmann, N.2    Veanes, M.3
  • 16
    • 0002017107 scopus 로고
    • Evolving Algebras 1993: Lipari Guide
    • E. Börger (ed.), (Oxford University Press)
    • Y. Gurevich, Evolving Algebras 1993: Lipari Guide, in E. Börger (ed.), Specification and Validation Methods (Oxford University Press, 1995), pp. 9-36.
    • (1995) Specification and Validation Methods , pp. 9-36
    • Gurevich, Y.1
  • 17
    • 0005914572 scopus 로고    scopus 로고
    • ITU-T, Recommendation Z.120, Message Sequence Charts, International Telecommunication Union -Standardization Sector. Genève
    • ITU-T, Recommendation Z.120, Message Sequence Charts, Technical Report Z-120, International Telecommunication Union -Standardization Sector. Genève, 2000.
    • (2000) Technical Report , vol.Z-120
  • 20
    • 0031597156 scopus 로고    scopus 로고
    • Blending object-Z and timed CSP: An introduction to TCOZ
    • eds. K. Futatsugi, R. Kemmerer, and K. Torii. Kyoto, Japan, 1998 (IEEE Computer Society Press)
    • B. P. Mahony and J. S. Dong, Blending Object-Z and Timed CSP: An introduction to TCOZ, in Proc. 20th Int. Conf., on Software Engineering (ICSE '98), eds. K. Futatsugi, R. Kemmerer, and K. Torii. Kyoto, Japan, 1998 (IEEE Computer Society Press), pp. 95-104.
    • Proc. 20th Int. Conf., on Software Engineering (ICSE '98) , pp. 95-104
    • Mahony, B.P.1    Dong, J.S.2
  • 21
    • 0003109891 scopus 로고    scopus 로고
    • Gem: A generalized event monitoring language for distributed systems
    • M. Mansouri-Samani and M. Sloman, Gem: A generalized event monitoring language for distributed systems, Distributed Systems Engineering Journal 4(2) (1997) 96-108.
    • (1997) Distributed Systems Engineering Journal , vol.4 , Issue.2 , pp. 96-108
    • Mansouri-Samani, M.1    Sloman, M.2
  • 22
    • 26944435840 scopus 로고    scopus 로고
    • Final semantics for event-pattern reactive programs
    • eds. J. L. Fiadeiro, N. Harman. M. Roggenbach, and J. J. M. M. Rutten, LNCS (Springer)
    • C. Sánchez, H. B. Sipma, M. Slanina, and Z. Manna, Final semantics for event-pattern reactive programs, in CALCO, eds. J. L. Fiadeiro, N. Harman. M. Roggenbach, and J. J. M. M. Rutten, LNCS Vol. 3629 (Springer. 2005)2C pp. 364-378.
    • (2005) CALCO , vol.3629 , pp. 364-378
    • Sánchez, C.1    Sipma, H.B.2    Slanina, M.3    Manna, Z.4
  • 26
    • 84895064438 scopus 로고    scopus 로고
    • The semantics of circus
    • eds. D. Bert, J. P. Bowen, M. C. Henson, and K. Robinson, LNCS (Springer)
    • J. Woodcock and A. Cavalcanti, The semantics of circus, in ZB, eds. D. Bert, J. P. Bowen, M. C. Henson, and K. Robinson, LNCS Vol. 2272 (Springer, 2002), pp. 184-203.
    • (2002) ZB , vol.2272 , pp. 184-203
    • Woodcock, J.1    Cavalcanti, A.2
  • 27
    • 84950271149 scopus 로고    scopus 로고
    • Sel, a new event pattern specification language for event correlation
    • D. Zhu and A. S. Sethi, Sel, a new event pattern specification language for event correlation, in Proc. IEEE Int. Conf. ICCCN '01, 2001, pp. 586-589.
    • (2001) Proc. IEEE Int. Conf. ICCCN '01 , pp. 586-589
    • Zhu, D.1    Sethi, A.S.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.