From object orientation to goal orientation: A paradigm shift for requirements engineering

A Van Lamsweerde, E Letier - … on Radical Innovations of Software and …, 2002 - Springer
Requirements engineering (RE) is concerned with the elicitation of the objectives to be
achieved by the system envisioned, the operationalization of such objectives into …

Nested named entity recognition in historical archive text

K Byrne - … Conference on Semantic Computing (ICSC 2007), 2007 - ieeexplore.ieee.org
This paper describes work on Named Entity Recognition (NER), in preparation for Relation
Extraction (RE), on data from a historical archive organisation. As is often the case in the …

On the combination of domain specific modeling languages

A Vallecillo - European Conference on Modelling Foundations and …, 2010 - Springer
Abstract Domain Specific Modeling Languages (DSMLs) are essential elements in Model-
based Engineering. Each DSML allows capturing certain properties of the system, while …

Propagating changes between aligned process models

M Weidlich, J Mendling, M Weske - Journal of Systems and Software, 2012 - Elsevier
There is a wide variety of drivers for business process modelling initiatives, reaching from
organisational redesign to the development of information systems. Consequently, a …

Checking consistency in UML diagrams: Classes and state machines

H Rasch, H Wehrheim - International Conference on Formal Methods for …, 2003 - Springer
One of the main advantages of the UML is its possibility to model different views on a system
using a range of diagram types. The various diagrams can be used to specify different …

Formal foundations of consistency in model-driven development

R Pascual, B Beckert, M Ulbrich, M Kirsten… - … Applications of Formal …, 2024 - Springer
Abstract Models are abstractions used to precisely represent specific aspects of a system in
order to make work easier for engineers. This separation of concerns naturally leads to a …

Perceived consistency between process models

M Weidlich, J Mendling - Information Systems, 2012 - Elsevier
Process-aware information systems typically involve various kinds of process stakeholders.
That, in turn, leads to multiple process models that capture a common process from different …

[PDF][PDF] Testing the consistency of dynamic UML diagrams

G Engels, JH Hausmann, R Heckel, S Sauer - Proc. Sixth International …, 2002 - Citeseer
ABSTRACT The Unified Modeling Language (UML) offers different diagrams to depict the
behavior of a modeled system and its elements. When employing different diagrams during …

[BOOK][B] Concurrency theory: calculi an automata for modelling untimed and timed concurrent systems

H Bowman, R Gomez - 2006 - books.google.com
Intheworldweliveinconcurrencyisthenorm. Forexample, thehumanbody
isamassivelyconcurrentsystem, comprisingahugenumberofcells, allsim-taneously evolving …

Viewpoint consistency in ODP

E Boiten, H Bowman, J Derrick, P Linington, M Steen - Computer Networks, 2000 - Elsevier
Open Distributed Processing (ODP) is a joint ITU/ISO standardisation framework for
constructing distributed systems in a multi-vendor environment. Central to the ODP …