Aligning UML 2.0 state machines and temporal logic for the efficient execution of services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4276 LNCS - II, Issue , 2006, Pages 1613-1632

  Kraemer, Frank Alexander ^a   Herrmann, Peter ^a   Bræek, Rolv ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SIMULATION LANGUAGES; FORMAL LOGIC;

CODE GENERATOR INPUT; COMPOSITIONAL TEMPORAL LOGIC OF ACTIONS (CTLA); SERVICE ENGINEERING; STATE MACHINES;

COMPUTER SUPPORTED COOPERATIVE WORK;

EID: 33845431237     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11914952_41     Document Type: Conference Paper

References (39)

1. Sanders, R.T., Castejón, H.N., Kraemer, P.A., Bræek, R.: Using UML 2.0 Collaborations for Compositional Service Specification. In: ACM / IEEE 8th International Conference on Model Driven Engineering Languages and Systems. (2005)
2. Rossebø, J.E.Y., Bræek, R.: Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition. In: Proceedings of the 1st International Conference on Availability, Reliability and Security (ARES'06), IEEE Computer Society Press (2006) 206-215
3. Castejón, H.N., Bræek, R.: A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios. ICSE's 5th Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06) (2006)
4. Object Management Group: Unified Modeling Language: Superstructure Version 2.0. (2005)
5. Bræk, R., Floch, J.: IGT Convergence: Modeling Issues. In Amyot, D., Williams, A.W., eds.: SAM'04 - Fourth SDL and MSC Workshop. Volume 3319 of Lecture Notes in Computer Science, Springer (2004) 237-256
6. Herrmann, P., Krumm, H.: A Framework for Modeling Transfer Protocols. Computer Networks 34(2) (2000) 317-337
7. Mester, A., Krumm, H.: Composition and Refinement Mapping based Construction of Distributed Applications. In: Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus, Denmark, BRICS (1995)
8. Herrmann, P.: Formal Security Policy Verification of Distributed Component-Structured Software. In König, H., Heiner, M., Wolisz, A., eds.: Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2003), Berlin, Germany. Volume 2767 of Lecture Notes in Computer Science, Springer-Verlag (2003) 257-272
9. Herrmann, P.: Temporal Logic-Based Specification and Verification of Trust Models. In Stø1en, K., Winsborough, W.H., Martinelli, F., Massacci, F., eds.: iTrust 2006. Volume 3986 of Lecture Notes in Computer Science, Heidelberg, Springer-Verlag (2006) 105-119
10. Bræk, R.: Unified System Modelling and Implementation. In: International Switching Symposium, Paris, France (1979) 1180-1187
11. SISU II Project: (http://www.sintef.no/units/informatics/projects/sisu/)
12. Bræk, R., Gorman, J., Haugen, Ø., Melby, G., Møller-Pedersen, B., Sanders, R.T.: Quality by Construction Exemplified by TIMe -The Integrated Methodology. Telektronikk 95(1) (1997) 73-82
13. Mitschele-Thiel, A.: Systems Engineering with SDL: Developing Performance-Critical Communication System. John Wiley & Sons, Inc., New York, NY, USA (2001)
14. Pnueli, A.: Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends. Current Trends in Concurrency. Overviews and Tutorials (1986) 510-584
15. Floch, J., Bræk, R.: Towards Dynamic Composition of Hybrid Communication Services. In: SMARTNET '00: Proceedings of the IFIP TC6 WG6.7 Sixth International Conference on Intelligence in Networks, Deventer, The Netherlands, Kluwer, B.V. (2000) 73-92
16. Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Inc., New York, NY, USA (1994)
17. ISO: ESTELLE: A Formal Description Technique Based on an Extended State Transition Model. International Standard ISO/IEC 9074 edn. (1997)
18. ITU-T: Recommendation Z.100: Specification and Description Language (SDL). (2002)
19. Lim, S.B., Ferry, D.: JAIN SLEE 1.0 Specification, Final Release. Sun Microsytems, Inc. and Open Cloud Ltd. (2004)
20. Haugen, Ø., Møller-Pedersen, B.: JavaFrame - Framework for Java Enabled Modelling. In Proceedings of Ericsson Conference on Software Engineering (2000)
21. Bræk, R., Haugen, Ø.: Engineering Real Time Systems: An Object-Oriented Methodology Using SDL. The BCS Practitioner Series. Prentice Hall International (1993)
22. Bræk, R., Husa, K.E., Melby, G.: ServiceFrame Whitepaper. Ericsson NorARC, Asker, Norway. (2002)
23. Melby, G., Husa, K.E.: ActorFrame Developers Guide. Ericsson NorARC, Asker, Norway. (2005)
24. Melby, G.: Using J2EE Technologies for Implementation of ActorFrame Based UML 2.0 Models. Master's thesis, Agder University College, Grimstad, Norway (2003)
25. Kraemer, F.A., Samset, H.: Ramses User Guide. Avantel Technical Report 1/2006, Department of Telematics, NTNU, Trondheim, Norway (2006)
26. Kraemer, P.A.: Rapid Service Development for Service Frame. Master's thesis, University of Stuttgart (2003)
27. Støyle, A.K.: Service Engineering Environment for AMIGOS. Master's thesis, Norwegian University of Science and Technology (2004)
28. Kraemer, F.A.: Profile for Service Engineering: Executable State Machines. Avantel Technical Report 2/2006, Department of Telematics, NTNU, Trondheim, Norway (2006)
29. Lamport, L.: Specifying Systems. Addison-Wesley (2002)
30. Graw, G., Herrmann, P., Krumm, H.: Verification of UML-Based Real-Time System Designs by means of cTLA. In: Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC2K), Newport Beach, IEEE Computer Society Press (2000) 86-95
31. Herrmann, P., Krumm, H.: A Framework for the Hazard Analysis of Chemical Plants. In: Proceedings of the 11th IEEE International Symposium on Computer-Aided Control System Design (CACSD2000), Anchorage, IEEE CSS, Omnipress (2000) 35-41
32. Lamport, L.: Refinement in State-Based Formalisms. Technical Report 1996-001, Digital Equipment Corporation, Systems Research Center, Palo Alto, California (1996)
33. Alpern, B., Schneider, F.B.: Defining Liveness. Information Processing Letters 21(4) (1985) 181-185
34. Kurki-Suonio, R.: A Practical Theory of Reactive Systems. Springer (2005)
35. Pitkänen, R.: A Specification-Driven Approach for Development of Enterprise Systems. In: Proceedings of the 11th Nordic Workshop on Programming and Software Development Tools and Techniques (NWPER'04), Turku, Finland (2004)
36. Pitkänen, R.: Tools and Techniques for Specification-Driven Software Development. PhD thesis, Tampere University of Technology (2006)
37. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York, NY, USA (1996)
38. Burmester, S., Giese, H., Hirsch, M., Schilling, D.: Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite. In: Proceedings of the International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS). (2004)
39. Burmester, S., Giese, H., Schäfer, W.: Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code. In: Proceedings of the European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA'05), Nürnberg, Germany. Volume 3748 of Lecture Notes in Computer Science, Springer (2005) 25-40