University of Paderborn

About: University of Paderborn is a education organization based out in Paderborn, Nordrhein-Westfalen, Germany. It is known for research contribution in the topics: Control reconfiguration & Software. The organization has 6684 authors who have published 16929 publications receiving 323154 citations.

On the Semantics of EPCs: A Framework for Resolving the Vicious Circle

Abstract: One of the most debatable features of Event driven Process Chains (EPCs) is their non-local semantics. Most non-local semantics for EPCs either have a formal flaw or no formal definition is given at all.

Synthesis and characterization of copper(II), nickel(II) and cobalt(II) complexes with novel thiourea derivatives

Abstract: A novel series of thiourea derivatives, namely, N,N-diphenyl-N′-(4-phenyl-benzoyl)thiourea (HL1), N,N-diphenyl-N′-(4-chloro-benzoyl)thiourea (HL2) and N,N-di-n-propyl-N′-(4-chloro-benzoyl)thiourea (HL3), and its metal complexes has been prepared and characterised by elemental analysis, i.r. spectroscopy, 1H-n.m.r. spectroscopy, mass spectrometry and single crystal X-ray diffraction. The ligand coordinates to NiII, CuII and CoII in a bidentate manner yielding essentially neutral complexes of the type cis-[ML2]. N.m.r. spectra and single crystal X-ray diffraction analysis revealed the presence of a distorted tetrahedral coordination ML2 complex.

Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation

Abstract: In object-oriented software development, requirements of different stakeholders are often manifested in use case models which complement the static domain model by dynamic and functional requirements. In the course of development, these requirements are analyzed and integrated to produce a consistent overall requirements specification. Iterations of the model may be triggered by conflicts between requirements of different parties.However, due to the diversity, incompleteness, and informal nature, in particular of functional and dynamic requirements, such conflicts are difficult to find. Formal approaches to requirements engineering, often based on logic, attack these problems, but require highly specialized experts to write and reason about such specifications.In this paper, we propose a formal interpretation of use case models consisting of UML use case, activity, and collaboration diagrams. The formalization, which is based on concepts from the theory of graph transformation, allows to make precise the notions of conflict and dependency between functional requirements expressed by different use cases. Then, use case models can be statically analyzed, and conflicts or dependencies detected by the analysis can be communicated to the modeler by annotating the model.An implementation of the static analysis within a graph transformation tool is presented.