Word List for Yu

A Aalaadin above-mentioned (adjective) AC (applicability condition) acknowledgment acquisitee acquisitor acquisitum ActiveX controls activity (lowercase) ad hoc (no italics) added-value (adjective) ADELFE ADL (Architecture Description Language) AE (architectural engineering) afterward agreed-upon (adjective AHP (analytic hierarchy process) AIB (Allied Irish Bank) airspace ALBERT-II (Agent-Oriented Language for Building and Eliciting Real-Time Requirements) Allfirst Alloy alongside AMC actor analyze analyzing AND decomposition Answer Set Programming anti-goal (noun) anti-requirement (noun) anti-rigid (adjective) anti-rigidity (noun) antivirus (adjective) anti-virus (noun) AORML (Agent-Object-Relationship Modeling Language) apolitical a priori (no hyphen, no italics) ARKnowD (Agent-Oriented Recipe for Knowledge Management Systems Development) arrowhead as-is (adjective) artifact ASL ASM Function ASM Support System A-SMGCS system ASR (annotated SR) ASP (Active Server Pages) assertion (lowercase) ATC ATP system actor AUML (Agent UML) authorize autofilter AVSP (antivirus software package)

B back door (noun) back office (lowercase) backward-directed (adjective) bandwidth (noun) banknote behavior behavioral Belief-Desire-Intention model best-known (adjective; not most well-known) black-box (adjective) blowup (noun) BMO boldface type BPM BPR (business process reengineering) bread-making machine business-level (adjective) buy-in (noun)

C C++ canceled cannot CARE (computer-aided requirements engineering) CAS (complex adaptable systems) COTSASE (commercial off-the-shelf) CASE (computer-aided software engineering) CASL (Cognitive Agents Specification Language) center (noun, verb) centralizing CFMU Systems CFP (call for proposal) characterize check (noun; not cheque) checkmark (noun) Civilian and Military ATC clocktick (action) co-evolution Co-MAP colored commonsense (adjective) computerize ConceptBase confidence-based (adjective) ConGolog controllability controlling CoPS (communities of practice) CORAS CORA-2 (Conflict Resolution Assistant) cooperative co-optation coordinate Coordinator system cost-effective (adjective) cost-effectiveness (noun) COTS counterargument counterexample cover-up (noun) CRAMM creditworthiness crisscrossing CRM (customer relationship management) cross-correlation cross-reference (noun, verb) CSCW CTOT

D DAC (discretionary access control) Datalog DateRange decision-making (adjective) decision-theoretic (adjective) de facto (no italics) Departure Clearance ATCo dependent dependum DesCARTES tool DFD (data flow diagram) DIS (Detailed Interaction Scripts) DMAN domain-independent (adjective) DOORS (Dynamic Object-Oriented Requirements System) downward DPLL drag-and-drop (verb)

E EAD early requirements engineering (lowercase) EASM (enhanced airspace management) EBIOS ebXML e-business e-commerce e-Dates e-learning E-Media e-mail e-News System e-3-value ECA (event, condition, action) Eclipse development platform EMF (Eclipse modeling framework) emphasize en route (adjective) end user endeavor entity (lowercase) ERP (enterprise resource planning) eSAP (Electronic Single Assessment Process) Eurocontrol every day (adjective + noun) everyday (adjective)

F FDP system actor FDP systems fine-grained (adjective) fine-tune (verb) FIPA-ACL (Foundation for Intelligent Physical Agents-Agent Communication Language) fire wall first-cut (adjective) First Maryland Bancorp first-plan (adjective) first-version (adjective) flowchart fluent (noun) formalization for-profit (adjective) forward forward-directed (adjective) front end (noun) front-end (adjective) front office (lowercase) FT (Formal Tropos) fulfill fulfillment

G Gaia methodology GBTCM (Goal-Based Taxonomy Construction Method) GEF (graphical editing framework) GGLink goal-driven (adjective) Goalminsolve goal-oriented (adjective) GOALSOLVE goal tree GORE (goal-oriented requirements engineering) GraphLog graph-walk (verb) gray (not grey) gray-box (adjective) groundwork groupware GR-Tool GSM network GTLink

H half-arrow HAM (human activity model) handover (noun, adjective) hard-and-fast (adjective) high-quality (adjective) higher-level (adjective) Horn clause Hy+

I IDEF0 idiosyncrasies IDS (intrusion detection system) in-house initial -state (adjective) insofar as inter-actor (noun, adjective) interagent interdependencies interorganizational interrelated intra-agent intragroup intra-industry IS (information system) i* (i star) IT (information technology) I-Tropos

J JACK JADE (Java Agent Development framework) Jadex Java applets Java Script Java Virtual Machine judgment judgmental

K K-accessible KAOS kick-start (verb) KM (knowledge management) know-how (noun) knowledge-intensive (adjective) knowledge-structuring (adjective) key word (noun) KQML (Knowledge Query and Manipulation Language) KSA (knowledge, skills, abilities) L labeled (verb) laconicity LAN large-scale (adjective) lead time (noun) leaf-level (adjective) left-hand (adjective) life cycle lineup (noun, adjective) Lingo Linux logic-programming-based (adjective) long(er)-term (adjective) low(er)-cost (adjective) LTL (linear-time temporal logic)

M MAC (mandatory access control) macro-organization (noun, adjective) MACOSX MAFIA-style MagicDraw mail-order (adjective) markup language MAS (multiagent system) MaSE Matsushita (Japanese electronics firm) MDA (Model-Driven Architecture) Meansmeans-ends links meeting-scheduling (adjective) mental-state (adjective) mereological metaconcept metalevel metameta class metamodel MI (Meeting Initiator) microlevel (noun) Minweight mis-actor (noun) model-checker (adjective) model-checking (adjective) modeled modeling modus ponens (no italics) MOF (Metaobject Facility) MP (Meeting Participant) MRBS (Meeting Room Booking System) MS (Microsoft) MS (Meeting Scheduler) MS Excel MS Word multiagent multi-perspective (adjective) multi-viewpoint (adjective) MVF (model-view-controlled) MW-SAT (minimum-weight propositional satisfiability)

N NATS (National Air Traffic Service) neighboring NFR (nonfunctional requirement) prefix “non” is not hyphenated; exceptions are noted here non-bypassable (adjective) non-delivery (noun) non-laconicity (noun) non-lucidity (noun)

O OASIS object-oriented (adjective) occurring OCL(Object Constraint Language) OCTAVE ODP OMEPlugin OME3 (Organizational Modeling Environment) OMG (Object Management Group ongoing (adjective) online (adjective, adverb) OO-Method CASE tool OpenS open-source tools OperA ORDIT organization organizational outputted (verb) overaggregated (adjective) overspecify (verb) P palette parentheses (plural noun) parse-process (verb) PASSI PCB (personal, cognitive, behavior) Petri net plan-monitoring (adjective) pockmarked (adjective) Ponder pop-up (adjective) post-condition (noun) post hoc (no italics) post-state (noun) the prefix “pre” is not hyphenated, except for words listed below pre-condition (noun) pre-state (noun) PRiM (process reengineering with i* methodology) prioritize pro bono (no italics) problem-solving (adjective) Prolog proofreading pull-down (adjective) PVS theorem

Q QoS (quality of service) QVT (Query/View/Transformation)

R REACT Rational IBM Rose Rational Rose RBAC (role-based access control) RE (requirements engineering) REA realize real-world (adjective) recognize recompute re-create (verb) redefinition REDEPEND REDEPEND-REACT Re-express (verb) REF referred (verb) referring reinitiate re-input (verb) relata relator Requisite Pro RESCUE Reuters re-work (noun) right-hand (adjective) RiSD (Reduced i* SD) risk -analysis (adjective) risk-based (adjective) risk -management (adjective) RLO (Rehabilitation Liaison Officer) ROADMAP ROI (return on investment) Rose Script RTLink rule-based (adjective) rules of thumb (plural noun) run-time (noun, adjective) Runway ATCo RUP (Rational Unified Process) Rusnak, John

S SADT (Structural Analysis and Design Technique) SAS (security attack scenario) satisficing SD (Strategic Dependency) SDE (software development environment) SEAS (Synthetic Environment for Analysis and Simulation) Secure UML SEI Capability Maturity Model semiautomatic(ally) semiautonomous (adjective) SES (seduce, engage, support framework) set up (verb) setup (noun) shade-out (verb) Sketch XML skillfully SKyRL SLA (service-level agreement) SME SNet sociotechnical (adjective) softgoal software-to-be (noun) sortal speech act (noun) speech-act (adjective) SPEM (Software Processing Engineering Metamodel) SPIN model checker SR (Strategic Rationale) S-R Tool state of the art (noun) statechart step-by-step (adjective) SSI (server side includes SSLink SSM (soft system methodology) STLink ST-Tool stopgap straightforward strategy-time (noun, adjective) structure-in-5 subcontractor subelement subgoal subprocess subtask successor -state (adjective) supertask synchronization system-specific (adjective) system-to-be (noun) systemwide

T TACT system takeoff (noun) TAOM4E environment task-decomposition link TCD (trust-confidence-distrust) TCO (total cost of ownership) TCP technocentric TED (trajectory editor) Telelogic Tau theorem-proving-based (adjective) time-consuming (adjective) time step (noun) tool kit tool set top-level (adjective) top-line (adjective) topmost-ranked (adjective) toward (not towards) Tower Departure Sequence ATCo trade-off (noun) Tropos trustor (spelling used only in quotations; otherwise, truster) truth-value (noun) TTLink T-Tool

U UFO (Unified Foundation Ontology) UML (Unified Modeling Language) UMLsec under way (adverb) untick (verb) URN (User Requirements Notation) use case (noun) use-case (adjective)

V VBA (values, beliefs, attitudes) vice versa Visio Volere VORD VPN (virtual private network)

W W-accessible (adjective) walk-through (noun) walk through (verb) Webmaster Web site well-known (adjective) while-loop (noun) widespread (adjective) WinWin workflow (noun, adjective) worldview (noun)

X XGOOD (Extended Goals into Object-Oriented Development) XGOODPlugin XMI XML XML Metadata Interchange