An Experience on Formal Analysis of a high-level graphical SOA Design

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-179, Issue , 2010, Pages 79-98

  ter Beek, Maurice H ^a   Mazzanti, Franco ^a   Sulova, Aldi ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; HIGH LEVEL LANGUAGES; SEMANTICS;

CASE-STUDIES; DESIGN LANGUAGES; DESIGNED MODELS; EXECUTABLES; FORMAL ANALYSIS; FORMAL SEMANTICS; GRAPHICAL DESIGNS; HIGH-LEVEL DESIGN; SERVICE ORIENTED SYSTEMS; UNCERTAINTY;

SYSTEMS ANALYSIS;

EID: 84855181998     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. [Be10] M.H. ter Beek, A. Fantechi, S. Gnesi and F. Mazzanti, A state/event-based model-checking approach for the analysis of abstract system properties. To appear in Science of Computer Programming, 2010.
2. [BM10] M.H. ter Beek and F. Mazzanti, Modelling and Analysing the Finance Case Study in UMC. Technical Report 2010-TR-007, ISTI–CNR, 2010.
3. [FH01] M. Fowler andJ. Highsmith, The Agile Manifesto. Software Development, Augist 2001. (see also http://www.agilemanifesto.org)
4. [Fo10] H. Foster, L. Gönczy, N. Koch, P. Mayer, C. Montangero and D. Varró, UML Extensions for Service-Oriented Systems. In [WH10], 2010.
5. [GM10] S. Gnesi and F. Mazzanti, An Abstract, on the Fly Framework for the Verification of Service Oriented Systems. In [WH10], 2010.
6. [Ma09] F. Mazzanti, Designing UML models with UMC. Technical Report 2009-TR-43, ISTI–CNR, 2009.
7. [Mar02] R.C. Martin, Agile Software Development: Principles, Patterns, and Practices, Prentice Hall PTR Upper Saddle River, NJ USA, 2002
8. [OMG] Object Management Group, Service oriented architecture modelling Language (SoaML): Specification for the UML Profile and Metamodel for Services (UPMS), April 2009. http://www.omg.org/cgi-bin/doc?ptc/09-04-01/
9. [oAW] openArchitectureWare. http://www.eclipse.org/workinggroups/oaw/
10. [Pa07] M.P. Papazoglou, P. Traverso, S. Dustdar and F. Leymann, Service-Oriented Computing: State of the Art and Research Challenges. IEEE Computer 40, 11 (2007), 38–45.
11. [SH05] M.P. Singh and M.N. Huhns, Service-Oriented Computing: Semantics, Processes, Agents. Wiley, 2005.
12. [Su09] A. Sulova, Model Driven Software Development con Eclipse, StatechartUMC. In Proceedings of the 4th Italian workshop on Eclipse technologies (Eclipse-IT 2009), Bergamo, Italy (A. Gargantini, Ed.), Eclipse Italian Community, 2009, 113–114. An extended version appeared as Technical Report 2009-TR-050, ISTI–CNR, 2009. In Italian.
13. [S&N] S&N AG. http://www.s-und-n.de/
14. [SW07] J. Shore and S. Warden, The art of agile development. OReilly, 2007.
15. [UMC] UML Model Checker. http://fmt.isti.cnr.it/umc/
16. [UML] UML4SOA. http://www.uml4soa.eu/
17. [WH10] M. Wirsing and M. Hölzl (Eds.), Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, Springer, 2010. To appear. See also http://www.sensoria-ist.eu/