Automated encapsulation of UML activities for incremental development and verification

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

Volumn 5795 LNCS, Issue , 2009, Pages 571-585

  Kraemer, Frank Alexander ^a   Herrmann, Peter ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

Model Reuse; System Composition; UML Activities; UML State Machines; UML Streaming Parameters; Verification

Indexed keywords

ACTIVITY-BASED; BUILDING BLOCKES; INCREMENTAL DEVELOPMENT; MODEL RE-USE; STATE MACHINE; SYSTEM VERIFICATIONS; UML ACTIVITIES; UML STATE MACHINE;

CONTOUR FOLLOWERS; LINGUISTICS; MODELS;

MODEL CHECKING;

EID: 73349144102     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04425-0_44     Document Type: Conference Paper

References (37)

1. Object Management Group. Unified Modeling Language: Superstructure, version 2.0, formal/2005-07-05 (2005)
2. Kraemer, F.A.: Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks. PhD thesis, Norwegian University of Science and Technology (2008)
3. Kraemer, F.A., Herrmann, P.: Service Specification by Composition of Collaborations -An Example. In: Proceedings of the 2006 WI-IAT Workshops (2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology), pp. 129-133. IEEE Computer Society, Los Alamitos (2006)
4. Kraemer, F.A., Slaåtten, V., Herrmann, P.: Model-Driven Construction of Embedded Applications based on Reusable Building Blocks - An Example. In: Bilgic, A., Gotzhein, R., Reed, R. (eds.) SDL 2009. LNCS, vol. 5719, pp. 1-19. Springer, Heidelberg (2009)
5. Herrmann, P., Kraemer, F.A.: Design of Trusted Systems with Reusable Collaboration Models. In: Etalle, S., Marsh, S. (eds.) Trust Management. IFIP International Federation for Information Processing, vol. 238, pp. 317-332. Springer, Heidelberg (2007)
6. Kraemer, F.A., Samset, H., Bræk, R.: An Automated Method for Web Service Orchestration based on Reusable Building Blocks. In: Proceedings of the 7th International IEEE Conference on Web Services (ICWS), pp. 262-270. IEEE Computer Society, Los Alamitos (2009)
7. Kraemer, F.A., Bræk, R., Herrmann, P.: Compositional Service Engineering with Arctis. Telektronikk, vol. 1.2009 (2009)
8. Kraemer, F.A., Slåtten, V., Herrmann, P.: Engineering Support for UML Activities by Automated Model-Checking -An Example. In: Proceedings of the 4th International Workshop on Rapid Integration of Software Engineering Techniques, RISE (2007)
9. Kraemer, F.A., Bræk, R., Herrmann, P.: Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol. 4745, pp. 166-185. Springer, Heidelberg (2007)
10. Kraemer, F.A., Herrmann, P.: Transforming Collaborative Service Specifications into Efficiently Executable State Machines. In: Ehring, K., Giese, H. (eds.) Proceedings of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007). Electronic Communications of the EASST, vol. 7. EASST (2007)
11. Kraemer, F.A.: Rapid Service Development for Service Frame. Master's thesis, University of Stuttgart (2003)
12. Merha, B.T.: Code Generation for Executable State Machines on Embedded Java Devices. Project Thesis, Norwegian University of Science and Technology, Trondheim, Norway (2008)
13. Parlay Group. Parlay X Web Services Specification, Version 2.1 - Short Messaging, http ://www.parlay.org/en/specifications/pxws.asp
14. PATS Lab Website, http://www.pats.no
15. Lamport, L.: Specifying Systems. Addison-Wesley, Reading (2002)
16. Kraemer, F.A., Herrmann, P.: Formalizing Collaboration-Oriented Service Specifications using Temporal Logic. In: Networking and Electronic Commerce Research Conference 2007 (NAEC 2007), pp. 194-220. ATSMA Inc. (2007)
17. Kraemer, F.A., Slåtten, V., Herrmann, P.: Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services. Journal of Systems and Software (to appear, 2009)
18. Slåtten, V.: Automatic Detection and Correction of Flaws in Service Specifications. Master's thesis, Norwegian University of Science and Technology (2008)
19. http://www.sunspotworld.com
20. Kathayat, S.B., Bræk, B.: Platform Support for Situated Collaborative Learning. In: Proceedings of the 2009 International Conference on Mobile, Hybrid, and Online Learning, Cancun, Mexico, pp. 53-60. IEEE Press, Los Alamitos (2009)
21. Beugnard, A., Jézéquel, J.-M., Noël, P., Watkins, D.: Making Components Contract Aware. IEEE Computer 32(7), 38-45 (1999)
22. Gaffney, J.E., Durek, T.A.: Software Reuse - Key to Enhanced Productivity: Some Quantitative Models. Information and Software Technology 31(5), 258-267 (1989)
23. D'Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: the Catalysis Approach. Addison-Wesley, Reading (1999)
24. Frakes, W., Terry, C.: Software Reuse: Metrics and Models. ACM Computing Surveys 28(2), 415-435 (1996)
25. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
26. Slåtten, V.: Model Checking Collaborative Service Specifications in TLA with TLC. Project Thesis, Norwegian University of Science and Technology, Trondheim, Norway (2007)
27. Holzmann, G.: Design and Validation of Computer Protocols. Prentice Hall Software Series. Prentice-Hall, Englewood Cliffs (1991)
28. Arctis Website, http://arctis.item.ntnu.no
29. Eclipse Modeling Project, http://www.eclipse.org/modeling
30. Abadi, M., Lamport, L.: The Existence of Refinement Mappings. Theoretical Computer Science 82(2), 253-284 (1991)
31. + Specifications. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 54-66. Springer, Heidelberg (1999)
32. Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Inc., New York (1994)
33. Mencl, V.: Specifying Component Behavior with Port State Machines. Electronic Notes in Theoretical Computer Science 101, 129-153 (2004)
34. Floch, J.: Towards Plug-and-Play Services: Design and Validation using Roles. PhD thesis, Norwegian University of Science and Technology (2003)
35. SIMS Project Website, http://www.ist-sims.org
36. Kellomäki, P., Mikkonen, T.: Design Templates for Collective Behavior. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol. 1850, pp. 277-295. Springer, Heidelberg (2000)
37. Järvinen, H.-M., Kurki-Suonio, R., Sakkinen, M., Systä, K.: Object-Oriented Specification of Reactive Systems. In: Proceedings of the 12th International Conference on Software Engineering, pp. 63-71. IEEE Computer Society Press, Los Alamitos (1990)