A UML 2-compatible language and tool for formal modeling real-time system architectures

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A UML 2-compatible language and tool for formal modeling real-time system architectures

Full text

Pdf (670 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2006 ACM symposium on Applied computing table of contents

Dijon, France

SESSION: Software engineering: sound solutions for the 21^st century table of contents

Pages: 1785 - 1790

Year of Publication: 2006

ISBN:1-59593-108-2

Authors

Pietro Colombo	Università degli Studi dell'Insubria, Varese, Italy
Matteo Pradella	CNR Istituto di Elettronica e di, Milano, Italy
Matteo Rossi	Politecnico di Milano, Milano, Italy

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 59, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1141277.1141696 What is a DOI?

ABSTRACT

ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, including real-time constraints. This paper summarizes the ArchiTRIO approach, and presents the core elements of a tool supporting it, called ArchiTRIDENT, which is currently under development. This tool is a plugin of the TRIO-based editing and verification TRIDENT tool suite.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Emanuele Ciapessoni , Piergiorgio Mirandola , Alberto Coen-Porisini , Dino Mandrioli , Angelo Morzenti, From formal models to formally based methods: an industrial experience, ACM Transactions on Software Engineering and Methodology (TOSEM), v.8 n.1, p.79-113, Jan. 1999 [doi>10.1145/295558.295566]
	2	The World Wide Web Consortium. Document object model level 3 core. W3c recommendation, W3C, 2004.
	3	The World Wide Web Consortium. Xml schema part 1: Structures. W3c recommendation, W3C, 2004.
	4	Stephan Flake , Wolfgang Mueller, Past- and Future-Oriented Time-Bounded Temporal Properties with OCL, Proceedings of the Software Engineering and Formal Methods, Second International Conference on (SEFM'04), p.154-163, September 28-30, 2004 [doi>10.1109/SEFM.2004.29]
	5	Eclipse Foundation. http://www.eclipse.org.
	6	C. A. Furia, D. Mandrioli, A. Morzenti, M. Pradella, M. Rossi, and P. San Pietro. Higher-order TRIO. Technical report, DEI, Politecnico di Milano, 2004.
	7	Altova Gmbh. XMLSpy user manual and programmers' reference. Technical report, Altova Gmbh, 2005.
	8	Object Management Group. UML 2.0 diagram interchange specification. Technical report, OMG, 2003. ptc/03-09-01.
	9	Object Management Group. UML 2.0 OCL specification. Technical report, OMG, 2003. ptc/03-10-14.
	10	Object Management Group. UML 2.0 superstructure specification. Technical report, OMG, 2003. ptc/03-08-02.
	11	A. Morzenti, M. Pradella, P. San Pietro, and P. Spoletini. Model-checking TRIO specifications in SPIN. In Proc. of the 12th Int. Symp. on Formal Methods, volume 2805 of LNCS, pages 542--561, 2003.
	12	M. Pradella, M. Rossi, and D. Mandrioli. ArchiTRIO: A UML-compatible language for architectural description and its formal semantics. In Proc. of FORTE 2005: 25th IFIP WG 6.1 Int. Conference, volume 3731 of LNCS, pages 381--395, 2005.
	13	M. Pradella, M. Rossi, and D. Mandrioli. A UML-compatible formal language for system architecture description. In Proc. of the 12th SDL Forum, volume 3530 of LNCS, pages 234--246, 2005.
	14	Hossein Saiedian, An Invitation to Formal Methods, Computer, v.29 n.4, p.16-17, April 1996 [doi>10.1109/MC.1996.488298]