System Modeling Specification in SysML and Sequence Planner Language - Comparison Study
Paper i proceeding, 2012
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.
Formal Specification and Verification
Formalisms and Modeling Techniques
Manufacturing System Engineering