NDLI: UML/SysML semantic tunings

Content Provider	Springer Nature Link
Author	Ober, Ileana Ober, Iulian Dragomir, Iulia Aboussoror, El Arbi
Copyright Year	2011
Abstract	Recent years have seen a manifest increase in the use of modelling by the embedded systems industry. UML and SysML are two examples of languages used in this context. One of the reasons why the use of models is interesting is the possibility to perform early verification, validation and testing. A lot of work was devoted to developing theoretical results in verification and validation, and interesting results are available. Integrating these results in frameworks that take high-level models as an entry remains a challenging task, for several reasons that include the difficult scalability of the theoretical results. In previous work, we presented OMEGA 2, a framework that takes this challenge. Applying our framework on large industrial models revealed the fact that some features of the UML/SysML semantics which lead to bottlenecks in verification are not actually necessary in the models that we considered, thus leaving place for optimisations. This paper discusses the gap existing between the choices made in the general UML/SysML semantic framework and the actual needs of the users. We illustrate it based on the semantics of ports, for which we give a simplified version of the semantics. This semantics was implemented in our tools and we quantify the optimisation obtained when applying it to a set of case studies.
Starting Page	257
Ending Page	264
Page Count	8
File Format	PDF
ISSN	16145046
Journal	Innovations in Systems and Software Engineering
Volume Number	7
Issue Number	4
e-ISSN	16145054
Language	English
Publisher	Springer-Verlag
Publisher Date	2011-10-02
Publisher Place	London
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	UML SysML Composite structure Operational semantics Case studies Computing Methodologies Software Engineering Computer Applications
Content Type	Text
Resource Type	Article
Subject	Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Development of an automated MBT toolchain from UML/SysML models

Algebraic approach to linking the semantics of web services

Semantics in space systems architectures

Linking denotational semantics with operational semantics for web services

A survey of UML applications in mechatronic systems

From algebraic semantics to denotational semantics for Verilog

Institutionalising UML 2.0 state machines

Formal verification of components assembly based on SysML and interface automata

A first attempt to combine SysML requirements diagrams and B

UML/SysML semantic tunings

Similar Documents

Development of an automated MBT toolchain from UML/SysML models

Algebraic approach to linking the semantics of web services

Semantics in space systems architectures

Linking denotational semantics with operational semantics for web services

A survey of UML applications in mechatronic systems

From algebraic semantics to denotational semantics for Verilog

Institutionalising UML 2.0 state machines

Formal verification of components assembly based on SysML and interface automata

A first attempt to combine SysML requirements diagrams and B

UML/SysML semantic tunings