Part-Whole Behavioral Specification and Composition of Internet of Things Systems: Applying Behavior-Driven Development with Problem Frames.
Saved in:
| Title: | Part-Whole Behavioral Specification and Composition of Internet of Things Systems: Applying Behavior-Driven Development with Problem Frames. |
|---|---|
| Authors: | WANG, BING-YUN1 t109599001@ntut.org.tw, YEN, YI-CHUN1 t110599002@ntut.org.tw, KUN-CHE LI, CHE-HUNG TSAI1 tl10598006@ntut.org.tw, CHENG, YU CHIN1 yccheng@ntut.edu.tw |
| Source: | Journal of Information Science & Engineering. May2026, Vol. 42 Issue 3, p681-701. 21p. |
| Subjects: | Internet of things, Computer software development, Requirements engineering, Parallel processing |
| Abstract: | Behavior-driven development (BDD) is a new method that has increasingly attracted attention from the Internet of Things (IoT) research and development community. To contribute to the increasing adoption of BDD for IoT development, we propose a new method and a Gherkin language enhancement for building executable system behavioral specifications by reusing and composing the component scenarios already available. With the objectives of achieving maintainability and diagnosability, the new method applies the problem frames approach to obtain a problem diagram, which captures the part-whole relationship between the system and its components and the essential elements needed. A system scenario is modeled as a directed path in the problem diagram that readily translates into a script of the enhanced Gherkin. The system scenario acts as a co-routine alongside the given component scenarios at two levels. Executing a system scenario concurrently sets its component scenarios in motion, driving the components to produce the required behaviors that coalesce into the overall system behavior described by the system scenario. The proposed method is qualitatively demonstrated to balance modifiability with diagnosability better than the one-level scripting of the current Gherkin. The two-level scripting is supported by concurrent Spec, an embedded Gherkin tool in Python that supports the composition, execution, and reporting of the two-level executable specifications. [ABSTRACT FROM AUTHOR] |
| Copyright of Journal of Information Science & Engineering is the property of Institute of Information Science, Academia Sinica and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 193961064 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Part-Whole Behavioral Specification and Composition of Internet of Things Systems: Applying Behavior-Driven Development with Problem Frames. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22WANG%2C+BING-YUN%22">WANG, BING-YUN</searchLink><relatesTo>1</relatesTo><i> t109599001@ntut.org.tw</i><br /><searchLink fieldCode="AR" term="%22YEN%2C+YI-CHUN%22">YEN, YI-CHUN</searchLink><relatesTo>1</relatesTo><i> t110599002@ntut.org.tw</i><br /><searchLink fieldCode="AR" term="%22KUN-CHE+LI%2C+CHE-HUNG+TSAI%22">KUN-CHE LI, CHE-HUNG TSAI</searchLink><relatesTo>1</relatesTo><i> tl10598006@ntut.org.tw</i><br /><searchLink fieldCode="AR" term="%22CHENG%2C+YU+CHIN%22">CHENG, YU CHIN</searchLink><relatesTo>1</relatesTo><i> yccheng@ntut.edu.tw</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+Information+Science+%26+Engineering%22">Journal of Information Science & Engineering</searchLink>. May2026, Vol. 42 Issue 3, p681-701. 21p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Internet+of+things%22">Internet of things</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+development%22">Computer software development</searchLink><br /><searchLink fieldCode="DE" term="%22Requirements+engineering%22">Requirements engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Parallel+processing%22">Parallel processing</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: Behavior-driven development (BDD) is a new method that has increasingly attracted attention from the Internet of Things (IoT) research and development community. To contribute to the increasing adoption of BDD for IoT development, we propose a new method and a Gherkin language enhancement for building executable system behavioral specifications by reusing and composing the component scenarios already available. With the objectives of achieving maintainability and diagnosability, the new method applies the problem frames approach to obtain a problem diagram, which captures the part-whole relationship between the system and its components and the essential elements needed. A system scenario is modeled as a directed path in the problem diagram that readily translates into a script of the enhanced Gherkin. The system scenario acts as a co-routine alongside the given component scenarios at two levels. Executing a system scenario concurrently sets its component scenarios in motion, driving the components to produce the required behaviors that coalesce into the overall system behavior described by the system scenario. The proposed method is qualitatively demonstrated to balance modifiability with diagnosability better than the one-level scripting of the current Gherkin. The two-level scripting is supported by concurrent Spec, an embedded Gherkin tool in Python that supports the composition, execution, and reporting of the two-level executable specifications. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Journal of Information Science & Engineering is the property of Institute of Information Science, Academia Sinica and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=193961064 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.6688/JISE.202605_42(3).0012 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 21 StartPage: 681 Subjects: – SubjectFull: Internet of things Type: general – SubjectFull: Computer software development Type: general – SubjectFull: Requirements engineering Type: general – SubjectFull: Parallel processing Type: general Titles: – TitleFull: Part-Whole Behavioral Specification and Composition of Internet of Things Systems: Applying Behavior-Driven Development with Problem Frames. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: WANG, BING-YUN – PersonEntity: Name: NameFull: YEN, YI-CHUN – PersonEntity: Name: NameFull: KUN-CHE LI, CHE-HUNG TSAI – PersonEntity: Name: NameFull: CHENG, YU CHIN IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 05 Text: May2026 Type: published Y: 2026 Identifiers: – Type: issn-print Value: 10162364 Numbering: – Type: volume Value: 42 – Type: issue Value: 3 Titles: – TitleFull: Journal of Information Science & Engineering Type: main |
| ResultId | 1 |
