A well-founded approach to service modelling with Casl4Soa: Part 1 (service in isolation)

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2010, Pages 2451-2458

  Choppy, Christine ^a   Reggio, Gianna ^b  

^a UNIVERSITÉ PARIS 13   (France)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

CASL; SOA; temporal logic; UML

Indexed keywords

CASL; FORMAL SPECIFICATION LANGUAGE; INTERACTION MACHINES; LABELLED TRANSITION SYSTEMS; LOGICAL SPECIFICATIONS; OBJECT ORIENTED; PRINTING SERVICES; SIMPLE SYSTEM; VISUAL PRESENTATION;

INFORMATION SERVICES; SEMANTICS; SERVICE ORIENTED ARCHITECTURE (SOA); SPECIFICATION LANGUAGES; SPECIFICATIONS;

TEMPORAL LOGIC;

EID: 77954697928     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1774088.1774596     Document Type: Conference Paper

References (17)

1. E. Astesiano and G. Reggio. From Conditional Specifications to Interaction Charts. In H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, and G. Taentzer, editors, Formal Methods in Software and Systems Modeling, Essays, volume 3393 of LNCS. Springer, 2005.
2. E. Astesiano and G. Reggio. Revising the UML collaborations: a well-founded approach. Technical report, 2009. Talk at the Monterey Workshop 2008, Budapest Hungary September 08, Available at http://www.montereyworkshop. org/program.html.
3. E. Astesiano, G. Reggio, and M. Cerioli. From Formal Techniques to Well-Founded Software Development Methods. In Formal Methods at the Crossroads: From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers., number 2757 in Lecture Notes in Computer Science, pages 132-150. Springer Verlag, Berlin, 2003.
4. L. Bocchi, A. Fantechi, L. Gonczy, and Nora. Sensoria Ontology. Technical Report D1.1a, Sensoria, Munich, Germany, 2006. Available at www.sensoria-ist.eu.
5. C. Choppy and G. Reggio. Towards a Formally Grounded Software Development Method (Complete Version). Technical Report DISI-TR-03-35, DISI, Università di Genova, Italy, 2003. Available at ftp://ftp.disi.unige.it/ person/ReggioG/Choppy-Reggio03a.pdf.
6. C. Choppy and G. Reggio. A formally grounded software speci cation method. Journal of Logic and Algebraic Programming, 67(1-2):52-86, 2006.
7. C. Choppy and G. Reggio. Service Modelling with CASL4SOA: a Well-Founded Approach: Part I (Service in isolation) - Full Version. Technical Report DISI-TR-09-19, 2009. Available at http://www-lipn.univ-paris13.fr/choppy/ REPORTS/CR-CASL4SOAFull.pdf.
8. CoFI (The Common Framework Initiative). Casl Reference Manual. LNCS Vol. 2960 (IFIP Series). Springer, 2004.
9. G. Costa and G. Reggio. Specification of Abstract Dynamic Data Types: A Temporal Logic Approach. T.C.S., 173(2):513-554, 1997. (Pubitemid 127451501)
10. W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19(1):45-80, 2001.
11. T. Erl. SOA Principles of Service Design. The Prentice Hall Service-Oriented Computing Series from Thomas Erl, 2007.
12. S. Halle, R. Villemaire, and O. Cherkaoui. Specifying and validating data-aware temporal web service properties. Transaction on software engineering, 35, 2009.
13. N. Koch, P. Mayer, R. Heckel, L. Gonczy, and C. Montangero. UML for Service-Oriented Systems. Technical Report D1.4a, Sensoria, Munich, Germany, 2007. Available at www.sensoria-ist.eu.
14. OMG. Service oriented architecture Modeling Language (SoaML) - Specification for the UML Profile and Metamodel for Services (UPMS) November 2008, 2008. 08-11-01.pdf.
15. G. Reggio, E. Astesiano, and C. Choppy. CASL-LTL : A CASL Extension for Dynamic Reactive Systems Version 1.0-Summary. Technical Report DISI-TR-03-36, DISI - Università di Genova, Italy, 2003. Available at ftp://ftp.disi.unige.it/person/ReggioG/ReggioEtAll03b.pdf.
16. Software Engineering for Service-Oriented Overlay Computers. IST project founded by EEC, 2009. www.sensoria-ist.eu.
17. UML Revision Task Force. OMG Uni ed Modeling Language (OMG UML), Superstructure, V2.1.2, 2007.