LGPL-2.1 compliance with jLibBig integration

Author: PioBeat

LICENSE

@@ -186,7 +186,7 @@
       same "printed page" as the copyright notice for easier
       identification within third-party archives.
 
-   Copyright 2020 Dominik Grzelak
+   Copyright 2021 Bigraph Toolkit Developers
 
    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.

NOTICE

@@ -0,0 +1,37 @@
+Bigraph Framework
+Copyright 2021–2025 Bigraph Toolkit Developers
+https://www.bigraphs.org/
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at:
+
+    https://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing,
+software distributed under the License is distributed on an
+"AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
+either express or implied. See the License for the specific
+language governing permissions and limitations under the License.
+
+---
+
+This software includes 'jLibBig', a component licensed under the
+GNU Lesser General Public License, version 2.1:
+
+  Component: jLibBig
+  Version:   0.0.4
+  URL:       https://github.com/bigraphs/jlibbig
+  License:   https://www.gnu.org/licenses/old-licenses/lgpl-2.1.html
+
+This component has been integrated into the shaded output of
+the `bigraph-simulation` module.
+This integration complies with LGPL-2.1 by preserving license notices,
+providing source access, and enabling replacement of the library
+via Maven build profiles. Modifications have been made
+to the jLibBig source code as described in a separate file.
+
+---
+
+For more details, see:
+  https://github.com/bigraph-toolkit-suite/bigraphs.bigraph-framework

README.md

@@ -372,4 +372,12 @@ Copyright 2021-present Bigraph Toolkit Suite Developers.
    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    See the License for the specific language governing permissions and
    limitations under the License.
-```
+```
+
+The simulation module of **Bigraph Framework** includes and shades [jLibBig](https://github.com/bigraphs/jlibbig),
+a Java library for bigraphical reactive systems, which is licensed under the **GNU Lesser General Public License, version 2.1 only (LGPL-2.1-only)**.
+
+In full compliance with LGPL-2.1:
+- The jLibBig code is not obfuscated or renamed.
+- You may replace or modify jLibBig using the standard Maven build process.
+- Modifications are documented in: [`NOTICE-jlibbig.txt`](./etc/libs/jlibbig-0.0.4/NOTICE-jlibbig.txt).

etc/libs/jlibbig-0.0.4/LICENSE-jlibbig.txt

@@ -0,0 +1,6 @@
+Fork: https://github.com/bigraph-toolkit-suite/jlibbig
+
+Changes from original:
+- Added support for tracking rules in the course of bigraph matching
+
+

etc/libs/jlibbig-0.0.4/NOTICE-jlibbig.txt

@@ -323,6 +323,25 @@
                             </resources>
                         </configuration>
                     </execution>
+                    <execution>
+                        <id>copy-license-and-notice</id>
+                        <phase>prepare-package</phase> <!-- Or process-resources -->
+                        <goals>
+                            <goal>copy-resources</goal>
+                        </goals>
+                        <configuration>
+                            <outputDirectory>${project.build.outputDirectory}/META-INF</outputDirectory>
+                            <resources>
+                                <resource>
+                                    <directory>${basedir}/../</directory> <!-- Source directory (project root) -->
+                                    <includes>
+                                        <include>LICENSE</include>
+                                        <include>NOTICE</include>
+                                    </includes>
+                                </resource>
+                            </resources>
+                        </configuration>
+                    </execution>
                 </executions>
             </plugin>
             <!-- DEPLOY -->
@@ -725,12 +744,6 @@
                                                 <exclude>profile.list</exclude>
                                             </excludes>
                                         </filter>
-                                        <!--                                        <filter>-->
-                                        <!--                                            <artifact>it.uniud.mads.jlibbig:jlibbig</artifact>-->
-                                        <!--                                            <includes>-->
-                                        <!--                                                <include>*/**</include>-->
-                                        <!--                                            </includes>-->
-                                        <!--                                        </filter>-->
                                     </filters>
                                 </configuration>
                             </execution>

pom.xml

@@ -12,8 +12,9 @@
     <artifactId>bigraph-simulation</artifactId>
     <name>Bigraph Framework - Simulation</name>
     <description>
-        Rewriting functionality of the Bigraph Framework for implementing bigraphical reactive systems.
-        A matching algorithms for the subtree isomorphism problem adapted to bigraphs is included.
+        The simulation module provides bigraph matching and rewriting capabilities for implementing
+        bigraphical reactive systems. It includes a model checker and an algorithm for canonical
+        string encoding of bigraphs.
     </description>
 
     <build>
@@ -58,13 +59,13 @@
             </plugin>
             <!-- SKIP -->
             <!-- OWASP -->
-<!--            <plugin>-->
-<!--                <groupId>org.owasp</groupId>-->
-<!--                <artifactId>dependency-check-maven</artifactId>-->
-<!--                <configuration>-->
-<!--                    <skip>${skip.security.check}</skip>-->
-<!--                </configuration>-->
-<!--            </plugin>-->
+            <!--            <plugin>-->
+            <!--                <groupId>org.owasp</groupId>-->
+            <!--                <artifactId>dependency-check-maven</artifactId>-->
+            <!--                <configuration>-->
+            <!--                    <skip>${skip.security.check}</skip>-->
+            <!--                </configuration>-->
+            <!--            </plugin>-->
             <!-- SHADE -->
             <plugin>
                 <groupId>org.apache.maven.plugins</groupId>