Specifying component behavior with port state machines

Electronic Notes in Theoretical Computer Science

Volumn 101, Issue , 2004, Pages 129-153

  Mencl, Vladimir ^a  

^a CHARLES UNIVERSITY   (Czech Republic)

Author keywords

Behavior specification; Composition; Consistency reasoning; Software components; State machines; UML 2.0

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; COMPUTER SIMULATION; COMPUTER SOFTWARE; INTERFACES (COMPUTER); MATHEMATICAL OPERATORS; SEMANTICS; SET THEORY;

BEHAVIOR SPECIFICATION; CONSISTENCY REASONING; SOFTWARE COMPONENTS; STATE MACHINES; UML 2.0;

NETWORK PROTOCOLS;

EID: 23844510313     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.019     Document Type: Conference Paper

References (22)

1. nd International Workshop on Unanticipated Software Evolution, ETAPS, Warsaw, 2003
2. Adamek, J. and F. Plasil. Behavior Protocols: Tolerating Faulty Architectures and Supporting Dynamic Updates. Technical Report 02/10, Dept. of Computer Science, University of New Hampshire, Durham, NH, U.S.A., Oct 2002
3. Amyot, D., and G. Mussbacher. On the Extension of UML with Use Case Maps Concepts. In Proceedings of UML 2000, York, UK, October 2-6, 2000, LNCS 1939, Springer 2000
4. Buhr, R.J.A.: Use Case Maps as Architectural Entities for Complex Systems, Transactions on Software Engineering, IEEE, vol 24, no 12 (1998)
5. D'Souza, D. "Components with Catalysis," http://www.catalysis. org/, 2001
6. rd edition December 2000
7. Grieskamp, W., and M. Lepper, W. Schulte, N. Tillmann. Testable Use Cases in the Abstract State Machine Language, In Proceedings of APAQS'01, December 10-11, 2001, Hong Kong
8. Harel, D. Statecharts: A visual formalism for complex systems, Science of Computer Programming 8 (1987), pp. 231-274, Elsevier Science Publishers B.V. (North-Holland)
9. Hong, H. S., and Y. G. Kim, S. D. Cha, D.-H. Bae, H. Ural. A test sequence selection method for statecharts, Software Testing, Verification & Reliability vol 10 no 4 (2000), pp. 203-227
10. Latella, D., and I. Majzik, M., Massink. Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker, Formal Aspects of Computing vol 11 no 6 (1999), pp. 637-664
11. Latella, D., and M. Massink. A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. In Proceedings of HASE 2001, IEEE Computer Society (2001), pp. 11-22
12. OMG: Unified Modeling Language (UML), version 1.5, formal/2003-03-01, http://www.omg.org/uml/
13. OMG: Unified Modeling Language: Superstructure, version 2.0, Final Adopted specification, ptc/03-08-02, http://www.omg.org/uml/
14. Plasil, F., and V. Mend. Getting "Whole Picture" Behavior in a Use Case Model, in Transactions of the SDPS: Journal of Integrated Design and Process Science, vol. 7, no. 4, pp. 63-79, Dec 2003, ISSN-1092-0617
15. Plasil, F., and D. Balek, R. Janecek. SOFA/DCUP Architecture for Component Trading and Dynamic Updating, In Proceedings of ICCDS '98, Annapolis, IEEE Computer Soc. (1998)
16. Plasil, F., and S. Visnovsky, M. Besta. Bounding Behavior via Protocols, In Proceedings of TOOLS USA '99, Santa Barbara, CA, Aug. 1999.
17. Plasil F., and S. Visnovsky. Behavior Protocols for Software Components, Transactions on Software Engineering, IEEE, vol 28, no 11 (2002)
18. Mach, M. Model Checking of Behavior Protocols, Master Thesis, Charles University in Prague, Sep 2003, Advisor: Frantisek Plasil, available at http://nenya.ms.mff.cuni.cz/
19. Tenzer, J., and P. Stevens. Modelling recursive calls with UML state diagrams. In Proceedings of FASE 2003 (part of ETAPS 2003), Warsaw, Poland, April 7-11, 2003, LNCS 2621, Springer
20. Tretmans, J. Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer Networks and ISDN Systems, vol. 29 no 1, pp. 49-79 (1996)
21. Zuendorf, A. From Use Cases to Code - Rigorous Software Development with UML, Tutorial T4, ICSE 2001: May 12-19, 2001, Toronto, Ontario, Canada
22. Uchitel, S., and J. Kramer. A Workbench for Synthesising Behaviour Models from Scenarios, In Proceedings of ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada