Search: WFRF:(Kanthabhabhajeya Sathyamyla 1985) >
System Modeling Spe...
System Modeling Specification in SysML and Sequence Planner Language - Comparison Study
-
- Kanthabhabhajeya, Sathyamyla, 1985 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Falkman, Petter, 1972 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Lennartson, Bengt, 1956 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- ISBN 9783902661982
- 2012
- 2012
- English.
-
In: IFAC Proceedings Volumes (IFAC-PapersOnline). - 2405-8963. - 9783902661982 ; 14:PART 1, s. 1543-1550
- Related links:
-
http://publications.... (primary) (free)
-
show more...
-
https://doi.org/10.3...
-
https://research.cha...
-
show less...
Abstract
Subject headings
Close
- This paper compares two languages, Systems Modeling Language(SysML) based on Unified Modeling Language and Sequence Planner Language, where both are used for systems engineering applications. As the modern manufacturing industries pass through a challenging period in storing and exchanging huge amounts of information/data, a common platform that is helpful in putting different parts together is of major interest. This paper presents an analysis of these two languages focusing on their behavioral constructs and details their advantages and disadvantages. This paper concludes by mentioning the points that are lacking in SysML, which could be solved by combining it with Sequence Planner Language and using the combined approach for system engineering applications.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Maskinteknik -- Produktionsteknik, arbetsvetenskap och ergonomi (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Mechanical Engineering -- Production Engineering, Human Work Science and Ergonomics (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Keyword
- Formal Specification and Verification
- Formalisms and Modeling Techniques
- Manufacturing System Engineering
Publication and Content Type
- kon (subject category)
- ref (subject category)
Find in a library
To the university's database