A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statec...A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statechart diagrams, the primary system functions and corresponding traversal features are enveloped into various orthogonal regions of a composite state. The mutual relationships between orthogonal regions are implied by the orders of broadcast events. Using a modular transition system as a basic computational model, the formalization description of A-O statechart models is proposed. The precise semantics of model elements and modeling procedures is given. The example study indicates that the separation strategy of crosscutting concerns is implemented in the design phase of the concurrent software system with this method. Meanwhile, the software modeling method has advantages of loose coupling, adaptability and traceability.展开更多
A carbon-oxygen-bridged ladder-type donor unit （CO5） was invented and prepared via an ＂intramolecu- lar demethanolization cyclization＂ approach. Its single crystal structure indicates enhanced planarity compared w...A carbon-oxygen-bridged ladder-type donor unit （CO5） was invented and prepared via an ＂intramolecu- lar demethanolization cyclization＂ approach. Its single crystal structure indicates enhanced planarity compared with the carbon-bridged analogue indacenodithiophene （IDT）. Owing to the stronger electron-donating capability of CO5 than IDT, CO5-based donor and acceptor materials show narrower bandgaps. A donor-acceptor （D-A） copolymer donor （PCO5TPD） and an A-D-A nonfullerene acceptor （COSIC） demonstrated higher performance than IDT-based counterparts, PIDTTPD and IDTIC, respec-tively. The better performance of CO5-based materials results from their stronger light-harvesting capability and higher charge-carrier mobilities.展开更多
文摘A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statechart diagrams, the primary system functions and corresponding traversal features are enveloped into various orthogonal regions of a composite state. The mutual relationships between orthogonal regions are implied by the orders of broadcast events. Using a modular transition system as a basic computational model, the formalization description of A-O statechart models is proposed. The precise semantics of model elements and modeling procedures is given. The example study indicates that the separation strategy of crosscutting concerns is implemented in the design phase of the concurrent software system with this method. Meanwhile, the software modeling method has advantages of loose coupling, adaptability and traceability.
基金supported by the National Natural Science Foundation of China (U1401244, 21374025, 21372053, 21572041, and 51503050)the National Natural Science Foundation of China (51673218) for financial support+2 种基金the National Key Research and Development Program of China (2017YFA0206600)the State Key Laboratory of Luminescent Materials and Devices (2016-skllmd-05)the Youth Association for Promoting Innovation (CAS)
文摘A carbon-oxygen-bridged ladder-type donor unit （CO5） was invented and prepared via an ＂intramolecu- lar demethanolization cyclization＂ approach. Its single crystal structure indicates enhanced planarity compared with the carbon-bridged analogue indacenodithiophene （IDT）. Owing to the stronger electron-donating capability of CO5 than IDT, CO5-based donor and acceptor materials show narrower bandgaps. A donor-acceptor （D-A） copolymer donor （PCO5TPD） and an A-D-A nonfullerene acceptor （COSIC） demonstrated higher performance than IDT-based counterparts, PIDTTPD and IDTIC, respec-tively. The better performance of CO5-based materials results from their stronger light-harvesting capability and higher charge-carrier mobilities.
